Server for ZKML
☆21Mar 5, 2023Updated 3 years ago
Alternatives and similar repositories for zkml-server
Users that are interested in zkml-server are comparing it to the libraries listed below
Sorting:
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- ☆33Jan 4, 2024Updated 2 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆14Dec 29, 2022Updated 3 years ago
- ☆17Mar 18, 2023Updated 2 years ago
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 2 years ago
- notes for community call for ZKML Community☆19Nov 9, 2022Updated 3 years ago
- Client library for generating and using RLN ZK proofs☆31Oct 4, 2023Updated 2 years ago
- Poseidon Rust library☆39Mar 13, 2023Updated 2 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 3 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- Proof contribute to github using zk☆26Jul 17, 2023Updated 2 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Dec 6, 2022Updated 3 years ago
- ☆22Sep 1, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 2 years ago
- A flashloan module for Gnosis Safe.☆45Sep 15, 2021Updated 4 years ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Jun 11, 2024Updated last year
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 3 years ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆19Aug 15, 2023Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Polynomials Identity Language☆68Feb 29, 2024Updated 2 years ago
- Information about MatterLabs bounty program for ETH Lisbon 2022 hackathon☆10Dec 15, 2023Updated 2 years ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 3 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- ☆11Jan 17, 2024Updated 2 years ago
- Modular aggregated order book for CeFi exchanges☆13May 25, 2023Updated 2 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- ☆10Oct 2, 2021Updated 4 years ago