☆17Jul 14, 2018Updated 7 years ago
Alternatives and similar repositories for libsnark-tutorial_forge_proof
Users that are interested in libsnark-tutorial_forge_proof are comparing it to the libraries listed below
Sorting:
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Jun 24, 2019Updated 6 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- ☆23Jul 15, 2023Updated 2 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Solidity API contract design information for utilizing RPC/RESTful Node Interaction and GraphQL☆23Oct 5, 2021Updated 4 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 2 years ago
- Basic implementation of Borromean ring signatures in Python, for learning☆15Dec 14, 2017Updated 8 years ago
- Learning ZkSNARKs using libsnark☆12Dec 26, 2018Updated 7 years ago
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆15Sep 13, 2021Updated 4 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- ☆16Jan 23, 2025Updated last year
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- Keeping track of all bitcoin seized and sold by the US Marshals & GSA☆15Mar 31, 2023Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- ☆23Aug 1, 2021Updated 4 years ago
- ☆41Oct 24, 2022Updated 3 years ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- How to generated and verify ring signatures in monero☆14Mar 27, 2016Updated 9 years ago
- ☆19May 5, 2020Updated 5 years ago
- An elliptic curve verifiable random function☆20May 8, 2023Updated 2 years ago
- ☆42Oct 19, 2021Updated 4 years ago
- Ethereum Improvement Proposal Validator☆19Feb 9, 2023Updated 3 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- A small block explorer for geth PoAs written in rust☆17Feb 2, 2020Updated 6 years ago
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Implementation for https://eprint.iacr.org/2025/1300☆42Sep 2, 2025Updated 5 months ago