repos
61
ecosystems
17
languages
3
commits
1,606
─── top repos · by commits
─── repositories
61 totalClient library that facilitates interaction with the Miden blockchain
Core components of the Miden protocol
Core components of the Miden protocol
Starknet sequencer built with Tendermint Core
Reference implementation of the node for the Miden blockchain
Reference implementation of the node for the Miden blockchain
Reference implementation of the node for the Polygon Miden rollup
Stark Compass: the only open source explorer
Stark Compass: the only open source explorer
Barknet explorer
Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
A toy VPN implemented in Rust based on https://write.yiransheng.com/vpn
Core components of the Polygon Miden rollup
Proof of concept Rust implementations for various distributed systems protocols
Reference implementation of the node for the Polygon Miden rollup
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-by-example.com
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-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.
Cryptographic primitives used in Polygon Miden rollup
A Rust implementation of Starknet execution logic
Core components of the Polygon Miden rollup
A Rust implementation of Starknet execution logic
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
zkSync era
A STARK prover and verifier for arbitrary computations
A toolkit for polynomial IOPs (PIOPs)
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
zkSync era
zkSync era
ZkThunder implementation (by Salus)
zkSync era
zkSync era
zkSync era
zkSync era
zkSync era
zkSync era
zksync-era
zkSync era
zkSync era
zkSync era
─── peer developers
─── subscriber view
Unlock the full view of igamigo
- · 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.