repos
66
ecosystems
19
languages
8
commits
1,040
─── top repos · by commits
─── repositories
66 totalFork of Foundry tailored for zkSync environment
Fork of Foundry tailored for zkSync environment
A book on all things Foundry, available at https://foundry-book.zksync.io/.
We are slow while using the UI/UX of crypto wallets so we created our CLI version
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-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.
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-rs-py adds Python bindings to the cairo-rs Cairo VM
Zero Knowledge Statistical Tests
It’s late on a Friday night, you’re hungry, and your significant other hits you with the question: “Where should we eat?”. The familiar spiral of indecision starts. Instead of drowning in endless Google searches, scrolling through reviews, and debating menus, let Find My Meal take charge.
Extension to forge-std for foundry-zksync
zkSync era
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
Abstraction layer for cross-chain communication
A STARK proof to sync a Bitcoin full node in an instant.
Aave Governance V3
ZKsync support for alloy
A STARK proof to sync a Bitcoin full node in an instant.
Aave Governance V3
Abstraction layer for cross-chain communication
In-memory node that can be used for integration testing and debugging.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
zkSync Era Block Explorer
Utilities for working with native solc and compiling projects.
Canonical type definitions for EIP-155 chains
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
Developer documentation site for zkSync community.
Bitcoin L2 (based on ZK Stack)
zkSync era
accept the mystery
BattleChain Block Explorer
zkSync Era Block Explorer
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
ZkThunder implementation (by Salus)
zkSync era
zkSync era
zkSync era
zkSync era
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
zksync-era
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
anvil-zksync fork
zkSync era
zkSync era
zkSync era
─── peer developers
─── ecosystems
─── languages
- Rust34
- Cairo9
- Solidity7
- TypeScript6
- Elixir1
- Dart1
- Vue1
- Python1
─── subscriber view
Unlock the full view of Jrigada
- · 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.