dl-solarity / auditsLinks
Distributed Lab public Solidity audits
☆18Updated 2 years ago
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- The simplest way to deploy smart contracts☆35Updated 2 weeks ago
- Hardhat plugin to deeply compare smart contracts☆16Updated last year
- Hardhat plugin to generate customizable smart contracts documentation☆21Updated last month
- Hardhat template typescript project for ad-hoc solidity development☆33Updated last week
- Hardhat plugin to generate Go bindings☆29Updated last month
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆65Updated 4 months ago
- ☆41Updated 2 years ago
- Bulletproofs++ implementation on Go☆24Updated last year
- TokenE core contracts☆43Updated last year
- Front-end web kit for Distributed Lab projects☆16Updated 2 years ago
- Bulletproofs++ implementation on Rust☆23Updated last year
- The ultimate TypeScript environment for Circom development☆87Updated last month
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆83Updated 2 weeks ago
- The Graph template project for ad-hoc development☆17Updated last year
- Decentralized Identity Issuance Contracts☆27Updated last week
- A curated list of repos related to Circom☆99Updated 2 years ago
- SNARKifying Ethereum☆105Updated last week
- Contains several examples and challenges to use Lambdaworks☆14Updated last year
- Source files for ZKDL Lectures☆13Updated this week
- ☆69Updated 11 months ago
- An interactive tutorial to get you up and running with Noir☆20Updated 2 months ago
- Solarity Solidity Library☆219Updated last week
- A Noir circuit that mimics Solidity's ecrecover☆58Updated last month
- Poseidon hash function implemented in Solidity☆51Updated 11 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated last year
- RISC-V prover system for ZKsync OS☆79Updated this week
- Cairo STARK proof verifier for Starknet☆73Updated last week
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated last year
- zk-SNARK WASM circuit compiler☆15Updated last month
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆76Updated 9 months ago