π Finalist at Ethglobal Paris'23 Hackathon π
β28Feb 14, 2024Updated 2 years ago
Alternatives and similar repositories for solver
Users that are interested in solver are comparing it to the libraries listed below
Sorting:
- Wordle Game Implemented with Optimintβ15Apr 3, 2024Updated last year
- ZKsync SSO SDKβ17Updated this week
- PHP long connection proxy, eliminates short links and reduces request latencyβ20Oct 4, 2023Updated 2 years ago
- β16Mar 4, 2026Updated 2 weeks ago
- Code Merklization and other approaches to reducing the code contribution to witness sizeβ14Jun 24, 2024Updated last year
- β26Jul 17, 2024Updated last year
- β15Jan 25, 2022Updated 4 years ago
- A trusted AI Model Context Protocol (MCP) runtime for secure, decentralized AI tools and services.β22Mar 7, 2026Updated 2 weeks ago
- The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is wβ¦β15Dec 10, 2021Updated 4 years ago
- Cross-platform file sharig application for desktop and mobile devicesβ11May 2, 2024Updated last year
- β13Apr 9, 2025Updated 11 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVMβ16Jan 3, 2024Updated 2 years ago
- Step by step implementation of KZGβ19Sep 29, 2024Updated last year
- ι²η - a hackathon project for eth waterlooβ17Jul 12, 2023Updated 2 years ago
- β13Oct 22, 2023Updated 2 years ago
- Implementation of nitro-protocol in Goβ46Jun 17, 2024Updated last year
- β11Jan 27, 2021Updated 5 years ago
- Concept for the SBT standard interface and implementation that enable graph traversal.β11May 27, 2022Updated 3 years ago
- Every 3 days Personal-Runway predicts what my bank account will look like in two weeks and sends me an email. Income is gleamed from my Tβ¦β29Nov 26, 2014Updated 11 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chainβ39Jul 27, 2023Updated 2 years ago
- Zero-Knowledge dApp Boilerplateβ24Mar 8, 2023Updated 3 years ago
- β13Sep 14, 2023Updated 2 years ago
- A monorepo of reusable contracts for zero-knowledge technologies.β20Jun 12, 2025Updated 9 months ago
- Service that manages Push Notifications between Safe ownersβ13Jun 26, 2024Updated last year
- RAILGUN Circuits V2β24Mar 3, 2026Updated 2 weeks ago
- A LLM-based solver implementation for an intent-centric future on Ethereum.β13Sep 24, 2023Updated 2 years ago
- A todo list for making bitvm greatβ24Oct 23, 2023Updated 2 years ago
- ππ ZK Microphone: Trusted audio in the age of deepfakes ππ Generative AI is a threat to society. It enables disinformation, manipulatβ¦β92Jul 23, 2023Updated 2 years ago
- Simple CLI for querying and editing TOML filesβ18Feb 23, 2026Updated 3 weeks ago
- β12Nov 29, 2023Updated 2 years ago
- β14Jan 7, 2023Updated 3 years ago
- β13Dec 3, 2022Updated 3 years ago
- A simple CLI wrapper around Foundry and jq to debug UserOpsβ17Mar 26, 2024Updated last year
- The most gas optimized ERC-4337 account - written in Huffβ43Sep 21, 2023Updated 2 years ago
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchainβ53Jun 7, 2019Updated 6 years ago
- β15May 3, 2024Updated last year
- Cupcakes SDK to allow developers access to Authentication & Smart Contract Walletsβ12Sep 25, 2022Updated 3 years ago
- Helper functions for saving text in Keychain securely for iOS, OS X, tvOS and watchOS.β13Jun 5, 2023Updated 2 years ago
- decentralized, distributed, peer-to-peer relational database for web3β36Mar 7, 2023Updated 3 years ago