NEARBuilders / auditsLinks
Public Audits in the NEAR Ecosystem
☆13Updated last year
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- A repo to for sharing information on Substrate security☆18Updated last year
- ☆10Updated 2 years ago
- ☆31Updated 4 months ago
- ☆27Updated 2 years ago
- Axiom smart contracts☆26Updated 2 years ago
- Cryptographic protocols☆39Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated last year
- KZG commitments over BLS12-381☆36Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- ☆33Updated last year
- Groth16 verifier on Arbitrum Stylus☆25Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Solidity verifier for Plonk☆42Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 4 months ago
- Step by step implementation of FRI☆11Updated 7 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 10 months ago
- ☆31Updated last year
- ☆20Updated 3 weeks ago
- ☆39Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- ☆28Updated 3 years ago
- Rescue and Poseidon hash function implementations☆43Updated last year
- Herodotus Data Processor using SP1 as backend☆16Updated 10 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Breathe air☆25Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year