Arun Jangra's repositories
btcxvm-study
₿ 🐝, BTC VM implemented in rust, Compilable into zkVM
avail-rust
Avail Rust SDK
batch-encryption-proof
zk proof for batch encryption of uint value types
batched-threshold-pp
A batched-threshold encryption scheme where decrypting a batch of ciphertexts requires constant communication
blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
c-kzg-4844-fork
Minimal 4844 version of c-kzg
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
helios
A fast, secure, and portable multichain light client for Ethereum
jmt
Diem's Jellyfish Merkle Tree + Added Multiproof Implementation
kzg-rust
Step by step implementation of KZG
Linear-Algebra
Linear Algebra
madara
Building the Integrity Web. The most modular ZK Rollup framework.
madara-orchestrator
The Madara orchestrator is designed to be an additional service which runs in parallel to Madara and handles various critical jobs that ensure proper block processing, proof generation, data submission and state transitions.
pathfinder
A Starknet full node written in Rust
piltover
Starknet Core Contract components in Cairo.
raito
Bitcoin ZK client written in Cairo.
snos
Rust Library for running the Starknet OS via the Cairo VM
starklings-cairo1
An interactive tutorial to get you up and running with Cairo v1 and Starknet
wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
zksync-era
zkSync era