Celestia derivation pipeline and proof crate built with kona
☆15Dec 19, 2025Updated 2 months ago
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
- ☆15Dec 27, 2023Updated 2 years ago
- Fuel v2 transaction processing module in Rust.☆14Jan 3, 2023Updated 3 years 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
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- ☆15Jan 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
- ☆14May 19, 2022Updated 3 years ago
- Gas benchmark research repository☆21Feb 28, 2026Updated last week
- ☆17Aug 26, 2025Updated 6 months 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
- ☆22Feb 19, 2026Updated 2 weeks ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- ☆16Feb 22, 2023Updated 3 years ago
- Celestia Data Availability Provider for Optimism Alt-DA Protocol.☆30Feb 26, 2026Updated last week
- Pythonic Web3 Multicall☆20Jan 30, 2026Updated last month
- 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
- ☆23Jul 30, 2025Updated 7 months ago
- ☆31May 21, 2025Updated 9 months ago
- ☆27Sep 25, 2023Updated 2 years ago
- Client side zero-knowledge proving.☆102Updated this week
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- 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
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Explorations on mobile-first GPU acceleration, currently support MSM.☆28Aug 19, 2025Updated 6 months ago
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- Rust library for Intel TDX☆31Nov 24, 2025Updated 3 months ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated last year
- Website!☆22Sep 20, 2022Updated 3 years ago
- Reference manual for the RustCrypto project, implemented as an MDBook [WIP]☆22Jan 18, 2024Updated 2 years ago
- ☆26Feb 7, 2024Updated 2 years ago