4 papers
Repeated-Game Security for Restaking-Based Verifiable Inference
Zhenhang Shang, Yingzhe Yu, Kani Chen
Restaking-based protocols enable verifiable LLM inference without the high proving cost of zkML or the hardware trust assumptions of TEEs. Their security is commonly justified by a…
RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups
Zhenhang Shang, Yingzhe Yu, Kani Chen
Optimistic rollups provide scalable smart-contract execution but remain unsuitable for regulated financial applications due to three structural gaps: semantic legitimacy, cross-lay…
Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines
Zhenhang Shang, Kani Chen
Randomness beacons based on Verifiable Delay Functions (VDFs) are increasingly proposed for blockchains and distributed systems, promising publicly verifiable delay and bias resist…
Fine-Tuning Integrity for Modern Neural Networks: Structured Drift Proofs via Norm, Rank, and Sparsity Certificates
Zhenhang Shang, Yingzhe Yu, Kani Chen
Fine-tuning is the dominant paradigm for adapting large machine learning models, yet current deployment pipelines provide no way to verify how a released model was updated. In part…