celestiaorg / hanaView external linksLinks
Celestia derivation pipeline and proof crate built with kona
☆15Dec 19, 2025Updated last month
Alternatives and similar repositories for hana
Users that are interested in hana are comparing it to the libraries listed below
Sorting:
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Dec 10, 2025Updated 2 months ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 4 months ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- ☆15Dec 27, 2023Updated 2 years ago
- Fuel v2 transaction processing module in Rust.☆14Jan 3, 2023Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- ☆16Jan 23, 2019Updated 7 years ago
- CometBFT team public knowledge base. Always a work-in-progress.☆17May 15, 2024Updated last year
- Starknet Native Single Collateral USD with L1 Liquidity | Starknet Grantee☆12Jul 16, 2022Updated 3 years ago
- Gas benchmark research repository☆20Feb 7, 2026Updated last week
- ☆14May 19, 2022Updated 3 years ago
- ☆17Aug 26, 2025Updated 5 months ago
- ☆16Feb 22, 2023Updated 2 years ago
- The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…☆18Apr 22, 2024Updated last year
- ☆22Updated this week
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Celestia Data Availability Provider for Optimism Alt-DA Protocol.☆28Feb 2, 2026Updated last week
- Pythonic Web3 Multicall☆20Jan 30, 2026Updated 2 weeks ago
- Arkworks circuits for verifiable time-lock encryption☆92Oct 14, 2022Updated 3 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22May 10, 2023Updated 2 years ago
- ☆27Sep 25, 2023Updated 2 years ago
- ☆23Jul 30, 2025Updated 6 months ago
- ☆31May 21, 2025Updated 8 months ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- Client side zero-knowledge proving.☆101Updated this week
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Dec 2, 2023Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 5 months ago
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Rust library for Intel TDX☆31Nov 24, 2025Updated 2 months ago
- A very opinionated 1-click setup for development machines☆29Apr 11, 2023Updated 2 years ago
- ☆26Feb 7, 2024Updated 2 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆22Jan 18, 2024Updated 2 years ago