tachikoma
Neural network serialization standard
Defines a standard for serializing neural network inference processes into a graph of operator computational traces.
neural network inference standard for zero-knowledge-proof systems
33 stars
2 watching
2 forks
Language: Python
last commit: over 1 year ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| zk-ml/uchikoma | A tool that translates neural network code into languages that can run on devices without floating-point operations. | 29 |
 zkp-gravity/0g | A system for proving an inference pass for pre-trained neural networks on private inputs. | 40 |
 tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 73 |
 molcik/python-neuron | A Python library for implementing and training various neural network architectures | 40 |
| zk-ml/research | Research on integrating machine learning with emergent runtimes to improve performance and security. | 22 |
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 172 |
 szagoruyko/binary-wide-resnet | An implementation of a 1-bit weight neural network architecture using PyTorch | 124 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 121 |
 zhegan27/tsbn_code_nips2015 | This Matlab code implements a deep learning model for sequence modeling using a novel belief network architecture. | 48 |
 vsitzmann/siren | An implementation of a neural network architecture for implicit function representation learning using periodic activation functions. | 1,776 |
 lyronctk/zator | This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity. | 160 |
 neuralmagic/sparseml | Enables the creation of smaller neural network models through efficient pruning and quantization techniques | 2,083 |
 kefirski/bytenet | A Pytorch implementation of a neural network model for machine translation | 47 |
 ahmedfgad/numpyann | An implementation of artificial neural networks using NumPy | 98 |
| zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 214 |