neural network inference standard for zero-knowledge-proof systems
ā34Oct 9, 2023Updated 2 years ago
Alternatives and similar repositories for tachikoma
Users that are interested in tachikoma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verifying a 512-layer CNN w/ Novaā173May 5, 2023Updated 3 years ago
- Version 2 of ZKaggle, š Finalist of ETHGlobal FVM Space Warp Hackā16Jul 12, 2023Updated 3 years ago
- essentialist neural network transpiler for non-floating-point runtimesā30Nov 7, 2022Updated 3 years ago
- ā27Oct 15, 2023Updated 2 years ago
- repository for machine learning algorithms and systems on emergent runtimesā21Jan 31, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI ⢠AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Gas-efficient and blazing fast proving for private signalingā81Feb 3, 2024Updated 2 years ago
- Danksharding Builder with GPU accelerationā52Sep 10, 2023Updated 2 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVMā16Jan 3, 2024Updated 2 years ago
- ā18Feb 13, 2023Updated 3 years ago
- notes for community call for ZKML Communityā19Nov 9, 2022Updated 3 years ago
- Benchmark of multiple zk implementations.ā83Aug 3, 2023Updated 3 years ago
- Nova: Recursive SNARKs without trusted setupā44Aug 21, 2023Updated 2 years ago
- š Finalist of ETHGlobal FVM Space Warp Hackā27Mar 4, 2023Updated 3 years ago
- DSL for Halo2 circuitsā189Nov 4, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI ⢠AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.ā18Sep 1, 2022Updated 3 years ago
- ā375May 17, 2024Updated 2 years ago
- Rescue and Poseidon hash function implementationsā44Aug 15, 2024Updated 2 years ago
- python tool to transpile a tf.keras model into a circom circuitā246Feb 12, 2024Updated 2 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.ā17Mar 23, 2023Updated 3 years ago
- Aggregator for amazing ZKML resourcesā416Apr 29, 2024Updated 2 years ago
- A repository for the Leela VS the World project for On-Chain machine learningā19Sep 26, 2024Updated last year
- An ABI compatible for KZG EIP-4844 in Rustā23Jun 2, 2023Updated 3 years ago
- Rust implementation for Verkle tree.ā15Apr 18, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer ⢠AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nova Verifier in Circom so it can be verified onChainā59Jun 9, 2023Updated 3 years ago
- Poseidon hash functionā79May 11, 2023Updated 3 years ago
- ā18Mar 8, 2023Updated 3 years ago
- zkSNARK circuits for the Telepathy protocolā53Aug 28, 2023Updated 2 years ago
- FHE in the Risc0 zkVMā25Nov 16, 2023Updated 2 years ago
- Scikit-learn compatible Python library for generating ZK proofs of executionā19Feb 19, 2025Updated last year
- ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Jā¦ā1,218Feb 20, 2026Updated 5 months ago
- Circom Circuits Library for Machine Learningā185Jun 19, 2024Updated 2 years ago
- repository for core circom and smart contractā13Apr 23, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer ⢠AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Artificial intelligence and zero knowledge.ā232Sep 23, 2025Updated 10 months ago
- DACO - Decentralized autonomous charity organizationā10Dec 11, 2017Updated 8 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.ā24Jul 20, 2022Updated 4 years ago
- A Foundry template to compile and test Fe contracts.ā14Apr 6, 2023Updated 3 years ago
- Template for zkGraph.ā19Mar 3, 2024Updated 2 years ago
- compiler tooling for Stark-based zkVMsā16Feb 6, 2023Updated 3 years ago
- Minimal template for using the Arbiter framework for simulations.ā46Jan 9, 2025Updated last year