Beast code in Giters

Aerius Labs's repositories

zk-snap

Language:TypeScript1000

paillier-halo2

Paillier Encryption circuits in Halo2

Language:Rust900

zksnap-circuits-halo2

Language:Rust900

indexed-merkle-tree-halo2

Language:Rust800

o1js-btc-lc

Bitcoin header verification in o1js

Language:TypeScriptApache-2.0800

cairo-flash-loan

Flash loans in cairo based on EIP-7399

Language:Cairo700

mina0

Language:Rust700

sha512-halo2

Language:Rust500

madara

Building the Integrity Web. The most modular ZK Rollup framework.

Language:RustMIT400

athena

Language:Go300

defradb-rs

Language:Rust300

indexed-merkle-tree-o1js

Language:TypeScript300

sp1-ethereum-storage-proofs

Language:Rust300

zk-snap-backend

Language:JavaScript300

zk-snap-frontend

Language:TypeScript300

aerius-labs.github.io

Language:JavaScript200

biguint-halo2

Language:Rust200

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

Language:RustApache-2.0200

snark-verifier

Apache-2.0200

substrate-tendermint

Language:Rust200

agar-escrow-contracts

Language:Solidity100

Core-Grants

100

openmina

Mina Rust Web Node

Language:RustApache-2.0100

permissionless-work-contracts

Language:Solidity100

plonkathon

educational python plonk implementation, based on vitalik's py_plonk

Language:Python100

proof-systems

The proof systems used by Mina

Apache-2.0100

pse-poseidon

Apache-2.0100

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Apache-2.0000

js-abci

Javascript ABCI libraries

000

o1js

TypeScript framework for zk-SNARKs and zkApps

Language:TypeScriptApache-2.0000