Line coverage lies, so Mewt now mutates DAML contracts to smoke out missing auth and business-logic tests.

Need a browser IDE for smart contracts, with Monaco, wallet signing, testnet deploys, and a simulator?

HERTA applies FHE-specific metamorphic tests to real frameworks and shakes out 21 new bugs, because crypto libraries enjoy surprise.

Trail of Bits introduces Patch the Planet, a model-assisted security-patching effort for OSS crypto and infra, because humans were busy.

Can LLMs write PKCS#1 v1.5 compliance tests, or just hallucinate slightly more efficiently?