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

Circom 常见陷阱及规避方法 — 第 1 部分

本文深入探讨了在 Circom 中编程时可能遇到的常见陷阱，包括错误地使用 `assert`、不正确地处理 hints (即 `<--` 运算符)，以及由于有限域算术导致的别名攻击。文章提供了具体的代码示例和避免这些陷阱的方法，强调了在 Circom 电路开发中进行严格约束和安全编码的重要性。
circom  零知识证明  R1CS  约束  别名攻击  有限域算术 

密码学之Schnorr签名、Frost、MPC钱包(二)

Schnorr签名上篇文章讲了schnorr签名的原理，包括单签和多签，并对他们的安全性做了分析。本文继续讲一个新的阈值签名协议Frost，本文内容来自于这篇文章，FROST:FlexibleRound-OptimizedSchnorrThresholdSignatures
密码学  Schnorr  FROST签名  MPC 钱包  区块链  阈值签名 
  • 皓码
  • 发布于 4天前
  • 阅读 ( 380 )
  • ( 12 )

揭秘 Halo2 中的查询冲突漏洞：一次额外的查询如何打破可靠性

Halo2 中存在一个查询冲突的漏洞，当多点打开参数中多次在同一评估点查询同一多项式时，会导致一个评估被忽略，恶意证明者可以伪造评估并通过验证，文章解释了漏洞的根本原因，并通过具体的例子展示了如何利用它，以及如何在 Halo2 中修复它。
Halo2  零知识证明  查询冲突  多点打开  PLONK  密码学 

使用wolfCrypt实现ECIES椭圆曲线和对称密钥

本文介绍了使用wolfCrypt库实现ECIES（Elliptic Curve Integrated Encryption Scheme，椭圆曲线集成加密方案）的方法，展示了如何利用椭圆曲线密码学中的公钥来导出对称密钥以进行加密和解密操作，并提供了C#代码示例和相关的密钥生成、加密解密过程。
ECIES  椭圆曲线密码学  wolfCrypt  C#  加密  密钥交换