repos
36
ecosystems
8
languages
5
commits
428
─── top repos · by commits
─── repositories
36 totalDocs and utils for the Zero-knowledge state bridge from Mina to Ethereum
Basic repo demoing a simple AVS middleware with full eigenlayer integration
EigenLayer Rust Developer Tooling
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
STARK Cairo prover using lambdaworks. 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 ABI compatible for KZG EIP-4844 in Rust
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Go SDK for building AVSs on Eigenlayer
Go SDK for building AVSs on Eigenlayer
Arkworks made simple for us: the non cryptographer software plumbers
The simplest, safest way for AI agents to use Ethereum or any EVM chain. Send, swap, and bridge stablecoins in one line of code with spending limits and human approval flows built in.
Go SDK for building AVSs on Eigenlayer
Rust <> EigenLayer Developer Ecosystem
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
Hello World AVS
cairo-vm_in_go is a Go 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.
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
An implementation of the Austral language compiler in Rust
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Javascript & Typescript SDK for Zero-Knowledge Application Development
Lean Ethereum protocol specifications and test vector generation framework.
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
─── peer developers
─── ecosystems
─── languages
- Rust24
- Go5
- TypeScript2
- JavaScript2
- Python1
─── subscriber view
Unlock the full view of pablodeymo
- · 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.