chore(release): bump workspace crates to 1.0.0

[Bisht13]

Summary

Mirrors the v1 branch v1.0.0 release bump onto main so version drift between the two branches stays minimal.

Bumped to 1.0.0:

• provekit-common, provekit-r1cs-compiler, provekit-prover, provekit-verifier
• provekit-cli, provekit-bench, provekit-ffi, verifier-server

Intentionally not bumped:

• provekit-gnark (kept consistent with the v1 release decision)
• skyscraper/*, ntt, poseidon2, provekit-wasm (out of scope for this release)

Companion PR on v1: the actual v1.0.0 tag and crates.io publish happen from the v1 PR.

Test plan

• cargo check --workspace --all-features passes locally on this branch.
• CI green.

[github-actions]

CSP benchmarks

Metric	Value
Workflow status	[PASS] success
Commit	d9e905505200
Run	#25726016099
Circuits benchmarked	21
Iterations averaged per circuit	3

Prover time, peak RSS, peak heap, and verifier time are arithmetic means across the iterations. Peak heap comes from the largest peak memory entry in provekit-cli prove's tracing output; peak RSS is reported by /usr/bin/time -v (max-resident-set-size).

Each metric cell shows the current value followed by the percentage delta against the latest successful main run #25494153164. (new) marks circuits absent from the baseline.

Results

Circuit	Constraints	Witnesses	Prover time	Peak RSS	Peak heap	Verifier time	Proof size	PKP size
ecdsa_p256	143,282 (±0.0%)	258,158 (±0.0%)	2.99 s (-0.3%)	257 MB (-1.0%)	225 MB (+0.1%)	340 ms (-2.9%)	2.76 MB (-1.7%)	810 KB (±0.0%)
keccak_1024	822,870 (±0.0%)	1,543,366 (±0.0%)	6.37 s (-1.0%)	985 MB (±0.0%)	953 MB (-0.1%)	857 ms (-0.4%)	3.10 MB (-1.1%)	6.07 MB (±0.0%)
keccak_128	163,058 (±0.0%)	313,707 (±0.0%)	2.12 s (-1.1%)	274 MB (-1.0%)	242 MB (±0.0%)	360 ms (-2.7%)	2.78 MB (-1.3%)	1.22 MB (±0.0%)
keccak_2048	1,575,606 (±0.0%)	2,945,822 (±0.0%)	11.83 s (-0.9%)	1.81 GB (±0.0%)	1.80 GB (±0.0%)	1.44 s (-2.3%)	3.28 MB (+1.3%)	12.36 MB (±0.0%)
keccak_256	256,206 (±0.0%)	487,012 (±0.0%)	2.30 s (-1.3%)	328 MB (-0.1%)	291 MB (±0.0%)	407 ms (-2.4%)	2.86 MB (+0.1%)	1.97 MB (±0.0%)
keccak_512	445,094 (±0.0%)	839,130 (±0.0%)	3.63 s (-1.2%)	594 MB (±0.0%)	510 MB (+0.1%)	557 ms (-0.6%)	3.01 MB (-0.7%)	3.40 MB (±0.0%)
poseidon2_12	479 (±0.0%)	563 (±0.0%)	350 ms (-1.9%)	23.81 MB (-1.9%)	14.69 MB (±0.0%)	100 ms (±0.0%)	1.05 MB (+2.2%)	436 KB (±0.0%)
poseidon2_16	556 (±0.0%)	719 (±0.0%)	350 ms (-2.8%)	24.25 MB (-1.5%)	14.88 MB (±0.0%)	100 ms (-3.2%)	1.03 MB (+1.1%)	530 KB (±0.0%)
poseidon2_2	231 (±0.0%)	278 (±0.0%)	350 ms (±0.0%)	23.12 MB (-1.9%)	14.11 MB (±0.0%)	100 ms (-3.2%)	1.05 MB (+1.3%)	108 KB (±0.0%)
poseidon2_4	529 (±0.0%)	535 (±0.0%)	343 ms (-1.0%)	23.32 MB (-2.3%)	14.31 MB (±0.0%)	100 ms (±0.0%)	1.03 MB (+1.5%)	31.67 KB (±0.0%)
poseidon2_8	363 (±0.0%)	423 (±0.0%)	357 ms (±0.0%)	24.00 MB (-2.1%)	14.50 MB (±0.0%)	100 ms (±0.0%)	1.03 MB (±0.0%)	365 KB (±0.0%)
poseidon_12	504 (±0.0%)	524 (±0.0%)	350 ms (-1.9%)	24.23 MB (-2.0%)	14.69 MB (±0.0%)	100 ms (-3.2%)	1.03 MB (±0.0%)	410 KB (±0.0%)
poseidon_16	609 (±0.0%)	633 (±0.0%)	353 ms (±0.0%)	24.13 MB (-1.9%)	14.97 MB (±0.0%)	100 ms (±0.0%)	1.05 MB (+0.9%)	536 KB (±0.0%)
poseidon_2	240 (±0.0%)	249 (±0.0%)	340 ms (-1.0%)	22.90 MB (-2.2%)	14.02 MB (±0.0%)	100 ms (±0.0%)	1.06 MB (+1.7%)	53.79 KB (±0.0%)
poseidon_4	297 (±0.0%)	309 (±0.0%)	350 ms (-0.9%)	23.43 MB (-2.1%)	14.31 MB (±0.0%)	100 ms (±0.0%)	1.03 MB (+1.2%)	210 KB (±0.0%)
poseidon_8	402 (±0.0%)	418 (±0.0%)	353 ms (+0.9%)	23.33 MB (-2.5%)	14.50 MB (±0.0%)	100 ms (±0.0%)	1.05 MB (+0.8%)	305 KB (±0.0%)
sha256_1024	196,940 (±0.0%)	339,764 (±0.0%)	2.19 s (-1.9%)	308 MB (+0.2%)	273 MB (±0.0%)	413 ms (-2.4%)	2.78 MB (-2.1%)	1.86 MB (-1.9%)
sha256_128	46,398 (±0.0%)	80,974 (±0.0%)	1.08 s (-0.6%)	101 MB (+0.5%)	83.67 MB (±0.0%)	260 ms (±0.0%)	2.47 MB (-1.3%)	512 KB (+0.4%)
sha256_2048	345,399 (±0.0%)	612,724 (±0.0%)	3.59 s (-0.7%)	548 MB (-0.1%)	483 MB (±0.0%)	597 ms (-2.2%)	2.97 MB (-0.4%)	3.16 MB (+4.3%)
sha256_256	67,904 (±0.0%)	117,944 (±0.0%)	1.39 s (-0.9%)	150 MB (-1.0%)	130 MB (+0.5%)	290 ms (-1.1%)	2.68 MB (+0.5%)	708 KB (-1.6%)
sha256_512	110,916 (±0.0%)	191,884 (±0.0%)	1.51 s (-1.5%)	179 MB (-1.3%)	158 MB (±0.0%)	320 ms (-2.1%)	2.65 MB (-1.3%)	1.10 MB (+1.2%)