junkurihara / httpsig-rsLinks
Rust implementation of IETF RFC 9421, http message signatures
☆28Updated 2 months ago
Alternatives and similar repositories for httpsig-rs
Users that are interested in httpsig-rs are comparing it to the libraries listed below
Sorting:
- client side proving☆39Updated 10 months ago
- ☆49Updated 2 years ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆90Updated 4 months ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Updated 3 months ago
- Reader for ICAO 9303 electronic machine readable travel documents.☆40Updated 11 months ago
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆44Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated last year
- RISC-V ELF interpreter in cairo☆37Updated last year
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- Rust implementation of KZG point evaluation☆35Updated this week
- circom language server☆21Updated 8 months ago
- Fiat-Shamir for the masses.☆87Updated last month
- Bringing divine order to remote task execution.☆30Updated last year
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Updated last year
- Extractable Witness Encryption for KZG Commitments☆31Updated last year
- Noir support for Zed☆11Updated last year
- An observatory fork of SP1☆77Updated 11 months ago
- JSON-RPC, simplified, using tower and axum☆76Updated 3 months ago
- ☆54Updated 7 months ago
- Client side zero-knowledge proving.☆101Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- ☆39Updated 2 years ago
- Circom AES-GCM circuits☆34Updated 2 months ago
- Andromeda revm execution service☆32Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- A verifiable supercomputer☆77Updated 7 months ago