Consensys / linea-specification
Specification of the constraint system underlying Linea's zk-EVM.
☆10Updated last month
Related projects ⓘ
Alternatives and complementary repositories for linea-specification
- Solidity verifier for Plonk☆41Updated 2 months ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated 10 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆12Updated 3 years ago
- ☆12Updated last week
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆53Updated last month
- A Go implementation of cryptographic primitives for Verkle Trees☆32Updated 3 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆21Updated 4 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆13Updated 4 months ago
- An Ethereum beacon data and execution trace explorer☆14Updated last month
- Ethereum end-to-end test harness☆35Updated 6 months ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆40Updated this week
- Circuits☆22Updated last week
- ☆14Updated this week
- A gRPC server wrapper for the https://github.com/axelarnetwork/tofn library.☆25Updated 4 months ago
- Rescue and Poseidon hash function implementations☆42Updated 2 months ago
- Remote Attestation VErification☆29Updated 3 months ago
- ☆14Updated 2 years ago
- Circom circuits used by the iden3 core protocol.☆82Updated 3 months ago
- High performance EraVM for zkSync.☆23Updated 2 weeks ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆12Updated 2 years ago
- Go Bindings for the Solidity Compiler☆16Updated this week
- The react-native wrapper for rapidsnark☆10Updated 3 weeks ago
- A Safe module that allows approved addresses to execute transactions after a time delay, during which transactions can be marked as inval…☆18Updated 2 months ago
- Ethereum contracts supporting TACo applications on the Threshold Network.☆18Updated last month
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Configuration and scripts for running Astria☆20Updated 3 months ago