Celestia derivation pipeline and proof crate built with kona
☆15Dec 19, 2025Updated 3 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:
- CometBFT team public knowledge base. Always a work-in-progress.☆17May 15, 2024Updated last year
- ☆15Dec 27, 2023Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 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.☆28Dec 10, 2025Updated 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆16Feb 22, 2023Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Arkworks circuits for verifiable time-lock encryption☆92Oct 14, 2022Updated 3 years ago
- ☆15Jan 23, 2019Updated 7 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- ☆24Jul 30, 2025Updated 7 months ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- ☆14May 19, 2022Updated 3 years ago
- Celestia Data Availability Provider for Optimism Alt-DA Protocol.☆31Mar 18, 2026Updated last week
- 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.
- ☆13Sep 17, 2022Updated 3 years ago
- 2048 webassembly implementation in Rust that can be run on browser or command line terminal☆10Jan 7, 2021Updated 5 years ago
- [Obsolete] Tamarin prover manual: source files☆25Mar 10, 2026Updated 2 weeks ago
- A crate to find DWARF debug symbols from stripped binaries☆22May 10, 2023Updated 2 years ago
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆22Jan 18, 2024Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 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 4 months ago
- An implementation of the Financial Crypto 2016 paper "Optimal Selfish Mining Strategies in Bitcoin"☆14May 30, 2017Updated 8 years ago
- Plue - Swift and Zig multi-agent coding assistant built on ghostty☆55Feb 13, 2026Updated last month
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Public Key Addressable Resource Records (sovereign TLDs)☆55Feb 26, 2026Updated last month
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆289Jan 16, 2026Updated 2 months ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 5 months ago
- Gas benchmark research repository☆21Mar 19, 2026Updated last week
- Starknet Native Single Collateral USD with L1 Liquidity | Starknet Grantee☆12Jul 16, 2022Updated 3 years ago
- ☆21Mar 12, 2026Updated 2 weeks ago
- ☆17Aug 26, 2025Updated 7 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- Python winternitz package. Contains (probably) post-quantum secure digital signature algorithms. Currently WOTS and WOTS+ are implemented☆15Mar 14, 2019Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- Automatic Cosmos SDK Network Upgrades☆27Jan 12, 2026Updated 2 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆68Mar 16, 2026Updated last week
- ☆11Mar 2, 2024Updated 2 years ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆211Mar 18, 2026Updated last week
- ☆27Sep 25, 2023Updated 2 years ago
- ☆31May 21, 2025Updated 10 months ago