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
Sorting:
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- Danksharding Builder with GPU acceleration☆52Sep 10, 2023Updated 2 years ago
- ☆27Oct 15, 2023Updated 2 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- essentialist neural network transpiler for non-floating-point runtimes☆30Nov 7, 2022Updated 3 years ago
- notes for community call for ZKML Community☆18Nov 9, 2022Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- DSL for Halo2 circuits☆188Nov 4, 2024Updated last year
- A Foundry template to compile and test Fe contracts.☆14Apr 6, 2023Updated 2 years ago
- Decentralised Privacy-Preserving Contact Discovery☆18Jul 4, 2023Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆78Mar 1, 2026Updated last week
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 3 years ago
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- ☆26Nov 15, 2023Updated 2 years ago
- A multi-mode op-stack challenge agent for dispute games written in golang.☆30Apr 6, 2023Updated 2 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117May 6, 2024Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- Moved to https://github.com/ethereum/kzg-ceremony-sequencer☆17Sep 15, 2022Updated 3 years ago
- Rust implementation for Verkle tree.☆15Apr 18, 2022Updated 3 years ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆18Sep 1, 2022Updated 3 years ago
- Real-time bidding API scaffold for MevWallet transactions☆18Mar 5, 2023Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago