incrementally-verifiable-computation

Here are 2 public repositories matching this topic...

systemslibrarian / crypto-lab-fold-gate

Browser-based Nova NIFS lab — watch a plain random combination of two satisfying R1CS instances fail, then watch E' = E₁ + rT + r²E₂ restore it, with real ristretto255 commitments, tampering fixtures, and no zero-knowledge claimed.

cryptography nova r1cs zero-knowledge-proofs ristretto255 crypto-lab folding-schemes incrementally-verifiable-computation

Updated Oct 16, 2026
TypeScript

jetsam-chain / jetsam

Star

Jetsam (JTM) — a constant-size proof-of-work L1: every block carries a recursive proof of the whole history, so a node never replays the past and never grows.

rust blockchain cryptocurrency proof-of-work zero-knowledge post-quantum layer1 utxo recursive-proofs incrementally-verifiable-computation

Updated Oct 19, 2026
Rust

Add this topic to your repo

To associate your repository with the incrementally-verifiable-computation topic, visit your repo's landing page and select "manage topics."

Learn more