phrwlk/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Repositories
phrwlk/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.
phrwlk/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
phrwlk/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
phrwlk/agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
phrwlk/go-ethereum
Go implementation of the Ethereum protocol
phrwlk/nethermind
A robust execution client for Ethereum node operators.
phrwlk/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
phrwlk/Plonky3
A toolkit for polynomial IOPs (PIOPs)
phrwlk/wasmtime
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
phrwlk/bdk
A modern, lightweight, descriptor-based wallet library written in Rust!
phrwlk/mopro
Making client-side ZK proving on mobile simple.
phrwlk/agglayer
Rust implementation of the Agglayer.
phrwlk/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
phrwlk/alloy
Transports, Middleware, and Networks for the Alloy project
phrwlk/taiko-mono
Taiko Alethia based rollup protocol 🥁
phrwlk/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
phrwlk/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
phrwlk/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
phrwlk/erigon
Ethereum implementation on the efficiency frontier
phrwlk/ethrex
Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
phrwlk/air-script
A domain-specific language for writing AIR constraints for STARKs
phrwlk/l2beat
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
phrwlk/forge-std
A collection of helpful contracts and libraries for use with Forge and Foundry
phrwlk/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
phrwlk/noname
Noname: a programming language to write zkapps
phrwlk/miden-node
Reference implementation of the node for the Miden blockchain
phrwlk/nearcore
Reference client for NEAR Protocol
phrwlk/semaphore
A zero-knowledge protocol for anonymous interactions.
phrwlk/near-sdk-rs
Rust library for writing NEAR smart contracts