tachikoma
by zk-ml
neural network inference standard for zero-knowledge-proof systems
AI summary
Neural network serialization standard
Defines a standard for serializing neural network inference processes into a graph of operator computational traces.
- stars
- 33
- forks
- 2
- watching
- 2
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Neural network translator
A tool that translates neural network code into languages that can run on devices without floating-point operations.
Neural network verifier
A system for proving an inference pass for pre-trained neural networks on private inputs.
CNN snark
An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations.
Neural Network Library
A Python library for implementing and training various neural network architectures
Machine Learning Engine
Research on integrating machine learning with emergent runtimes to improve performance and security.
Zero knowledge verification
A system to verify neural networks in zero-knowledge proofs using cryptographic techniques
Neural network architecture
An implementation of a 1-bit weight neural network architecture using PyTorch
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
Belief Network Model
This Matlab code implements a deep learning model for sequence modeling using a novel belief network architecture.
vsitzmann/siren1.8K
Neural network model
An implementation of a neural network architecture for implicit function representation learning using periodic activation functions.
Network verifier
This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.
Model optimizer
Enables the creation of smaller neural network models through efficient pruning and quantization techniques
Machine translation model
A Pytorch implementation of a neural network model for machine translation
Neural network library
An implementation of artificial neural networks using NumPy
Verification tool
Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof
Featured in 1 awesome list
Each link jumps to the spot where the list mentions tachikoma.