Aniket Prajapati's repositories
ziggy-starkdust
⚡ Cairo VM in Zig ⚡
blobstream-starknet
Celestia -> Starknet bridge
uzumaki
ZK Benchmarking suite
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.
cairo-vm_in_go
cairo-vm_in_go is a Go 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.
elliptic-curve-cryptography
A naive implementation of ECC
gitcoin-allo-starknet
Gitcoin Allo protocol for Starknet 🐺
kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
lambdaworks
The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
naive-rsa
A naive bare-bones implementation of RSA
piltover
Starknet Core Contract components in Cairo.
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
starknet-jsonrpc-codegen
Tool for generating the Starknet JSON-RPC code used in `starknet-rs`
starknet-rs
Complete Starknet library in Rust™
tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
unruggable.meme
☣️ A framework for building safer memecoins 💸
zaun
Solidity contracts for the Starknet Decentralized Protocol proposal
zigup
Download and manage zig compilers.