Celestia derivation pipeline and proof crate built with kona
☆15Jun 24, 2026Updated 4 months ago
Alternatives and similar repositories for hana
Users that are interested in hana are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia☆13Updated this week
- CometBFT team public knowledge base. Always a work-in-progress.☆17May 15, 2024Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆33Updated this week
- ☆15Dec 27, 2023Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Celestia proxy service enabling Private Blockspace☆13Oct 10, 2026Updated 3 weeks ago
- ☆14Jan 7, 2025Updated last year
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated 2 years ago
- ☆15Jul 8, 2021Updated 5 years ago
- ☆16Feb 22, 2023Updated 3 years ago
- ☆15Jan 23, 2019Updated 7 years ago
- Fuel v2 transaction processing module in Rust.☆14Jan 3, 2023Updated 3 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Sep 1, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆60Aug 5, 2024Updated 2 years ago
- This repository implements a simple fork test on Optimism that proves that the EVM behaviour of the forked chain is not identically repli…☆15Updated this week
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- bridging web2 to web3 in an instant☆13Aug 21, 2022Updated 4 years ago
- ☆14May 19, 2022Updated 4 years ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆70Sep 17, 2026Updated last month
- Arkworks circuits for verifiable time-lock encryption☆92Oct 14, 2022Updated 4 years ago
- ☆13Sep 17, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- BLAKE3 on FPGA☆10Feb 21, 2022Updated 4 years ago
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆288Jan 16, 2026Updated 9 months ago
- ☆24Jul 30, 2025Updated last year
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆21Jan 18, 2024Updated 2 years ago
- Scaling Ethereum, but this time in rust.☆89Apr 23, 2023Updated 3 years ago
- Website!☆22Sep 20, 2022Updated 4 years ago
- ☆21Updated this week
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 3 years ago
- A crate to find DWARF debug symbols from stripped binaries☆24May 10, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Risc-V CPU implemented as a zk-SNARK☆51Sep 4, 2022Updated 4 years ago
- Starknet Native Single Collateral USD with L1 Liquidity | Starknet Grantee☆12Jul 16, 2022Updated 4 years ago
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- ☆17Aug 26, 2025Updated last year
- ☆103Nov 16, 2022Updated 3 years ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆134Nov 24, 2025Updated 11 months ago
- Automatic Cosmos SDK Network Upgrades☆25Oct 23, 2026Updated last week