repos
44
ecosystems
16
languages
8
commits
2,040
─── top repos · by commits
─── repositories
44 totaldistributed sequencer with zk consensus
Rust CLI for deploying and operating OIF
Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
Beacon Block Lightclient in Rust
STARK proof system developed by Ciphercurve
ZK opening proofs for different networks (key-value, events). Verifiable against a TRUSTED ROOT.
Recursive ZK Light Client operator for Tendermint, Ethereum, ...
(Deprecated) Demo for Valence ZK programs.
Premature Kairos Fork
A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia
Prove Blockchain State in Zero Knowledge
Recursively verify ZK (merkle) proofs
Prove Blockchain State in Zero Knowledge
relayer for celestia-app's forwarding module
Celestia consensus node
Noir Rollup Circuit
Solana Block Scraper
Prove Merkle Tree Inserts in O1JS
Modernized re-imagination of Succinct's Tendermintx ZK Light Client
Proof of Stake - consensus in Rust
Risc0, Risc0-Groth16, SP1 bechmarks for SHA256
Plonkish circuits for the Valence coprocessor
Prove EVM events in zero knowledge
Health checks + Coprocessor relay capabilities
Operate an Erigon Execution Client together with a Lodestar Consensus Client
Old, educational and deprecated Repos - personal Archive&Graveyard
Zero Knowledge ECDSA in Python and Noir.
Open-source solver implementation, tooling, and libraries to easy start filling cross-chain intents.
Spectre full-node, wallet and related libraries in the Rust programming language.
This crate provides Rust bindings to enable CosmWasm smart contracts to interact with custom modules in the Provenance Blockchain.
Benchmarking the Hyperlane Incremental Tree
A modified version of CEP78 contract that allows burning via an operator or approved account
A trust-minimized cross-chain execution environment.
Wasm friendly Celestia light node implementation in Rust
Casper cep-78
Simple Tendermint ZK Light Client in SP1
On-chain Ethereum light client built with SP1
Example Guest program that verifies a stored value on Ethereum
─── peer developers
─── ecosystems
─── languages
- Rust33
- Solidity3
- Go3
- Roff1
- TypeScript1
- Shell1
- C++1
- Python1
─── subscriber view
Unlock the full view of jonas089
- · 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.