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
ERC-ZZZZ: FHE Computation Verification — On-chain verification of encrypted computation via recursive ZK proofs. By Valisthea.
-
Updated
Apr 19, 2026 - Solidity
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++
Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof
-
Updated
Nov 12, 2025 - Rust
Add this topic to your repo
To associate your repository with the ivc topic, visit your repo's landing page and select "manage topics."