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…
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…
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…