feat: Add SP1 and Zisk kernel proving backends#411

Draft

samuelburnham wants to merge 18 commits into

mainfrom

Commits on Jun 12, 2026

refactor: Convert to Cargo workspace with subcrates
samuelburnham
committed
feat: Add SP1 and Zisk kernel proving backends
samuelburnham
committed
fix: Import quickcheck_macros::quickcheck in ixon merkle tests
samuelburnham
committed
Updates
samuelburnham
committed
reconcile: Port jcb/kernel-sharding profiler+partitioner into workspace
samuelburnham
committed
zisk-host: wire manifest-driven sharding; drop --topo and stats scaffolding
samuelburnham
committed
shard: budget-driven shard count from a per-shard cycle cap
samuelburnham
committed
shard: recalibrate cycles-per-heartbeat from 12-env measurement (208k→215k)
samuelburnham
committed
shard: auto-size shard count from machine RAM (no manual budget)
samuelburnham
committed
shard: emit the bisection tree and carry it in the .ixes manifest
samuelburnham
committed
zisk: tree-aligned aggregation with in-circuit assumption discharge
samuelburnham
committed
cleanup: audit pass over the bisection-tree and discharge work
samuelburnham
committed
zisk: cross-run proof reuse on the shard-plan path; drop the legacy reuse path
samuelburnham
committed
store-aware planning: partition only novel work, resolve the rest by reuse
samuelburnham
committed
review: precompute included subjects in the covering fixpoint
samuelburnham
committed
fix: Add NatSuccMode::Stuck cache to prove `ByteArray.utf8DecodeChar?_utf8EncodeChar_append`
samuelburnham
committed
chore: apply cargo fmt
samuelburnham
committed
chore: fix clippy warnings in shard examples
samuelburnham
committed