zator
by lyronctk
Verifying a 512-layer CNN w/ Nova
AI summary
Network verifier
This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.
- stars
- 160
- forks
- 13
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
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 verifier
A system for proving an inference pass for pre-trained neural networks on private inputs.
Neural network serialization standard
Defines a standard for serializing neural network inference processes into a graph of operator computational traces.
DNCs
An implementation of Differentiable Neural Computers and family for PyTorch, enabling scalable memory-augmented neural networks.
Network log analyzer
Tools for analyzing and processing large network traffic logs with machine learning and data analysis capabilities
Message passing abstraction
Decoupled Neural Interfaces using Synthetic Gradients for PyTorch
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
Neural network architecture
An implementation of a 1-bit weight neural network architecture using PyTorch
Neural net architecture
An implementation of a deep neural network architecture for image classification tasks
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
cell network inference tool
An R package that infers cell-cell communication and ligand-receptor-target networks from spatially resolved transcriptomic data
Hyperopt tuner
Automates hyperparameter optimization and neural network architecture search using Hyperopt on a CNN model for the CIFAR-100 dataset
Dilated RNNs
Implementations of Dilated Recurrent Neural Networks in PyTorch
Language model
An implementation of DeepMind's Relational Recurrent Neural Networks (Santoro et al. 2018) in PyTorch for word language modeling
CNN model
An implementation of a lightweight convolutional neural network architecture for mobile devices
Featured in 1 awesome list
Each link jumps to the spot where the list mentions zator.
