Aerius Labs's repositories
o1js
TypeScript framework for zk-SNARKs and zkApps
Language:TypeScriptApache-2.0000
mozak-plonky2-crypto
Crypto Gadgets for Plonky2
Apache-2.0000
Language:Rust000
zk-nullifier-sig
Implementation of PLUME: nullifier friendly signature scheme on ECDSA
MIT000
halo2-browser
Monorepo of tools for using the halo2 proving system in-browser using WASM.
MIT000
paillier-halo2
Paillier Encryption circuits in Halo2
proof-systems
The proof systems used by Mina
halo2-lib
Monorepo of halo2 crates
MIT000
lambdaworks
The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
o1js-btc-lc
Bitcoin header verification in o1js
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Apache-2.0000
Apache-2.0000
cairo-flash-loan
Flash loans in cairo based on EIP-7399