socathie / ZKaggleV2View external linksLinks
Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack
☆16Jul 12, 2023Updated 2 years ago
Alternatives and similar repositories for ZKaggleV2
Users that are interested in ZKaggleV2 are comparing it to the libraries listed below
Sorting:
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 2 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- ☆81Nov 17, 2020Updated 5 years ago
- zkp data market☆18Nov 19, 2021Updated 4 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Aug 14, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- ☆12Feb 3, 2022Updated 4 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- Private authentic photo sharing using ZKP☆25Apr 17, 2023Updated 2 years ago
- A Foundry template to compile and test Fe contracts.☆14Apr 6, 2023Updated 2 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- Solidity implementation of partial merkle tree for a light weight side chain execution verification☆12Apr 9, 2019Updated 6 years ago
- ☆12Jan 4, 2024Updated 2 years ago
- essentialist neural network transpiler for non-floating-point runtimes☆30Nov 7, 2022Updated 3 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- create metamorphic contracts using this template.☆14Mar 15, 2023Updated 2 years ago
- Bitcoin. Rust.☆10Feb 4, 2021Updated 5 years ago
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Feb 8, 2023Updated 3 years ago
- Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator☆13Mar 21, 2024Updated last year
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆37Updated this week
- optimized huff snippets☆20May 2, 2023Updated 2 years ago
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- ☆28Dec 8, 2021Updated 4 years ago
- ☆18Feb 10, 2023Updated 3 years ago
- Automate LPTs on destination chains using Hyperlane in Uniswap v4 Hooks☆15Jul 22, 2023Updated 2 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆17Nov 12, 2018Updated 7 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Apr 10, 2023Updated 2 years ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆16May 14, 2021Updated 4 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week