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