... ### TFHE-rs v0.6 Zama的TFHE-rs的新版本引入了一种称为零知识证明的密码学技术,该技术是对FHE的补充。此外,此版本增强了对有符号整数运算的算术运算的GPU支持。此外,它还引入了其他加密功能,例如生成加密的随机性。 ...
...### 用途 纠错码、信息论编码、同态加密、秘密分享、零知识证明、多方安全计算等。 ## BLS 签名 ### 双线性映射 双线性映射是现代密码学(尤其是椭圆曲线密码学)中的核心工具,其本质是一种同时对两个输入参数满足线性...
... ### 千字读懂 Rollup *p0n1,安比实验室研究员,关注零知识证明和智能合约安全* Rollup 是一大类 Layer-2 扩容方案的统称,特指先在链下进行复杂的计算和状态维护,再将与状态更改相关的数据通过合约调用的方式,利用更便...
...施,用于构建去中心化应用程序。 此外,通过整合零知识(ZK)证明,集成显著增强了交易的安全性和效率。MoveVM 框架内的 ZK 证明增加了一层安全性和可扩展性,允许验证交易而不泄露底层数据。这种添加对于创建一个更安...
...然“第二阶段”是重新运用质押和验证者基础设施与专业知识,超越 L1 共识,安全多个协议。这使得建立新协议变得更容易。Cosmos 首创了这一概念作为“共享安全”,而 EigenLayer 的“重新质押”认识到以 ETH 为中心的方法可以...
...证明器,其速度比其他任何证明器快 20 倍;它提供了 [零知识和后量子安全的签名](https://twitter.com/StarkWareLabs/status/1331930111227080709)。 我们的清晰的 _测量_ — 而不是外推,也非承诺 — 包括在主网上通过单一证明处理 30 万笔交...
...ium.com/remix-ide/circom-in-remix-part-1-definitions-4e982786b380)介绍零知识证明术语的文章,以及[这篇](https://medium.com/remix-ide/circom-in-remix-part-2-playtime-4fc98d109511)关于如何使用Circom插件的文章。 如果您有无法解决的问题,可以点击“向**GPT**...
...参与方都是平等的;无法通过让 “敌手” 仅拥有不完全知识(incomplete knowledge)来获得安全性。因此,我们使用以下三部分定义了 DMMS。这些部分都不同于传统签名的密钥生成算法: * 使用代价函数 c 来追踪算法的执行并输出...
...用更多的流动性和不同的技术栈来更有效地满足。 - **零知识(存储)证明**:零知识存储证明是一种以无需信任的方式在 L1/L2/L3 之间传输区块链状态的新机制。随着 L2 和 L3 生态系统的出现,传输状态信息的延迟正在成为一个...
...和 Diem 稳定币的项目。他们利用在区块链领域的深厚专业知识,在 Web3 领域进行创新。 * 融资 2022 年 9 月 8 日,Mysten Labs 完成了最新一轮融资,成功筹集 3 亿美元,估值达到 20 亿美元。除 FTX Ventures 领投之外,这轮融资还得...
...在 2022 年启动了**一系列资助以支持学术研究**,以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈,我们向 39 位杰出的建设者提供了资助,他们积极跨越不同领域,以推进以太坊相关知识的发展。 在这篇博文...
...性。 更重要的是,众所周知,许多**加密算法和基于零知识的**应用都是使用Rust实现的。 尽管如此,区块链的**实用性**(如**无信任和去中心化**)被权衡了,因为它是一种通用的编程语言,不限于智能合约背景。换句话说...