repos
60
ecosystems
17
languages
8
commits
270
─── top repos · by commits
─── repositories
60 totalRust Library for running the Starknet OS via the Cairo VM
Rust Library for running the Starknet OS via the Cairo VM
An unstoppable storage system for the Polkadot ecosystem.
Abstraction layer for cross-chain communication
Abstraction layer for cross-chain communication
A Rust implementation of Starknet execution logic
Anonymity Research Tools for TCash Users
A Rust implementation of Starknet execution logic
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.
A Starknet full node written in Rust
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.
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.
A Starknet full node written in Rust
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.
A Starknet full node written in Rust
A Starknet full node written in Rust
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.
An MCP (Model Context Protocol) server that provides tools for working with Substrate-based blockchains.
Fork of Foundry tailored for zkSync environment
RPC server and client to run the Stone Prover on the Madara sequencer.
StorageHub is a decentralized storage system parachain optimized for file based storage and larger data sets that are not suitable to be stored directly in standard parachain storage.
ZKsync Protocol Proposal Verification CLI & Governance Authentication Web App
Fork of Foundry tailored for zkSync environment
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
zkSync era
Madara is a powerful hybrid Starknet client written in Rust.
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
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
ZkThunder implementation (by Salus)
zkSync era
zkSync era
zkSync era
zkSync era
zkSync era
Repo to explore/research and play with zero knowledge proofs
zksync-era
Madara is a powerful hybrid Starknet client written in Rust.
zkSync era
zkSync era
zkSync era
─── peer developers
─── ecosystems
─── languages
- Rust45
- Solidity2
- TypeScript2
- Python1
- Jupyter Notebook1
- JavaScript1
- MDX1
- Julia1
─── subscriber view
Unlock the full view of HermanObst
- · 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.