delta-mpc / delta-zkView external linksLinks
The zero knowledge proof system used in Delta.
☆13Mar 17, 2023Updated 2 years ago
Alternatives and similar repositories for delta-zk
Users that are interested in delta-zk are comparing it to the libraries listed below
Sorting:
- Delta Development Documentation☆24Jun 8, 2023Updated 2 years ago
- Digital Assets Private Publication and Authorization on Blockchain using ZKP☆10Jan 24, 2023Updated 3 years ago
- A guild to build simple zk rollup☆59Aug 23, 2022Updated 3 years ago
- 👾自学三天,我重新开发了口袋48☆13Nov 24, 2025Updated 2 months ago
- ZK-based engine for self-sovereign SQL queries☆90Jul 28, 2022Updated 3 years ago
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- ☆10Jul 22, 2024Updated last year
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Primas Node API Documentation☆12Nov 15, 2018Updated 7 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆41Apr 1, 2024Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Updated this week
- ☆13Oct 9, 2024Updated last year
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated last year
- Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"☆11Dec 20, 2022Updated 3 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.☆16Oct 15, 2024Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated last year
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- A Framework for Machine Learning on Encrypted Data☆12Feb 10, 2022Updated 4 years ago
- Implementation for the protocols described in https://eprint.iacr.org/2023/1700☆14Jan 9, 2025Updated last year
- ☆10Mar 31, 2023Updated 2 years ago
- A ERC998 Top Down Composable and Enumerable Contract with tests for Solidity ^0.8.0☆10Jan 26, 2022Updated 4 years ago
- ☆12Nov 26, 2019Updated 6 years ago
- An implementation of vdist2vec model in paper A Learning Based Approach to Predict Shortest-Path Distances☆11Apr 8, 2022Updated 3 years ago
- The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.☆11Oct 3, 2025Updated 4 months ago
- Machine Learning meets eBPF☆15Apr 24, 2023Updated 2 years ago
- [NeurIPS 2023] and [ICLR 2024] for robustness certification.☆10Nov 30, 2024Updated last year
- Scripts for drawing figures in your paper☆10Jan 8, 2025Updated last year
- Citerus retrieves your cryptographic citations.☆12Oct 24, 2024Updated last year
- ☆12May 30, 2024Updated last year
- Reimplemented LedgerDB and QLDB☆13Mar 3, 2024Updated last year
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- this will be used for attack graph engine MulVAL to evaluate risk assessment results for different network topologies.☆12Feb 23, 2016Updated 9 years ago
- Generate text images for training deep learning ocr model☆10Oct 22, 2018Updated 7 years ago