ethereum / go-verkle
A go implementation of Verkle trees
☆220Updated last week
Alternatives and similar repositories for go-verkle:
Users that are interested in go-verkle are comparing it to the libraries listed below
- Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib☆132Updated 2 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆325Updated last year
- Bellman zkSNARK library for community with Ethereum's BN256 support☆161Updated 8 months ago
- ☆219Updated last month
- A Rust implementation of the Groth16 zkSNARK☆282Updated last month
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆91Updated last year
- List of halo2-related resources☆194Updated 2 months ago
- ☆226Updated last year
- Go core implementation of the iden3 system☆94Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆419Updated 2 weeks ago
- ED25519 implementation in Circom☆114Updated last year
- Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.☆400Updated this week
- ☆335Updated 9 months ago
- ☆197Updated last year
- A curated list of awesome things related to plonk proof system☆236Updated 8 months ago
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆448Updated this week
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆257Updated last month
- A Go library that implements a Sparse Merkle tree for a key-value map.☆140Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- ☆303Updated 3 months ago
- Fast Ethereum2.0 SSZ encoder/decoder☆83Updated 2 months ago
- C++ elliptic curve library☆134Updated 2 years ago
- Evm laboratory☆263Updated last week
- New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau☆135Updated 4 months ago
- Official repository for specifications for the Portal Network☆337Updated 3 weeks ago
- Introduction to Zero Knowledge Proof☆244Updated 4 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆316Updated 4 months ago
- fast zksnark prover☆119Updated last year
- A pure Rust PLONK implementation using arkworks as a backend.☆306Updated last year