Pinned Repositories
plonky2
AdventureSeeker987
Config files for my GitHub profile.
avail-light
axiom-eth
blobstreamx
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
erigon
Ethereum implementation on the efficiency frontier
note
AdventureSeeker987's Repositories
AdventureSeeker987/axiom-eth
AdventureSeeker987/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
AdventureSeeker987/cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
AdventureSeeker987/erigon
Ethereum implementation on the efficiency frontier
AdventureSeeker987/note
AdventureSeeker987/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
AdventureSeeker987/halo2-lib
Monorepo of halo2 crates
AdventureSeeker987/halo2curves
AdventureSeeker987/ibc-go
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
AdventureSeeker987/joyboy
Decentralized social built with Nostr and powered by Starknet account abstraction.
AdventureSeeker987/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
AdventureSeeker987/madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
AdventureSeeker987/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
AdventureSeeker987/nethermind
A robust execution client for Ethereum node operators.
AdventureSeeker987/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
AdventureSeeker987/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
AdventureSeeker987/plonky2
AdventureSeeker987/Plonky3
A toolkit for polynomial IOPs (PIOPs)
AdventureSeeker987/raiko
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
AdventureSeeker987/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
AdventureSeeker987/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
AdventureSeeker987/router-sdk
Fibrous Finance allows dApps and traders to get the best DEX liquidity by aggregating multiple Dex and offering the best rates
AdventureSeeker987/rust-libp2p
The Rust Implementation of the libp2p networking stack.
AdventureSeeker987/scroll
Scroll's Monorepo
AdventureSeeker987/starknet-foundry
Blazing fast toolkit for developing Starknet contracts.
AdventureSeeker987/starknetbook
Mastering Starknet. By the Starknet community
AdventureSeeker987/taiko-mono
A based rollup. 🥁
AdventureSeeker987/valida
A STARK-based VM focused on code reuse, performance, and modularity
AdventureSeeker987/WTF-zkSync
Onboarding developers to zkSync
AdventureSeeker987/zk-kit
A monorepo of reusable libraries for zero-knowledge technologies.