AgentPayment Development Updates — April 3, 2026
By Stephanie GoodmanApril 3, 2026
Our applied AI team shipped major improvements to the formal verification tooling, including enhanced proof compilation with Rust, C, and WebAssembly output support.
NewsDevelopment Updates
AgentPMT Development Update — April 3, 2026
Here's what we shipped today.
Updates
- Improved the formal verification service with more reliable conversions from Lean proofs to Rust, C, and WebAssembly output formats
- Added direct inline input support for the Lean proof compiler, making it easier to submit proofs for verification
- Enhanced the proof compiler handoff process for smoother end-to-end compilation workflows
- Added comprehensive behavioral analysis and end-to-end testing for the proof code compiler to ensure consistent, reliable results