ZK ElGamal Proof Program on Solana
☆26Feb 25, 2026Updated last week
Alternatives and similar repositories for zk-elgamal-proof
Users that are interested in zk-elgamal-proof are comparing it to the libraries listed below
Sorting:
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- a series of runtime upgrade proposals for Polkadot's monetary policy☆10Sep 27, 2019Updated 6 years ago
- Substrate DAO Management☆13Sep 30, 2019Updated 6 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- ☆31Nov 8, 2024Updated last year
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 3 months ago
- Main repository for the Logchain as a Service platform☆11Dec 8, 2022Updated 3 years ago
- A Rust HashMap implementation with copy-on-write keys and values☆32Sep 3, 2019Updated 6 years ago
- Off-chain services for the Gnosis Protocol v1.☆31Jun 17, 2022Updated 3 years ago
- Non rebasing M token alternative with additional possibility to preserve and forward yield to earners☆13Feb 13, 2026Updated 3 weeks ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- ☆14Feb 27, 2026Updated last week
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- An I/O-oriented tokio runtime thread pool☆48Apr 7, 2020Updated 5 years ago
- notes, ideas and whatnot☆42Dec 1, 2021Updated 4 years ago
- A Rust-based end-to-end demo on Confidential Transfers☆54Jan 14, 2026Updated last month
- A pallet/runtime module for Substrate with multisig functionality with a static `AccountId` and a dynamic `threshold` and set of `signato…☆10Dec 3, 2020Updated 5 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- Package vxlan implements marshaling and unmarshaling of Virtual eXtensible Local Area Network (VXLAN) frames, as described in RFC 7348. …☆11Apr 20, 2016Updated 9 years ago
- ☆13May 5, 2018Updated 7 years ago
- Implementation of Transfers in the SAFE Network.☆10Jun 25, 2021Updated 4 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- 柠檬五码是一款自由的简单易学的开源音形输入法，由柠檬设计并制作~☆12Sep 27, 2022Updated 3 years ago
- A Rust implementation of the Handshake and Lightning Network secure messaging protocol - based on Noise.☆13Dec 9, 2019Updated 6 years ago
- ☆12Apr 1, 2025Updated 11 months ago
- Making me more antisocial and weird.☆10Oct 6, 2020Updated 5 years ago
- A wait-free, pseudo-static approach toward concurrency in blockchain runtimes 🚀.☆11Jul 23, 2022Updated 3 years ago
- LeetCode problems solved in Go.☆10Jul 22, 2019Updated 6 years ago
- JSON-RPC 2 transport-agnostic library☆13Jan 6, 2023Updated 3 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- ☆20Jan 30, 2026Updated last month
- Apache Hadoop HDFS Data Node Scheduler☆13Jun 4, 2016Updated 9 years ago
- An experimental project to enable writing Substrate integration tests easily.☆12Mar 25, 2023Updated 2 years ago