Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
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…
cs.CR2026
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…
cs.CR2026
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…