Bionetta: Efficient Client-Side Zero-Knowledge Machine Learning Proving
Fuente:
arXiv
Saved in:
| Main Authors: | Zakharov, Dmytro, Kurbatov, Oleksandr, Sdobnov, Artem, Soukhanov, Lev, Sekhin, Yevhenii, Volovyk, Vitalii, Velykodnyi, Mykhailo, Cherepovskyi, Mark, Baibula, Kyrylo, Antadze, Lasha, Kravchenko, Pavlo, Dubinin, Volodymyr, Panasenko, Yaroslav |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Wrapless: The trustless lending protocol on top of Bitcoin
by: Kurbatov, Oleksandr, et al.
Published: (2025)
by: Kurbatov, Oleksandr, et al.
Published: (2025)
Atlantis Protocol
by: Kurbatov, Oleksandr, et al.
Published: (2024)
by: Kurbatov, Oleksandr, et al.
Published: (2024)
Multichain Taprootized Atomic Swaps: Introducing Untraceability through Zero-Knowledge Proofs
by: Kurbatov, Oleksandr, et al.
Published: (2024)
by: Kurbatov, Oleksandr, et al.
Published: (2024)
Strong-Topology Limits and Norm Obstructions for Singular Density-Selected Phase Drives
by: Panasenko, Dmytro
Published: (2026)
by: Panasenko, Dmytro
Published: (2026)
Measurement as Interaction: A Unified Geometric Perspective
by: Panasenko, Dmytro
Published: (2025)
by: Panasenko, Dmytro
Published: (2025)
Graph-Schur Stability and Certified Rank Selection for Dipole–Quadrupole–Octupole BBGKY Correctors
by: Panasenko, Dmytro
Published: (2026)
by: Panasenko, Dmytro
Published: (2026)
Trap-Weighted Multipole Gram Certification: Finite-Depth Riesz Stability and Selection Rules
by: Panasenko, Dmytro
Published: (2026)
by: Panasenko, Dmytro
Published: (2026)
Numerical method for abstract Cauchy problem with nonlinear nonlocal condition
by: Makarov, Volodymyr, et al.
Published: (2024)
by: Makarov, Volodymyr, et al.
Published: (2024)
Production of Chern-Simons bosons in decays of mesons
by: Borysenkova, Yuliia, et al.
Published: (2021)
by: Borysenkova, Yuliia, et al.
Published: (2021)
Intelligent hyperspectral image processing for landmine detection and classification
by: Sineglazov, Victor, et al.
Published: (2024)
by: Sineglazov, Victor, et al.
Published: (2024)
Laparoscopic excision of a coil‐loaded ovarian vein for refractory pelvic pain after embolization: A case report
by: Mykhailo Medvediev, et al.
Published: (2026)
by: Mykhailo Medvediev, et al.
Published: (2026)
Preliminary Design Evaluation of Solid-Propellant Rocket Engines
by: Bondarenko, Mykola, et al.
Published: (2025)
by: Bondarenko, Mykola, et al.
Published: (2025)
Stationary Processes, Wiener-Granger Causality, and Matrix Spectral Factorization
by: Ephremidze, Lasha
Published: (2024)
by: Ephremidze, Lasha
Published: (2024)
A numerical algorithm for matrix spectral factorization on the real line
by: Ephremidze, Lasha
Published: (2024)
by: Ephremidze, Lasha
Published: (2024)
Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
by: Abzianidze, Lasha
Published: (2023)
by: Abzianidze, Lasha
Published: (2023)
A Timestamped Priority Note on Thermodynamic Verification Budgets and Mutual-Information Geometry in Relational Physics
by: Panasenko, Alexander
Published: (2026)
by: Panasenko, Alexander
Published: (2026)
Central orders in simple right-alternative superalgebras and right-symmetric algebras
by: Panasenko, A. S.
Published: (2025)
by: Panasenko, A. S.
Published: (2025)
On radicals of Novikov algebras
by: Panasenko, A. S.
Published: (2022)
by: Panasenko, A. S.
Published: (2022)
Radicals of Lie-solvable Novikov algebras
by: Panasenko, A. S.
Published: (2026)
by: Panasenko, A. S.
Published: (2026)
Rota-Baxter operators of weight zero on Cayley-Dickson algebra
by: Panasenko, A. S.
Published: (2024)
by: Panasenko, A. S.
Published: (2024)
Rota-Baxter operators of nonzero weight on the split Cayley-Dickson algebra
by: Panasenko, A. S.
Published: (2025)
by: Panasenko, A. S.
Published: (2025)
Steady state non-Newtonian flow with strain rate dependent viscosity in domains with cylindrical outlets to infinity
by: Grigory Panasenko
Published: (2021)
by: Grigory Panasenko
Published: (2021)
Unrecognizable Yet Identifiable: Image Distortion with Preserved Embeddings
by: Zakharov, Dmytro, et al.
Published: (2024)
by: Zakharov, Dmytro, et al.
Published: (2024)
Phenomenological Model of Electrotechnical Systems Based on a Synchronous Generator With an Excitation System
by: Volodymyr Moroz, et al.
Published: (2024)
by: Volodymyr Moroz, et al.
Published: (2024)
Atlantis Protocol Private Succinct Transfers On Public Networks
by: Kurbatov, Oleksandr
Published: (2025)
by: Kurbatov, Oleksandr
Published: (2025)
Figs 5–24 in Pselaphinae of the Russian Far East (Coleoptera: Staphylinidae) with comments about the current taxonomic status of the subfamily
by: Kurbatov, S. A.
Published: (2024)
by: Kurbatov, S. A.
Published: (2024)
Fig. 219 in Pselaphinae of the Russian Far East (Coleoptera: Staphylinidae) with comments about the current taxonomic status of the subfamily
by: Kurbatov, S. A.
Published: (2024)
by: Kurbatov, S. A.
Published: (2024)
Emulating OP_RAND in Bitcoin
by: Kurbatov, Oleksandr
Published: (2025)
by: Kurbatov, Oleksandr
Published: (2025)
Classification of War‐Induced Soil Contamination by the Type of Military Impact in Eastern Ukraine
by: Dmytro Hlavatskyi, et al.
Published: (2025)
by: Dmytro Hlavatskyi, et al.
Published: (2025)
Multi-Stage Segmentation and Cascade Classification Methods for Improving Cardiac MRI Analysis
by: Slobodzian, Vitalii, et al.
Published: (2024)
by: Slobodzian, Vitalii, et al.
Published: (2024)
Chiral phase memory of twisted light through multiple scattering
by: Meglinski, Igor, et al.
Published: (2026)
by: Meglinski, Igor, et al.
Published: (2026)
The Million-Label NER: Breaking Scale Barriers with GLiNER bi-encoder
by: Stepanov, Ihor, et al.
Published: (2026)
by: Stepanov, Ihor, et al.
Published: (2026)
Through Two Ports: A Minimally Invasive Approach to Ovariectomy in the Raccoon ( Procyon lotor (Linnaeus, 1758))
by: Lasha‐Giorgi Japaridze
Published: (2026)
by: Lasha‐Giorgi Japaridze
Published: (2026)
DISTRIBUTION OF BRANCHINECTA GAINI (ANOSTRACA, BRANCHINECTIDAE) ON THE ISLANDS OFF THE WEST COAST OF ANTARCTIC PENINSULA BASED ON THE 28TH UKRAINIAN ANTARCTIC EXPEDITION (2023–2024)
by: Nabokin, Mykhailo, et al.
Published: (2025)
by: Nabokin, Mykhailo, et al.
Published: (2025)
Linguistic Approach to Time Series Forecasting
by: Lande, Dmytro, et al.
Published: (2022)
by: Lande, Dmytro, et al.
Published: (2022)
Fluctuation-Dissipation Framework for Size-Dependent Surface Tension
by: Burian, Sergii, et al.
Published: (2026)
by: Burian, Sergii, et al.
Published: (2026)
Lysine Acetylation of Plant α‐Tubulins: Scaling Up the Local Effect to Large System Transformations
by: Alexey Rayevsky, et al.
Published: (2025)
by: Alexey Rayevsky, et al.
Published: (2025)
OSeMOSYS-Zambia transport data
by: Millot, Ariane, et al.
Published: (2026)
by: Millot, Ariane, et al.
Published: (2026)
Annotated record and Radium content of the detailed examination of manganese nodules from lakes and peripheral waters of Russia as well as the Pacific Ocean
by: Kurbatov, L M
Published: (1937)
by: Kurbatov, L M
Published: (1937)
Annotated record of the detailed examination of manganese nodules from the Kara Sea and a lake in Karelia
by: Kurbatov, L M
Published: (1936)
by: Kurbatov, L M
Published: (1936)
Similar Items
-
Wrapless: The trustless lending protocol on top of Bitcoin
by: Kurbatov, Oleksandr, et al.
Published: (2025) -
Atlantis Protocol
by: Kurbatov, Oleksandr, et al.
Published: (2024) -
Multichain Taprootized Atomic Swaps: Introducing Untraceability through Zero-Knowledge Proofs
by: Kurbatov, Oleksandr, et al.
Published: (2024) -
Strong-Topology Limits and Norm Obstructions for Singular Density-Selected Phase Drives
by: Panasenko, Dmytro
Published: (2026) -
Measurement as Interaction: A Unified Geometric Perspective
by: Panasenko, Dmytro
Published: (2025)