Posts by Collection

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.

Hancheng Lou

Posts by Collection

publications

LigeSIS: Distribution-friendly Polynomial Commitment Based on Error-correcting Code

zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof