repos
37
ecosystems
11
languages
7
commits
580
─── top repos · by commits
─── repositories
37 totalA EVM block proving backend in Cairo
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Run arbitrary code on the EVM, by mass.money
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Run arbitrary code on the EVM
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
A universal rewards distributor written in Solidity.
A universal rewards distributor written in Solidity.
A universal rewards distributor written in Solidity.
Kakarot zkEVM - rewrite in the latest version of Cairo
Garaga for CairoZero
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
Nested Finance smart contracts
Test runner for ethereum foundation tests
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
GitHub action that installs huffc
Specification for the Execution Layer. Tracking network upgrades.
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
A set of Huff contracts for education purposes
Specification for the Execution Layer. Tracking network upgrades.
Specification for the Execution Layer. Tracking network upgrades.
The weiroll virtual machine
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A curated list of zkVM, zero-knowledge virtual machine
Multi-party computation libraries written in Rust 🦀
Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
Automated verification of uniqueness property for ZKP circuits
Automated verification of uniqueness property for ZKP circuits
Subscription NFT Smart Contracts
The weiroll virtual machine, but without DELEGATECALL
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
The weiroll virtual machine
All contracts for citizens and teams
─── peer developers
─── ecosystems
─── languages
- Solidity14
- Cairo7
- Rust3
- Python3
- TypeScript2
- JavaScript2
- Circom2
─── subscriber view
Unlock the full view of obatirou
- · 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.