zero-savvy / zk-remote-attestationView external linksLinks
Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.
β22Jun 27, 2025Updated 7 months ago
Alternatives and similar repositories for zk-remote-attestation
Users that are interested in zk-remote-attestation are comparing it to the libraries listed below
Sorting:
- Trusted-Setup ceremony of sigmaB Private Proof of Reservesβ12Sep 1, 2024Updated last year
- π‘ ZkWave: Transforming Voice into Secure Proofs π€πβ21Mar 20, 2025Updated 10 months ago
- Hyper-parallel ZK coprocessing.β17Aug 29, 2025Updated 5 months ago
- Ether, but burnt π₯πͺοΈβ26May 14, 2025Updated 9 months ago
- zkSnark circuit compilerβ12Jan 8, 2026Updated last month
- ποΈ Private Proof of Reserves πβ67Sep 6, 2024Updated last year
- Circuit for generating ethereum account RLPβ10Apr 6, 2025Updated 10 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyamaβ10Nov 23, 2022Updated 3 years ago
- β11Mar 19, 2024Updated last year
- banyan's hot on-chain data storage zk proofsβ14May 22, 2025Updated 8 months ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving serviceβ20Updated this week
- β13Oct 22, 2023Updated 2 years ago
- Set of all preceptual hashing models, weights, training info, benchmark datasets, and evaluation code; including for our novel SOTA Dinohβ¦β18Oct 31, 2025Updated 3 months ago
- Compile circom code to llvm partiallyβ12Feb 14, 2023Updated 3 years ago
- zkSNARK circuits for the Telepathy protocolβ53Aug 28, 2023Updated 2 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.β15Mar 3, 2024Updated last year
- Bitcoin L2 (based on ZK Stack)β14Dec 31, 2025Updated last month
- A Swiss knife for Noirβ16Feb 5, 2026Updated last week
- Circom circuits library for magnificent ZK applicationsβ14Jun 4, 2025Updated 8 months ago
- Zero Knowledge Proof for Schnorrβ13Mar 7, 2025Updated 11 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β211Feb 6, 2026Updated last week
- On the TOCTOU Problem in Remote Attestationβ15Jun 4, 2024Updated last year
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.β18Oct 28, 2024Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regexβ¦β102Updated this week
- β18Feb 4, 2026Updated last week
- To bring zero knowledge privacy primitives to all web3 developers.β13Oct 20, 2023Updated 2 years ago
- An arkworks implementation of the superspartan PIOPβ13Sep 10, 2024Updated last year
- A tool to extract gnark circuits defined in Go to Lean for formal verification.β15Apr 4, 2025Updated 10 months ago
- zero knowledge proof aggregator for general circuitβ73May 20, 2024Updated last year
- β16Feb 15, 2024Updated 2 years ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)β20Updated this week
- A crypto payment gateway for Ethereum network with support of HD wallets.β19Feb 8, 2025Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.β41Oct 28, 2025Updated 3 months ago
- Miscellaneous materials related to the "attested TLS" proof-of-conceptβ21Oct 25, 2023Updated 2 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rustβ21Sep 9, 2025Updated 5 months ago
- ZK proofs for image authenticityβ50Oct 3, 2025Updated 4 months ago
- Circom Circuits Library for Machine Learningβ181Jun 19, 2024Updated last year
- The UniFFI-translated librustzcash libraryβ21Aug 12, 2024Updated last year
- ΨͺΩΨ§Ψ΄ Ψ―Ψ± Ψ¬ΩΨͺ Ψ§ΫΩΪ©Ω "ΩΨ§Ψ±Ψ³ΫβΨͺΨ±" ΨΨ±Ω Ψ¨Ψ²ΩΫΩ .β19Apr 6, 2025Updated 10 months ago