2 papers
cs.GT2025
A Protocol for Trustless Verification Under Uncertainty
David Shi, Kevin Joo
Correctness is an emergent property of systems where exposing error is cheaper than committing it. In dynamic, low-trust environments, autonomous AI agents benefit from delegating…
cs.CR2025
Sybil-Resistant Service Discovery for Agent Economies
David Shi, Kevin Joo
x402 enables Hypertext Transfer Protocol (HTTP) services like application programming interfaces (APIs), data feeds, and inference providers to accept cryptocurrency payments for a…