repos
64
ecosystems
22
languages
7
commits
2,730
─── top repos · by commits
─── repositories
64 totalcairo-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 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 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 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 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 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 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 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 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 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-rs 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. Cairo and similar proof systems can be used to provide scalability to blockchains.
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 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.
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
EraVM implementation
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
An ABI compatible for KZG EIP-4844 in Rust
🐺 Starknet Rust types 🦀
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
🐺 Starknet Rust types 🦀
🐺 Starknet Rust types 🦀
🐺 Starknet Rust types 🦀
A Rust implementation of Starknet execution logic
A Rust implementation of Starknet execution logic
A Rust implementation of the BitTorrent V2 protocol
cairo-by-example.com
Parser for Nom to extract the contents of nested containers
A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM
Performance comparison of various Starknet field element type implementations
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
Sandbox repo to try out new experiments for crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
zkSync era
Complete Starknet library in Rust™
Collection of tests for ZKsync compilers.
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.
An implementation of the Austral language compiler in Rust
Bitcoin L2 (based on ZK Stack)
Cronos zkEVM is a Layer2 blockchain network using ZK Stack, launched in a partnership between Cronos Labs and engineering teams from Matter Labs (the team behind ZKsync), Crypto.com, VVS Finance, Fulcrom Finance and Veno Finance.
zkSync era
AFK Gacha Game is an autobattler by LambdaClass
ZkThunder implementation (by Salus)
Complete Starknet library in Rust™
zkSync era
zkSync era
zkSync era
zkSync era
zksync-era
Complete Starknet library in Rust™
zkSync era
zkSync era
zkSync era
─── peer developers
─── ecosystems
─── languages
- Rust50
- Shell1
- Python1
- Zig1
- Solidity1
- Go1
- C#1
─── subscriber view
Unlock the full view of Oppen
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.