Server for ZKML
☆22Mar 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated last year
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 3 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 3 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- ☆11Apr 2, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆34Jan 4, 2024Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 3 years ago
- ☆17Mar 18, 2023Updated 3 years ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 4 years ago
- Client library for generating and using RLN ZK proofs☆31Oct 4, 2023Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 3 years ago
- ☆18Feb 13, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Dec 6, 2022Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 3 years ago
- A collection of technical notes from the Geometry research team.☆46Apr 17, 2023Updated 3 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 4 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆71Jun 11, 2024Updated 2 years ago
- Polynomials Identity Language☆70Feb 29, 2024Updated 2 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- Poseidon Rust library☆40Mar 13, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated last year
- ☆18Jul 11, 2025Updated last year
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38May 11, 2023Updated 3 years ago
- notes for community call for ZKML Community☆19Nov 9, 2022Updated 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
- Modular aggregated order book for CeFi exchanges☆14May 25, 2023Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- A flashloan module for Gnosis Safe.☆45Sep 15, 2021Updated 4 years ago
- A suite of contracts and utilities that enable cheaper transactions on Optimism (and other EVM-equivalent L2s)☆98Feb 7, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Herodotus EVM contracts☆17Sep 1, 2025Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits☆51Jul 7, 2026Updated 2 weeks ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆13Dec 29, 2022Updated 3 years ago
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- ☆13Mar 6, 2023Updated 3 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- smart contracts, front-end, and discord bot for a zero knowledge verification service☆14Mar 28, 2022Updated 4 years ago