zkvot - World's first fully live anonymous voting application!
☆23Mar 23, 2025Updated 11 months ago
Alternatives and similar repositories for zkvot
Users that are interested in zkvot are comparing it to the libraries listed below
Sorting:
- ☆11Jan 17, 2024Updated 2 years ago
- ☆12Jun 29, 2022Updated 3 years ago
- ☆13Jan 22, 2024Updated 2 years ago
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 11 months ago
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Jul 21, 2025Updated 7 months ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Dec 2, 2024Updated last year
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- Klein☆16Apr 2, 2024Updated last year
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 5 months ago
- ☆26Dec 4, 2024Updated last year
- DEPRECATED. world-tree repository☆35Dec 3, 2025Updated 2 months ago
- The official LLVM OCaml binding but built using dune☆25Feb 8, 2025Updated last year
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Jan 15, 2026Updated last month
- ☆21Jan 3, 2025Updated last year
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 3 months ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆23Oct 20, 2023Updated 2 years ago
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆120Feb 19, 2026Updated last week
- An interactive tutorial to get you up and running with Noir☆29Aug 28, 2025Updated 6 months ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Progressive Mina Protocol Wallet☆32Sep 4, 2025Updated 5 months ago
- ☆30Updated this week
- Zeko: zk-Rollup for Mina, a succinct blockchain☆34Feb 19, 2026Updated last week
- ☆46Dec 10, 2025Updated 2 months ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Nov 21, 2024Updated last year
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Dec 11, 2025Updated 2 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Feb 20, 2026Updated last week
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated 11 months ago
- Audit reports can be found at https://docs.lighter.xyz/security/security-audits☆60Feb 20, 2026Updated last week
- ☆37Nov 7, 2023Updated 2 years ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆52Feb 9, 2026Updated 3 weeks ago
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 7 months ago
- Rust binary responsible for signups on the orb☆40Jan 6, 2026Updated last month
- Secure personal genomics using cryptography☆11Oct 9, 2025Updated 4 months ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- Typescript abstractions over Rust crypto library's WASM wrapper☆35Dec 18, 2025Updated 2 months ago
- ☆60Feb 16, 2026Updated last week
- A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.☆39May 2, 2023Updated 2 years ago