zator
Network verifier
This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.
Verifying a 512-layer CNN w/ Nova
160 stars
6 watching
13 forks
Language: Circom
last commit: almost 2 years ago
Linked from 1 awesome list
worldcoin/awesome-zkmlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 73 |
 zkp-gravity/0g | A system for proving an inference pass for pre-trained neural networks on private inputs. | 40 |
 zk-ml/tachikoma | Defines a standard for serializing neural network inference processes into a graph of operator computational traces. | 33 |
 ixaxaar/pytorch-dnc | An implementation of Differentiable Neural Computers and family for PyTorch, enabling scalable memory-augmented neural networks. | 338 |
 supercowpowers/zat | Tools for analyzing and processing large network traffic logs with machine learning and data analysis capabilities | 428 |
 koz4k/dni-pytorch | Decoupled Neural Interfaces using Synthetic Gradients for PyTorch | 236 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 szagoruyko/binary-wide-resnet | An implementation of a 1-bit weight neural network architecture using PyTorch | 124 |
 dyhan0920/pyramidnet-pytorch | An implementation of a deep neural network architecture for image classification tasks | 273 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 zjufanlab/spatalk | An R package that infers cell-cell communication and ligand-receptor-target networks from spatially resolved transcriptomic data | 61 |
 guillaume-chevalier/hyperopt-keras-cnn-cifar-100 | Automates hyperparameter optimization and neural network architecture search using Hyperopt on a CNN model for the CIFAR-100 dataset | 106 |
 zalandoresearch/pytorch-dilated-rnn | Implementations of Dilated Recurrent Neural Networks in PyTorch | 211 |
 l0sg/relational-rnn-pytorch | An implementation of DeepMind's Relational Recurrent Neural Networks (Santoro et al. 2018) in PyTorch for word language modeling | 245 |
 randl/shufflenetv2-pytorch | An implementation of a lightweight convolutional neural network architecture for mobile devices | 191 |