密码学工具:从机密性到可验证信任 | 自在学