Zokrates / ZoKratesLinks
A toolbox for zkSNARKs on Ethereum
☆1,869Updated 10 months ago
Alternatives and similar repositories for ZoKrates
Users that are interested in ZoKrates are comparing it to the libraries listed below
Sorting:
- zkSNARK implementation in JavaScript & WASM☆1,873Updated this week
- ☆1,848Updated last month
- zkSnark circuit compiler☆1,471Updated last month
- Circuit compiler for zkSNARKs☆473Updated 2 years ago
- Ethereum peer-to-peer networking specifications☆1,064Updated 2 weeks ago
- Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty☆631Updated 2 years ago
- RANDAO: A DAO working as RNG of Ethereum☆846Updated 2 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,032Updated 2 years ago
- zk-SNARK library.☆1,079Updated 10 months ago
- Library of basic circuits for circom☆658Updated last month
- A zero-knowledge protocol for anonymous interactions.☆982Updated this week
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆658Updated last year
- C++ library for zkSNARKs☆1,875Updated last year
- An Analysis Tool for Smart Contracts☆1,333Updated 2 years ago
- Ewasm Design Overview and Specification☆1,025Updated 2 years ago
- Provable API for Ethereum smart contracts☆804Updated 11 months ago
- Allows multiple parties to agree on transactions before execution.☆1,088Updated 3 years ago
- Rewrite of the Yellowpaper in non-Yellowpaper syntax.☆799Updated 5 years ago
- Basic string utilities for Solidity☆1,157Updated last year
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,025Updated last week
- Ethereum Virtual Machine Awesome List☆847Updated last year
- Dapp, Seth, Hevm, and more☆2,124Updated 3 months ago
- (Aragon 1) Reference implementation for aragonOS: a Solidity framework for building complex dApps and protocols☆686Updated 2 years ago
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆1,554Updated this week
- Loose collection of Solidity example code☆563Updated 2 years ago
- Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).☆1,028Updated last year
- The Halo2 zero-knowledge proving system☆784Updated 5 months ago
- Safe allows secure management of blockchain assets.☆2,002Updated this week
- Gas usage per unit test. Average gas usage per method. A mocha reporter.☆603Updated last year
- A place for all the ÐApps to live☆1,032Updated 11 months ago