NEBRA's repositories
brand-assets
NEBRA Brand Asset
proof-aggregation-benchmarks
A comparison of Groth16 proof aggregation in different ZKVMs
upa-sp1-project-template
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
aHash
aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
criterion.rs
Statistics-driven benchmarking library for Rust
halo2-lib
Monorepo of halo2 crates
tiny-keccak
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
curves
Implementations of popular elliptic curves
phase2-bn254
Fork of Axiom-crypto's fork of Kobi Gurkan's phase2-bn254
upa-risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
upa-risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry, Bonsai and NEBRA UPA
ZKSpendingDuneQueryRepo
A template for creating repos to manage your Dune queries.