ethereum / go-verkleLinks
A go implementation of Verkle trees
☆225Updated last month
Alternatives and similar repositories for go-verkle
Users that are interested in go-verkle are comparing it to the libraries listed below
Sorting:
- Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib☆135Updated 4 months ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆92Updated last year
- Big integer arithmetic and secp256k1 ECC operations in circom☆327Updated last year
- Go core implementation of the iden3 system☆95Updated last month
- Bellman zkSNARK library for community with Ethereum's BN256 support☆161Updated 9 months ago
- New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau☆135Updated 6 months ago
- A Go library that implements a Sparse Merkle tree for a key-value map.☆140Updated 2 years ago
- C++ elliptic curve library☆134Updated 2 years ago
- A curated list of awesome things related to plonk proof system☆237Updated 9 months ago
- ☆199Updated last year
- Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.☆402Updated 2 weeks ago
- ED25519 implementation in Circom☆116Updated last year
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆160Updated 2 years ago
- Go implementation of two dimensional Reed-Solomon merkle tree data availability scheme.☆166Updated last week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆421Updated this week
- Fast Ethereum2.0 SSZ encoder/decoder☆86Updated last month
- A Rust implementation of the Groth16 zkSNARK☆290Updated 2 months ago
- ☆124Updated 4 months ago
- ☆305Updated 3 weeks ago
- ☆124Updated last week
- fast zksnark prover☆120Updated last year
- ☆228Updated last year
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆455Updated this week
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆265Updated 3 months ago
- DSL for Halo2 circuits☆187Updated 7 months ago
- Namespaced Merkle Tree☆121Updated last week
- A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.☆146Updated last week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- Evm laboratory☆272Updated last week
- Middleware to compile Circom circuits to Nova prover☆238Updated last year