{"type":"link","version":"1.0","title":"文章为密码学工程师介绍 Lean 4… · Introduction to… | HotDaily","description":"文章为密码学工程师介绍 Lean 4 证明助手，计划将 Boneh & Shoup 书中 Shannon Cipher 定义和 OTP 协议形式化。教程从…","url":"https://hotdaily.top/item/65747cfd-bf6b-4470-bd10-9179698bbc3d","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}