zisk-zorch

zkvm

Lean ZisK prover on zorch blocks: pil2-stark Poseidon2-Goldilocks params, transcript, and stage-1 trace commit byte-matched against pil2-proofman.

README will appear here once the repository is public.