A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.
☆15Oct 29, 2024Updated last year
Alternatives and similar repositories for blind-find
Users that are interested in blind-find are comparing it to the libraries listed below
Sorting:
- ☆23Jul 15, 2023Updated 2 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆18Jan 6, 2023Updated 3 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 4 years ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 7 months ago
- Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.☆220Jan 24, 2023Updated 3 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Jan 24, 2023Updated 3 years ago
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 8 months ago
- Workbook for Introduction to Programmable Cryptography☆34May 3, 2025Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits☆94Mar 13, 2024Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- Subscribe to Ethereum events on-chain☆12Oct 20, 2021Updated 4 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- The Decentralized Protocol for Interest-Rate Derivatives & Fixed-Rate Lending☆11May 7, 2021Updated 4 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Community edition of Nightfall_4☆16Updated this week
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆46Jan 22, 2024Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Nov 1, 2019Updated 6 years ago
- Traversals in Rust☆21Oct 10, 2016Updated 9 years ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- Ethereum keystore generator and reader☆11Aug 24, 2020Updated 5 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Type-Level Arithmetic in Rust☆10Jan 11, 2016Updated 10 years ago
- Scaffold ETH 2 + MACI Voting Template☆11Sep 25, 2024Updated last year
- Go implementation of MEV-Extract for Ethereum☆12Dec 17, 2022Updated 3 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 3 years ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- ☆11Sep 10, 2024Updated last year
- ☆12Nov 26, 2019Updated 6 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- The hello-world of MPC.☆14Jun 16, 2025Updated 8 months ago
- Wrapper for The Central Bank of the Russian Federation site API☆11Dec 8, 2024Updated last year
- Backup system for system administrators who require reliable backups with minimum fuss.☆22Jan 1, 2026Updated 2 months ago