Benchmarks

Leveraging ZK-SNARKs (zero-knowledge succinct non-interactive argument of knowledge), we demonstrate their versatility across a range of applications. Specifically, we illustrate how to utilize ZK-SNARKs to authenticate the execution of machine learning models. Why EZKL?

• Convert an ONNX model into a ZKP

• Apache 2.0 Open Source License

• Inference Labs is a contributor

• Prove + verify at command-line (or binary, contract, WASM)

• Regularly updating with new layers, suitable for compact production models

• Performance improvements

NanoGPT A neural network model created by Andrej Karpathy for generating text, similar to GPT-3. The main purpose is to demonstrate compressing a self-attention model small enough to run efficiently in a browser or other edge contexts.

https://github.com/karpathy/nanoGPT Hardware Google Cloud 28 cores 448GB RAM 500GB SSD Our Progress The latest update focused on optimizing sparsity issues. Essentially, certain neural networks may contain redundant computations at various stages (consistently producing zeros). These inefficiencies have been addressed and improved in the most recent version.

In the span of less than a month we have observed a 30% increase in efficiency on implementation optimizations alone.

Next Steps Optimize and reduce proving times and memory consumption while generalizing model support.