全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

现代密码学

绪论信息安全三大核心要素（CIA三元组）是指：保密性、完整性、可用性系统保密性不依赖于加密体制或算法的保密，而依赖于密钥。被动攻击：获取信息内容；进行业务流分析（流量分析）主动攻击：伪装、重放、信息修改、拒绝服务信息系统的安全性：保密性、数据完整性、实体认证、消息认证、可用性、访问控制、可
密码  密码协议  密码学 

ZK纪事：电路（第一部分）

本文介绍了使用电路（特别是算术电路）来表示计算，并探讨了如何使用sum-check协议来证明电路满足性问题的计数版本（#SAT）。通过将布尔电路转换为算术电路，可以将电路中的门表示为多项式，从而可以使用sum-check协议来验证解的数量。
零知识证明  电路  算术电路  求和检查协议  电路满足性问题  #SAT 

安全研究人员的数学指南

本文深入探讨了对于现代安全研究人员而言至关重要的数学领域，包括线性代数、非线性建模、抽象代数、数论和数理逻辑。文章详细解释了这些数学概念在密码学、零知识证明系统、DeFi 协议分析、漏洞挖掘和形式化验证中的应用，并提供了进一步学习的资源。
线性代数  抽象代数  数论  SMT求解器  零知识证明  椭圆曲线