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

比特币密码学原理

密码学原理比特币中主要用到了密码学中的两个功能：哈希和签名。哈希密码学中的哈希称为Cryptographichashfunction，具有三个性质：collisionresistance(哈希碰撞)和Hiding、puzzlefriendly比特币中用的哈希函数是：SHA-256，即
密码学 
  • 麦丹
  • 发布于 2024-07-06
  • 阅读 ( 2036 )
  • ( 33 )

fhEVM v0.5：加密数据的增强安全性和效率

Zama 团队发布了 fhEVM v0.5 版本，该版本引入了诸多增强功能，旨在提高在应用中处理加密数据的安全性和效率，包括打包输入机制、增强的访问控制列表 (ACL) 以及更新的解密和重新加密过程。Solidity API 迎来稳定和最终版本，该版本将与未来版本以及各种链兼容。
fhEVM  同态加密  访问控制列表  Solidity  加密数据  区块链 
  • ZamaFHE
  • 发布于 2024-07-06
  • 阅读 ( 249 )

TFHE-rs v0.7：密文压缩、多 GPU 支持及更多

TFHE-rs v0.7 版本发布，引入了密文压缩和多 GPU 支持等重要特性。密文压缩可将密文大小最多减少 1900 倍，而多 GPU 支持能够显著提升同态计算的性能，文章还介绍了新版本中参数集合的更新、新的向量和数组运算、优化的零知识证明以及优化的 GPU 密钥切换等额外功能。
TFHE-rs  同态加密  密文压缩  多GPU  性能优化  零知识证明 
  • ZamaFHE
  • 发布于 2024-07-06
  • 阅读 ( 217 )

理解群论

这篇文章深入探讨了群体论，涵盖了从最简单的金属体、半群、单元到群、阿贝尔群以及复杂的环和域等概念，并通过代码提供了验证这些结构的实例。最后，它提到了这些数学概念在类型理论和椭圆曲线密码学中的应用，展示了其在计算机科学和加密技术中的重要性。
群体论  半群  环  域  阿贝尔群  Galois场 
  • jtriley
  • 发布于 2024-07-02
  • 阅读 ( 388 )

FHE全同态加密介绍——小白版

FHE全同态加密介绍——小白版
FHE 
  • mutourend
  • 发布于 2024-06-28
  • 阅读 ( 2387 )
  • ( 108 )

使用ZK Email进行私有邮件恢复

ZK Email与Rhinestone合作，为智能账户引入隐私保护的Web2集成。Rhinestone将开发一个ZK Email模块模板，使开发者能够轻松地基于ZK Email和ERC-7579智能账户构建智能账户功能，例如使用户能够使用电子邮件地址作为守护者，而无需透露电子邮件地址。
ZK Email  智能账户  ERC-7579  DKIM  隐私保护  模块化 

CRYSTALS Kyber：后量子加密的关键

文章详细介绍了CRYSTALS Kyber，一种基于格结构的后量子加密算法，旨在抵御量子计算的威胁。文章深入探讨了Kyber的核心机制，包括密钥封装机制（KEM）和学习误差问题（LWE），并提供了相关数学公式和算法的解释。
CRYSTALS Kyber  后量子加密  密钥封装机制  学习误差问题  格结构  量子计算 

零知识证明 - SP1 zkVM源代码入门

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看
zkVM  Plonky3  SP1  RISCV 
  • Star Li
  • 发布于 2024-06-25
  • 阅读 ( 3324 )
  • ( 52 )

初学指南: 使用 Risc0 创建你的第一个 ZK 项目

使用 Risc0 创建你的第一个 ZK 项目
RISC0  zkVM 
  • RISC ZERO
  • 发布于 2024-06-22
  • 阅读 ( 1865 )
  • ( 11 )

基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。
zkVM  RISC0 
  • RISC ZERO
  • 发布于 2024-06-20
  • 阅读 ( 1738 )
  • ( 7 )

以太坊Layer2扩容方案之Validium

Validium也是一个以太坊的Layer2的扩容方案，它主要是在链下处理交易、链下保证数据可用性(链下存储数据)、同时生成零知识证明对交易有效性进行确认。
Validium  Plasma  ZK Rollup  Layer2 
  • 张乐辉
  • 发布于 2024-06-19
  • 阅读 ( 1639 )
  • ( 64 )

针对全同态加密的新型密钥恢复攻击

这篇文章深入探讨了全同态加密（FHE）的安全模型及其潜在漏洞，特别是新近提出的针对FHE的攻击方法，揭示了在加密数据上操作可能带来的安全隐患。文章结合了学习误差（LWE）问题的基础知识和具体攻击的实现示例，强调了FHE在实际应用中的风险和改进方向。
同态加密  完全同态加密  学习误差  安全模型  密钥恢复  FHE应用 
  • zellic
  • 发布于 2024-06-12
  • 阅读 ( 283 )

Circle STARKs 系列（一）：梅森素域

在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用椭圆曲线密码学，我们被限制在“密码学大小”的域，比如大约 256 位可实现 128 位安全性。然而，类 STARK 的技术（里德-所罗门IOP）在
零知识证明 
  • XPTY
  • 发布于 2024-06-12
  • 阅读 ( 1966 )
  • ( 14 )

ZK领域入门资料整理

本书签内容整理自紫樱 的资源，非常感谢紫樱大佬的分享。我在上面进行整理添加。

学习资源  入门  零知识证明入门 

Jolt：澄清、批评、反思

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。
Jolt  Lasso  零知识证明  sum-check协议  Binius承诺  zkVM 

零知识证明 - 说说Binius

Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了$F_2$以及扩展域。
零知识证明  Binius 
  • Star Li
  • 发布于 2024-05-28
  • 阅读 ( 2259 )
  • ( 7 )

[Paper Reading and Code] On Proving Pairings

verify pairings on bitcoin
pairings  bn254  recursive snark 
  • 白菜
  • 发布于 2024-05-17
  • 阅读 ( 1697 )
  • ( 14 )

加密学基础：安全性评估

in  密码学101

本文介绍了加密技术的基本概念及其安全性评估，重点讨论了历史上著名的凯撒密码及其被频率分析破解的案例，以及现代加密技术中密钥大小对安全性的影响。
凯撒密码  频率分析  RSA  椭圆曲线加密  密钥大小  安全性 

密码学 - ZaKi介绍 - Ingonyama

Ingonyama发布了ZaKi，一种新的、垂直集成的ZK托管服务，它基于ICICLE，并对硬件进行了优化配置，以运行加速的ZK工作负载，旨在提供卓越的性价比。ZaKi通过提供一个已经为ZK计算优化的托管环境，消除了硬件设置和配置的障碍，使团队能够专注于他们的ZK应用。
零知识证明  zk  ICICLE  GPU加速  硬件加速  KZG承诺 

面向研究人员的 ICICLE：资助与挑战

Ingonyama 正在为研究人员和实践者提供 10 万美元的资助，以推进 ZK（零知识证明）加速技术。资助方向包括：学生使用 Icicle 库进行研究、改进 Icicle 中现有加速原语的性能、将现有 ZK 协议移植到 Icicle、向 Icicle 添加新的原语以及将 ZK 基准测试与 Icicle 进行比较。Ingonyama 还将为获得资助者提供技术指导和 GPU 访问权限
零知识证明  GPU加速  ICICLE  密码学  性能优化  基准测试