Backend
ToxiEval-ZKP: A Structure-Private Verification Framework for Molecular Toxicity Repair Tasks
arXiv cs.CR0 views
arXiv:2508.12035v3 Announce Type: replace Abstract: In recent years, generative artificial intelligence (GenAI) has demonstrated remarkable capabilities in high-stakes domains such as molecular science. However, challenges related to the verifiability and structural privacy of its outputs remain largely unresolved. This paper focuses on the task of molecular toxicity repair. It proposes a structure-private verification framework - ToxiEval-ZKP - which, for the first time, introduces zero-knowledge proof (ZKP) mechanisms into the evaluation process of this task. The system enables model developers to demonstrate to external verifiers that the generated molecules meet multidimensional toxicity repair criteria, without revealing the molecular structures themselves. To this end, we design a general-purpose circuit compatible with both classification and regression tasks, incorporating evaluation logic, Poseidon-based commitment hashing, and a nullifier-based replay prevention mechanism to build a complete end-to-end ZK verification system. Experimental results demonstrate that ToxiEval-ZKP facilitates adequate validation under complete structural invisibility, offering strong circuit efficiency, security, and adaptability, thereby opening up a novel paradigm for trustworthy evaluation in generative scientific tasks.
Source:https://arxiv.org/abs/2508.12035PreviousDUP: Detection-guided Unlearning for Backdoor Purification in Language ModelsNextRethinking Reasoning: A Survey on Reasoning-based Backdoors in LLMs
Related posts
Quantum estimates for classical polynomial optimization
0arXiv cs.NA
A Tensor-Network Chebyshev--Galerkin Method for Boundary-Value Problems in Computational Mechanics
0arXiv cs.NA
Linear adaptive variable time step schemes for the anisotropic phase field dendritic crystal growth model
0arXiv cs.NA
Magnetic Bloch eigenvalue problems in nonuniform periodic magnetic fields: a Fourier-finite difference approach
0arXiv cs.NA
Phantoms and Disclosures: A Statistical Framework for Auditing Privacy in Synthetic Data
0arXiv stat.ML
When the Agent Learns Too: Learning to Incentivize with Unobserved Rewards
0arXiv stat.ML