LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
-
Updated
Sep 28, 2026 - Python
#
provable-security
Here are 6 public repositories matching this topic...
[ECCV 2024 - Oral] Official PyTorch Implementation of "Adversarial Robustification via Text-to-Image Diffusion Models"
-
Updated
Aug 17, 2024 - Python
Browser-based security-game lab — IND-CPA, CCA2, EUF-CMA, and the PRP/PRF switching lemma measured as Adv = 2·wins/trials − 1 over real AES, RSA-2048, ElGamal, ECDSA, and Ed25519, with Wilson intervals and a flat histogram that proves nothing.
cryptography aes ecdsa crypto-lab provable-security security-games ind-cpa cryptography-education euf-cma switching-lemma
-
Updated
Sep 25, 2026 - TypeScript
🔍 Generate STARK proofs from ZK IR execution traces using a multi-chip architecture optimized for 32-bit integers and the Baby Bear field.
cryptography privacy peer-to-peer ethereum smart-contracts blockchain cryptographic-algorithms zero-knowledge consensus-algorithms provable-security zk-snark decentralized-apps scalable-solutions validation-tools zk-proof-systems
-
Updated
Sep 27, 2026 - Rust
Add this topic to your repo
To associate your repository with the provable-security topic, visit your repo's landing page and select "manage topics."