Zhenhang Shang

RegGuard is a unified framework that enhances optimistic rollups with three coordinated mechanisms—semantic validation, cross-layer state consistency checks, and fair ordering—to make them suitable for regulated financial applications.

This paper develops a formal economic framework to assess the security of VDF-based randomness beacons, demonstrating that many proposed delays are economically insecure due to rational, profit-motivated adversaries.

The paper introduces Fine-Tuning Integrity (FTI), a security goal that uses Succinct Model Difference Proofs (SMDPs) to cryptographically prove that a fine-tuned model update adheres to specific structural constraints (norm, rank, sparsity) without revealing the model's full details.