pvac-hfhe: PoC for publicly verifiable arithmetic computations with hypergraph based homomorphic encryption over Fp (p = 2^127 - 1), omissions for large numbers and excluded the transfer mechanism for data convertation (applies only to the prod version of octra network). c++17 header-only.
☆55Feb 5, 2026Updated last month
Alternatives and similar repositories for pvac_hfhe_cpp
Users that are interested in pvac_hfhe_cpp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run boundless prover in a dockerless environment☆13Sep 30, 2025Updated 6 months ago
- ☆28Sep 27, 2022Updated 3 years ago
- ⚠️🚨⚠️🚨⚠️🚨⚠️🚨 EXPERIMENTAL Golang client for Serum Dex program (Solana)⚠️🚨⚠️🚨⚠️🚨☆12May 10, 2024Updated last year
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆11Sep 28, 2025Updated 6 months ago
- ☆12Oct 11, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- A homebrew tap☆16Feb 23, 2026Updated last month
- Computer Based Test (CBT) Application with rich editor, timer, unlimited exams and questions, staff & students enabled.☆12Jan 31, 2026Updated last month
- ☆14Oct 19, 2024Updated last year
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated last month
- Hunt Town is a web3 co-building community where builders come together to contribute to the expansion of web3 culture and products.☆14Mar 19, 2026Updated last week
- The Simple Declarative Language provides an easy way to describe lists, maps, and trees of typed data in a compact, easy to read represen…☆14May 7, 2018Updated 7 years ago
- A repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for public key…☆16Dec 17, 2025Updated 3 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- 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.
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Apr 25, 2025Updated 11 months ago
- ☆17Dec 2, 2022Updated 3 years ago
- AWS CDK 2024☆17Apr 13, 2024Updated last year
- A Productivity-Boosting Burp Suite extension written in Kotlin that enables persistent sticky session handling in web application testing…☆12Oct 8, 2025Updated 5 months ago
- ☆70Feb 13, 2026Updated last month
- One click guide to run boundless prover node on GPU☆62Jul 20, 2025Updated 8 months ago
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- TypeScript bindings for Java with GraalJS☆10Apr 15, 2024Updated last year
- ☆23Mar 19, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated last year
- Extracts per-sentence subtitles + audio from a subtitle file + video file.☆12Oct 1, 2019Updated 6 years ago
- Daimo SDK☆20Updated this week
- ☆13Jul 27, 2022Updated 3 years ago
- zk-SNARK WASM circuit compiler☆16Jun 2, 2025Updated 9 months ago
- Template repo to develop web3.js plugin☆11Sep 4, 2024Updated last year
- First Trusted MCP server running on AWS Nitro Enclave Trusted Execution Environment☆16Apr 5, 2025Updated 11 months ago
- Homebrew tap for clawdbot☆35Jan 4, 2026Updated 2 months ago
- A public repository for teams within the EigenLayer ecosystem to share and align information, including project addresses.☆12Sep 21, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Private treasuries enabled by ECDH and ZKPs☆17Mar 31, 2023Updated 2 years ago
- Stat-gram is microservice tool for Business and Influencers on Instagram platform that uses AI to help with Marketing and Management.☆11Jan 4, 2023Updated 3 years ago
- A modern food ordering application built with React Native (Expo), featuring smooth animations and gestures.☆19Jan 31, 2026Updated last month
- A set of tools to use Ring Signatures everywhere☆21Mar 30, 2025Updated last year
- ☆10Oct 30, 2023Updated 2 years ago
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆16Aug 10, 2022Updated 3 years ago
- QR designer web app with a novel method of designing qr codes that does not take advantage of error correction☆10Sep 24, 2024Updated last year