An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
☆42Mar 19, 2026Updated last month
Alternatives and similar repositories for DiStefano
Users that are interested in DiStefano are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- client side proving☆38Mar 12, 2025Updated last year
- Pointcheval Sanders signature☆27Mar 16, 2026Updated last month
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- ☆12May 22, 2023Updated 2 years 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.
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 2 months ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆56Feb 26, 2025Updated last year
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆33Nov 13, 2025Updated 5 months ago
- ☆25Jul 16, 2022Updated 3 years ago
- Noir implementation of RSA-verify☆42Dec 20, 2023Updated 2 years ago
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- Delay Function Verification Smart Contract☆28May 4, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ring-vrf ring proof v2.5☆20Apr 26, 2026Updated last week
- The repo of "Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference" (USENIX Security 2023)☆21Jun 27, 2023Updated 2 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Apr 30, 2026Updated last week
- ☆19Mar 15, 2024Updated 2 years ago
- Benchmark of ZKVMs and Proving Schemes☆34Apr 13, 2026Updated 3 weeks ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 9 months ago
- ☆72Sep 29, 2022Updated 3 years ago
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆29Jun 4, 2025Updated 11 months ago
- FHE library☆25Apr 19, 2024Updated 2 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.
- Deployments of fancy cryptography☆239Apr 13, 2026Updated 3 weeks ago
- MerkleTree compatible with circomlib☆12May 1, 2026Updated last week
- implentation of Ligerito☆19Apr 16, 2026Updated 3 weeks ago
- zk hacker house taiwan project☆12Mar 14, 2024Updated 2 years ago
- ☆25Sep 25, 2024Updated last year
- ☆23Jan 21, 2019Updated 7 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated last year
- Secure Aggregation for Federated Learning with Malicious Actors☆26Dec 6, 2022Updated 3 years ago
- A trust-minimized cross-chain execution environment.☆15Oct 8, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- stone-cli is a CLI for proving and verifying Cairo programs.☆25Aug 7, 2025Updated 9 months ago
- Precio is a Rust library that implements the Precio protocol for computing private layered histograms and sums.☆20Apr 23, 2026Updated 2 weeks ago
- ☆29Sep 18, 2024Updated last year
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- MCSI☆13Nov 2, 2021Updated 4 years ago
- Materials and slides for talks I've given in the past☆14Feb 20, 2026Updated 2 months ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago