KZG 的变体 · 第 3 部分，共 3 部分 KZG 的变体：第三部分，使用 Zeromorph 的多线性承诺 KZG 的变体 1 KZG 的变体：第一部分，单变量 2 KZG 的变体：第二部分，使用 PST 的多线性承诺...
TL;DR： 对 base/nitro-validator 库的重新设计，使 Fusaka 升级后的 EVM Nitro Enclave 证明在链上再次可行，而且比之前更便宜。以太坊的 Fusaka 升级对 MODEXP 重新定价（EIP-...
在密码学中速度何时重要：什么是最快的（和最慢的）？ 有时候，你在密码学中需要极快的操作，比如生成签名、密文或哈希值；而另一些时候，你却希望过程慢下来，例如从秘密中派生加密密钥，或存储密码的哈希版本。 因此，我们使用 Zig 编程语言...
计算技术先驱访谈录 介绍第一性原理：区块链的科学根源 人们常常把第一份比特币白皮书的故事讲得仿佛它是在真空中凭空出现的，然后线性地催生了挖矿、智能合约、Token、DeFi 以及后续每一代区块链设计。但这些技术的思想史实际上要古老得...
我仍然感到惊讶的是，安全性没有被嵌入到系统设计中，而且无法在真正意义上证明一个系统是安全的。总的来说，设计者经常把一些本应安全的程序片段组合在一起，然后就假设整个系统是安全的。这引出了许多问题。我们如何确信正在使用的模块在数学上确实正确？又...
问题 令我感到惊讶的是，安全并未被嵌入到系统设计中，而且无法在真正意义上展示其安全性的证明。总的来说，设计者常常把一些本应安全的程序片段组合在一起，然后假设整个系统是安全的。这引出了许多问题。我们如何确保所使用的模块在数学上确实正确？...
二次和三次剩余 在密码学中，我们寻找难以解决的问题。为此，我们可以创建后门来解决它。对于离散对数，我们使用以下难题： $Y=g^x \pmod p$ 即使我们知道 $g$、$Y$ 和 $p$，也很难确定 $x$，只要素数足够大。RSA...
Schnorr 签名 单签 Schnorr 签名是一种数字签名方案，由德国密码学家 Claus-Peter Schnorr 提出，最早在 1989 年的一篇论文中(Efficient Signature Generation by Sm...
Schnorr 签名 上篇文章讲了schnorr 签名的原理，包括单签和多签，并对他们的安全性做了分析。本文继续讲一个新的阈值签名协议 Frost，本文内容来自于这篇文章，FROST: Flexible Round-Optimized S...
用例 基于哈希的签名的聚合 乐观要求：50万个哈希/秒[1] STARKed 二叉哈希树 最坏情况要求：10万个哈希/秒[2] 要求 后量子友好 可证明的可靠性...
鸿途知科网
