opening up zero knowledge proof technology
discovering cryptographic weaknesses with claude
verifying rust cryptography in symcrypt