Media Summary: EIP-2537 is a proposal to adds operation on BLS12-381 curve as a precompile in a set necessary to efficiently perform operations ... Nearly everybody relies on cryptographic libraries such as OpenSSL, but how can we be sure they are secure and bug-free? What if understanding a codebase were a build artifact —
Pldi 23 Cryptopt Verified Compilation - Detailed Analysis & Overview
EIP-2537 is a proposal to adds operation on BLS12-381 curve as a precompile in a set necessary to efficiently perform operations ... Nearly everybody relies on cryptographic libraries such as OpenSSL, but how can we be sure they are secure and bug-free? What if understanding a codebase were a build artifact — 00:00 - Intro 00:16 - Callback to challenge 9 00:48 - Reviewing strip_pkcs7() 01:30 - Copying in test vectors 03:08 - Refactoring ...
![[PLDI'23] CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives](https://i.ytimg.com/vi/9JWM28-QEXs/mqdefault.jpg)
![[PEPM'23] Fast Cryptographic Code via Partial Evaluation](https://i.ytimg.com/vi/ovr9AfpbqhY/mqdefault.jpg)
