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

TFHE 密文 Bootstrapping 耗时低于 1 毫秒

Zama 团队宣布在 GPU 上实现了 TFHE bootstrapping 的重大突破，将 4 比特消息的延迟降低到微秒级别，同时保持了相同的安全级别和失败概率。他们通过优化算法和利用 GPU 资源，显著提高了 bootstrapping 的速度，使得 FHE 在实际应用中更具可行性，尤其是在区块链领域。
同态加密  TFHE  Bootstrapping  GPU加速  性能优化  区块链 
  • ZamaFHE
  • 发布于 6天前
  • 阅读 ( 446 )
  • ( 33 )

科赫尔的时间攻击：从理论到实践的旅程

本文详细介绍了如何利用时间侧信道攻击破解密码系统，通过模块化指数运算中的平方-乘算法，揭示了密钥比特为1时额外的乘法操作导致的时间差异。文章通过逐步实现的案例，从理想化的指令成本模型到实际系统中的噪声挑战，再到工程解决方案，展示了实际攻击中克服噪声、提取关键信息的技术，强调了防御方需要采用恒定时间实现、盲化等措施来防止信息泄露。
时间侧信道攻击  密码学  密钥恢复  方差区分器  模块化指数运算  平方-乘算法 

Succinct Labs：SP1和SPN有什么区别？

本文介绍了Succinct Labs的SP1 zkVM和Succinct Prover Network (SPN)。SP1是一个零知识虚拟机，简化了ZK证明的生成，而SPN是一个去中心化的网络，用于加速和降低ZK证明的成本，二者结合使用，通过SP1生成证明，并通过SPN加速证明过程。
SP1  SPN  zkVM  零知识证明  STARK  SNARK 
  • Hazeflow
  • 发布于 2天前
  • 阅读 ( 188 )
  • ( 6 )

解读 Boundless

Boundless 是一个去中心化的 zk 计算市场，它通过智能合约系统连接需要计算任务的开发者和提供硬件资源的 Prover。文章将 Boundless 比作全球快递公司，详细解释了其运作机制，包括任务发布、价格确定、验证、失败处理以及长期激励机制，旨在简化对 Boundless 复杂概念的理解。
零知识证明  zkVM  RISC Zero  zk 计算  prover  Dutch Reverse Auction 
  • Hazeflow
  • 发布于 6天前
  • 阅读 ( 173 )
  • ( 5 )