yanziseeker's Projects
Config files for my GitHub profile.
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Ethereum implementation on the efficiency frontier
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
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
Monorepo of halo2 crates
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
a GPU Library for Zero-Knowledge Acceleration
Decentralized social built with Nostr and powered by Starknet account abstraction.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Avail's Web Light Client (WIP)
š„·š©ø Madara is a ā” blazing fast ā” Starknet sequencer, based on substrate, powered by Rust š¦
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
A robust execution client for Ethereum node operators.
The Nexus zkVM: The zero-knowledge virtual machine
TypeScript framework for zk-SNARKs and zkApps
OpenZeppelin Contracts is a library for secure smart contract development.
A toolkit for polynomial IOPs (PIOPs)
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.