repos
26
ecosystems
2
languages
6
commits
430
─── top repos · by commits
─── repositories
26 totalA STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
Autopilot Transactions on Ethereum
EIP-1271 message signer & verifier
Cairo Merkle Mountain Range
Turbo DApp example
Herodotus EVM contracts
Solidity Merkle Mountain Range library
Second iteration of herodotus-evm, based on a Diamond contract, infinite chains in one deployment, one contract to index events.
Easily pull data points across Tellor.io contracts on the Ethereum blockchain.
Penny Proofs™️ - Verify more for less
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Pedersen hashing functions with JS <> Rust interoperability
Safely confirm that a voter's token possession meets or exceeds a predetermined time threshold.
A comprehensive library for Cairo 🐺
The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees
Aka workshop
The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees
Smart contracts governing the core logic of Most Bridge.
─── peer developers
─── ecosystems
─── languages
- Cairo7
- TypeScript7
- Solidity7
- Rust3
- Python1
- JavaScript1
─── subscriber view
Unlock the full view of codyx
- · 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.