A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
-
Updated
Mar 24, 2025 - Rust
#
ivc
Here are 6 public repositories matching this topic...
Implementations of proof-carrying data
-
Updated
Jun 5, 2022 - Rust
Elliptic curve 2-cycle realize pipeline: constructs CM-method curve pairs over p = 2^255-19 for recursive proof composition (IVC/SNARK/FCMP++). Finds polynomial roots over finite fields, converts class invariants to j-invariants, and emits short Weierstrass parameters with twist security analysis
cryptography cmake curve25519 finite-fields cpp17 elliptic-curves gmp number-theory ntl polynomial-roots snark complex-multiplication weierstrass-curves ivc fcmp recursive-proofs class-polynomials modular-polynomials twist-security proof-composition
-
Updated
Apr 13, 2026 - C++
ERC-ZZZZ: FHE Computation Verification — On-chain verification of encrypted computation via recursive ZK proofs. By Valisthea.
-
Updated
Apr 19, 2026 - Solidity
Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof
-
Updated
Nov 12, 2025 - Rust
Improve this page
Add a description, image, and links to the ivc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ivc topic, visit your repo's landing page and select "manage topics."