docs: restore WHIR Markdown document

[wf-orbie]

Restores the actual unzipped UTF-8 Markdown document at the current main location and limits the change to one file. This replaces the malformed archive-backed document from #133 without carrying over its unrelated PDF or notebook changes.

Prompted by: dcbuilder.eth

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
docs-provekit-org	Ready	Preview	Aug 26, 2026 8:07am

[github-actions]

CSP benchmarks

Metric	Value
Workflow status	[PASS] success
Commit	86bf28f8882e
Run	#32946188873
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).

No baseline available yet — deltas will appear once this workflow has produced at least one successful main run.

Results

Circuit	Constraints	Witnesses	Prover time	Peak RSS	Peak heap	Verifier time	Proof size	PKP size
ecdsa_p256	143,321	258,215	1.77 s	226 MB	188 MB	97 ms	308 KB	811 KB
keccak_1024	788,814	1,490,812	5.17 s	897 MB	874 MB	450 ms	370 KB	5.88 MB
keccak_128	157,522	304,529	1.24 s	236 MB	202 MB	110 ms	302 KB	1.26 MB
keccak_2048	1,507,374	2,840,532	10.20 s	1.70 GB	1.68 GB	867 ms	391 KB	11.97 MB
keccak_256	247,782	474,010	1.43 s	290 MB	249 MB	160 ms	329 KB	1.88 MB
keccak_512	428,126	812,944	2.66 s	541 MB	455 MB	250 ms	349 KB	3.32 MB
poseidon2_12	479	563	30 ms	12.97 MB	3.26 MB	10 ms	74.50 KB	436 KB
poseidon2_16	556	719	30 ms	13.40 MB	3.46 MB	10 ms	75.78 KB	530 KB
poseidon2_2	231	278	23 ms	11.98 MB	2.72 MB	—	69.36 KB	108 KB
poseidon2_4	529	535	20 ms	12.21 MB	2.86 MB	—	73.12 KB	31.66 KB
poseidon2_8	363	423	30 ms	12.90 MB	3.15 MB	—	72.09 KB	365 KB
poseidon_12	504	524	30 ms	13.40 MB	3.53 MB	10 ms	74.18 KB	569 KB
poseidon_16	609	633	40 ms	13.85 MB	3.98 MB	10 ms	73.01 KB	717 KB
poseidon_2	240	249	20 ms	11.95 MB	2.68 MB	—	65.97 KB	59.18 KB
poseidon_4	297	309	30 ms	12.68 MB	3.10 MB	—	69.27 KB	332 KB
poseidon_8	402	418	30 ms	12.90 MB	3.29 MB	10 ms	71.39 KB	448 KB
sha256_1024	196,940	339,764	1.34 s	267 MB	236 MB	170 ms	314 KB	1.88 MB
sha256_128	46,398	80,974	323 ms	76.36 MB	55.50 MB	40 ms	298 KB	512 KB
sha256_2048	345,399	612,724	2.65 s	516 MB	436 MB	310 ms	342 KB	3.06 MB
sha256_256	67,904	117,944	573 ms	120 MB	98.23 MB	60 ms	277 KB	716 KB
sha256_512	110,916	191,884	700 ms	151 MB	126 MB	93 ms	294 KB	1.11 MB