Solidity based prover for AWS Nitro enclave attestations
☆26Dec 13, 2024Updated last year
Alternatives and similar repositories for NitroProver
Users that are interested in NitroProver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Mar 19, 2024Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆12Jun 3, 2021Updated 5 years ago
- ☆13Feb 4, 2026Updated 8 months ago
- ☆16Sep 23, 2026Updated last month
- A POC for Postgres logical replication in Rust☆11Oct 26, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆19Sep 21, 2026Updated last month
- Reference specification for Aragon Chain☆18Jan 14, 2020Updated 6 years ago
- ☆15Jan 23, 2026Updated 9 months ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆41Jul 9, 2024Updated 2 years ago
- ☆34Jul 14, 2026Updated 3 months ago
- library for utreexo accumulator in c++☆22Apr 12, 2023Updated 3 years ago
- Reproducing results from Deep Flow Guided Scene Agnostic Image Based Visual Servoing submission at ICRA'20☆10Aug 30, 2020Updated 6 years ago
- Local vault for AI agents. Use API keys without exposing raw stored keys to the model.☆18Jun 18, 2026Updated 4 months ago
- ☆13May 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- At least dump your calldata to an AI to understand what you're signing.☆37Jun 18, 2026Updated 4 months ago
- ☆15Oct 3, 2023Updated 3 years ago
- message signing and verifying for Lightning Network☆10Jan 6, 2023Updated 3 years ago
- Scaffold a modern Web3 SDK in seconds☆12Jan 31, 2025Updated last year
- scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600☆14Oct 26, 2025Updated last year
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 5 years ago
- A Cloudflare worker to publish Nostr events to relays through a non-blocking HTTP interface☆18May 16, 2023Updated 3 years ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆60Oct 12, 2026Updated 2 weeks ago
- Offline tools for moving coins☆16Jan 19, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Handy tooling for generating and verifying Merkle proofs☆10May 22, 2023Updated 3 years ago
- A monorepo of reusable Circom circuits.☆31Jul 20, 2026Updated 3 months ago
- A high-performance verifiable storage layer for appchains and L2s.☆13Jan 5, 2026Updated 9 months ago
- RealWorld CTF 5th realwrap challenge☆19May 21, 2023Updated 3 years ago
- A template for easily building Autonomous Verified Services with WAVS.☆16May 12, 2026Updated 5 months ago
- Quantum benchmarking framework☆16Jul 29, 2026Updated 3 months ago
- Set and get a value☆15Oct 24, 2021Updated 5 years ago
- ☆17Updated this week
- Blockchain Manchester Meetups, Talks and Reading List☆18Sep 4, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Oct 1, 2025Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆29Dec 20, 2024Updated last year
- ☆41Jun 2, 2020Updated 6 years ago
- Paralink Network oracles for Ethereum and EVM-compatible chains.☆10May 24, 2021Updated 5 years ago
- A fast, efficient and trust-minimized unidirectional micro-payments system.☆24Jan 26, 2026Updated 9 months ago
- A Multichain Relayer Node☆17Aug 26, 2024Updated 2 years ago
- SpeakUp zkVM Website☆14Jul 3, 2026Updated 3 months ago