Bionetta: Efficient Client-Side Zero-Knowledge Machine Learning Proving

Dmytro Zakharov, Oleksandr Kurbatov, Artem Sdobnov, Lev Soukhanov, Yevhenii Sekhin +8 more
10/8/2025
cs.CRcs.CV

No confident code implementation found for this paper.

Abstract

In this report, we compare the performance of our UltraGroth-based zero-knowledge machine learning framework Bionetta to other tools of similar purpose such as EZKL, Lagrange's deep-prove, or zkml. The results show a significant boost in the proving time for custom-crafted neural networks: they can be proven even on mobile devices, enabling numerous client-side proving applications. While our scheme increases the cost of one-time preprocessing steps, such as circuit compilation and generating trusted setup, our approach is, to the best of our knowledge, the only one that is deployable on the native EVM smart contracts without overwhelming proof size and verification overheads.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation

83% match2025

zkLLM: Zero Knowledge Proofs for Large Language Models

81% match1 repo622024

Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge

80% match2026

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark

79% match2026

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis

79% match1 repo152025

Tiny Machine Learning: Progress and Futures

79% match1 repo7042024

Cite this paper

@article{zakharov2025bionetta,
  title  = {Bionetta: Efficient Client-Side Zero-Knowledge Machine Learning Proving},
  author = {Dmytro Zakharov and Oleksandr Kurbatov and Artem Sdobnov and Lev Soukhanov and Yevhenii Sekhin and Vitalii Volovyk and Mykhailo Velykodnyi and Mark Cherepovskyi and Kyrylo Baibula and Lasha Antadze and Pavlo Kravchenko and Volodymyr Dubinin and Yaroslav Panasenko},
  year   = {2025},
  eprint = {2510.06784},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2510.06784v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2510.06784.svg)](https://codeofpaper.com/paper/2510.06784)

Discussion