4 papers
Intertemporal Pricing of Time-Bound Stablecoins: Measuring and Controlling the Liquidity-of-Time Premium
Ailiya Borjigin, Cong He
Time-bound stablecoins are DeFi assets that temporarily tokenize traditional securities during market off-hours, enabling continuous cross-market liquidity. We introduce the Liquid…
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
Ailiya Borjigin, Cong He
We present a cross-market algorithmic trading system that balances execution quality with rigorous compliance enforcement. The architecture comprises a high-level planner, a reinfo…
Proof-of-Behavior: Behavior-Driven Consensus for Trustworthy Decentralized Finance
Ailiya Borjigin, Wei Zhou, Cong He
Current blockchain protocols (e.g., Proof-of-Work and Proof-of-Stake) secure the ledger yet cannot measure validator trustworthiness, allowing subtle misconduct that is especially…
EnPAC: Petri Net Model Checking for Linear Temporal Logic
Zhijun Ding, Cong He, Shuo Li
State generation and exploration (counterexample search) are two cores of explicit-state Petri net model checking for linear temporal logic (LTL). Traditional state generation upda…