Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARKs.
β23Jun 27, 2025Updated 11 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Trusted-Setup ceremony of sigmaB Private Proof of Reservesβ12Sep 1, 2024Updated last year
- ποΈ Private Proof of Reserves πβ68Sep 6, 2024Updated last year
- Ether, but burnt π₯πͺοΈβ26May 14, 2025Updated last year
- Set of all preceptual hashing models, weights, training info, benchmark datasets, and evaluation code; including for our novel SOTA Dinohβ¦β24Oct 31, 2025Updated 7 months ago
- ΨͺΩΨ§Ψ΄ Ψ―Ψ± Ψ¬ΩΨͺ Ψ§ΫΩΪ©Ω "ΩΨ§Ψ±Ψ³ΫβΨͺΨ±" ΨΨ±Ω Ψ¨Ψ²ΩΫΩ .β18Apr 6, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β224Updated this week
- β25Apr 22, 2026Updated last month
- π‘ ZkWave: Transforming Voice into Secure Proofs π€πβ20Mar 20, 2025Updated last year
- β23Sep 26, 2022Updated 3 years ago
- This Searcher will monitor blockchain events in real-time, identify price discrepancies between DEXs, simulate potential arbitrage transaβ¦β19Mar 30, 2025Updated last year
- Circuit for generating ethereum account RLPβ10Apr 6, 2025Updated last year
- zkSNARK circuits for the Telepathy protocolβ53Aug 28, 2023Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regexβ¦β105Mar 3, 2026Updated 3 months ago
- β18Apr 29, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Agex Coreβ33Mar 12, 2025Updated last year
- Zero Knowledge Proof for Schnorrβ13Mar 7, 2025Updated last year
- zkSnark circuit compilerβ13Apr 29, 2026Updated last month
- zero knowledge proof aggregator for general circuitβ72May 20, 2024Updated 2 years ago
- Breathe airβ25May 19, 2024Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.β41Oct 28, 2025Updated 7 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyamaβ10Nov 23, 2022Updated 3 years ago
- Bitcoin L2 (based on ZK Stack)β13Jun 12, 2026Updated last week
- β133Apr 23, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hyper-parallel ZK coprocessing.β18Aug 29, 2025Updated 9 months ago
- β33Updated this week
- ZK Circuit Fuzzer (IEEE S&P'26)β44Nov 19, 2025Updated 6 months ago
- Circom Circuits Library for Machine Learningβ182Jun 19, 2024Updated last year
- Friendly dogecoin API binding for Pythonβ18Jan 15, 2022Updated 4 years ago
- Miscellaneous materials related to the "attested TLS" proof-of-conceptβ23Oct 25, 2023Updated 2 years ago
- Circom circuits used by the iden3 core protocol.β94Feb 6, 2026Updated 4 months ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)β23Jun 11, 2026Updated last week
- On the TOCTOU Problem in Remote Attestationβ15Jun 4, 2024Updated 2 years ago
- AI Agents on 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.
- Verifying a 512-layer CNN w/ Novaβ173May 5, 2023Updated 3 years ago
- An arkworks implementation of the superspartan PIOPβ13Sep 10, 2024Updated last year
- banyan's hot on-chain data storage zk proofsβ14May 22, 2025Updated last year
- β24Updated this week
- Frobenius sumcheck for vectorized boolean opsβ56Apr 12, 2025Updated last year
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).β10Sep 14, 2020Updated 5 years ago
- Generalized RISC-V based state transition function for the ZKsync protocolβ36Updated this week