Foundational-TheoryFoundations for AI-Native Proof Systems Projects 2026-10-07Advanced Cryptography for AI Projects 2026-10-07