A halo2 implementation of on-chain DCAP attestation verification
☆15Sep 9, 2024Updated 2 years ago
Alternatives and similar repositories for zk-dcap-verifier
Users that are interested in zk-dcap-verifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆13Dec 22, 2023Updated 2 years ago
- ☆26Nov 15, 2023Updated 2 years ago
- ☆30Sep 18, 2024Updated 2 years ago
- ☆18Mar 5, 2026Updated 6 months ago
- Public Audits in the NEAR Ecosystem☆17Jun 10, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆118Sep 9, 2026Updated 2 weeks ago
- ☆13Apr 16, 2025Updated last year
- [humanode fork] Substrate: The platform for blockchain innovators☆14Oct 23, 2025Updated 11 months ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- The NymVPN client app for Android☆15Jul 8, 2024Updated 2 years ago
- Remote attestation framework for Fortanix EDP☆22Jan 11, 2021Updated 5 years ago
- A collection of classifiers with a standardized interface. Has a HTTP server interface that allows any language to access.☆18Jan 25, 2012Updated 14 years ago
- ⚗️ End-to-end verifiable TEEs☆19Jan 23, 2026Updated 8 months ago
- ☆13Oct 1, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An authenticated data structure based on a red-black tree.☆55Jul 27, 2015Updated 11 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- ☆12Aug 4, 2025Updated last year
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- ☆19Aug 13, 2024Updated 2 years ago
- Paralink Network oracles for Ethereum and EVM-compatible chains.☆10May 24, 2021Updated 5 years ago
- Solidity contract for storing verified X.509 certificate chains in parent pointer trees on ETH blockchain☆16Jan 6, 2021Updated 5 years ago
- ☆12Feb 28, 2022Updated 4 years ago
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆22Aug 3, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Generalized Authenticated Data Structures☆22Jun 6, 2013Updated 13 years ago
- ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.☆15Jul 2, 2025Updated last year
- ☆13Aug 15, 2024Updated 2 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 4 years ago
- The Spire Based Stack☆24Jun 8, 2026Updated 3 months ago
- ☆31Jul 16, 2026Updated 2 months ago
- IDEN3 smartcontracts☆103Sep 18, 2026Updated last week
- CLI tool for participating in Cosmos Fundraiser☆12Jun 29, 2020Updated 6 years ago
- 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.
- Llama is an onchain governance and access control framework for smart contracts.☆48Aug 16, 2024Updated 2 years ago
- ☆18Dec 3, 2024Updated last year
- JavaScript Implementation of the IPLD format - Ethereum Block☆12Nov 20, 2017Updated 8 years ago
- A fast zero-knowledge proof friendly Move language runtime environment.☆46Aug 26, 2023Updated 3 years ago
- Image Feature Descriptors☆26Feb 15, 2013Updated 13 years ago
- ☆12Jan 1, 2025Updated last year
- ☆10Nov 28, 2017Updated 8 years ago