Kryha / boloney
The classical game of Liar's Dice enhanced with the usage of Zero-Knowledge Proof
☆21Updated last year
Related projects: ⓘ
- Curated list of ZKML models and use cases made with Giza☆44Updated 3 months ago
- An onchain adaptation of the classic Drug Wars game☆61Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆62Updated this week
- ☆16Updated 3 months ago
- ☆40Updated 5 months ago
- Verifiable state manager for React based on o1js & Mina protocol☆10Updated last year
- An Attestation Registry for securely using Smart Account Modules☆39Updated 3 weeks ago
- ☆83Updated 11 months ago
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- ☆13Updated this week
- Examples of using Polygon Miden☆17Updated last month
- ☆45Updated this week
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- Secure-Signer☆56Updated 4 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated 11 months ago
- Core components of the Polygon Miden rollup☆67Updated this week
- Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator☆12Updated 6 months ago
- ☆23Updated 8 months ago
- semaphore-mtb repository☆30Updated last month
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆43Updated 10 months ago
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated 4 months ago
- ☆20Updated last week
- A stablecoin-based zkprotocol designed for simplicity, privacy and utility☆74Updated last week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆21Updated this week
- ☆19Updated last month
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆89Updated last year
- Client library that facilitates interaction with the Miden rollup☆32Updated this week
- CLI tool to develop Starknet projects written in Cairo☆56Updated 9 months ago
- Learn how to build and deploy StarkNet Accounts☆85Updated last year