Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
publications
LigeSIS: Distribution-friendly Polynomial Commitment Based on Error-correcting Code
Submitted to USENIX Security (under review), 2026
This work proposes a distribution-friendly code-based multilinear PCS with sublinear cross-node communication and proof size independent of the number of machines.
zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof
Submitted to USENIX Security (under review), 2026
This work proves end-to-end LLM agent execution, including complete inference and tool interactions, with one-shot transcript proving for better scalability.