iden3 / go-zksnark-full-flow-example
zkSNARK full flow example in Go
☆12Updated 4 years ago
Alternatives and similar repositories for go-zksnark-full-flow-example:
Users that are interested in go-zksnark-full-flow-example are comparing it to the libraries listed below
- MerkleTree compatible with circomlib/smt☆13Updated 3 years ago
- ☆15Updated 4 years ago
- ☆15Updated 3 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- ☆17Updated 2 years ago
- ☆15Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Updated 3 years ago
- Intel assembly finite field library generator☆12Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated 11 months ago
- ☆26Updated 2 years ago
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…☆10Updated 4 years ago
- Blind signatures over elliptic curve implementation (native & r1cs constraints).☆13Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).☆10Updated 5 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆12Updated 6 years ago
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Updated 2 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆10Updated last year
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 5 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- Tendermint with an embedded BLS random beacon☆18Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- zk-Snarks circuit for franchise proof☆13Updated last year
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Updated 6 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- Pastry DHT implementation with a standalone libp2p compatible node☆12Updated 4 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago