Yhn BusinessCrypto first seen 14 h ago, last 59 min ago, peak #9
Can AI Slop Produce High-Assurance Cryptography?
Original: Can You Slop Out High-Assurance Cryptography?
A new essay asks whether large language models can produce high-assurance cryptography — code whose correctness and security must be proven to an extremely high standard, as used in formal verification work like HACL* and Fiat Crypto. The piece examines whether AI-generated code can meet the rigor that verified cryptographic implementations demand, a question drawing attention among security engineers debating how far AI coding tools can be trusted in safety-critical systems.
Why now: Debate over whether AI-generated code can meet the rigorous formal-verification standards required for cryptographic implementations
high-assurance cryptographyLLMsHACL*Fiat Crypto
Evidence
- Can You Slop Out High-Assurance Cryptography? · tptacek · 7
API: https://socialmediatrends-api.osmike.com/v1/trends/3188823