找到约 14 条结果

文章 SharkTeam:Move语言安全性分析及合约审计要点之重放攻击

...-N多签方案、BLS12-381聚合签名方案,甚至还包含Groth16等知识证明方案。 Aptos公链交易签名支持基于Ed25519椭圆曲线的EdDSA单签方案和k-of-N多签方案,默认选择单签方案。而合约层面支持4种签名机制的验证: (1)基于secp256k1...

文章 Optimism 中文周刊 #61

...性,同时,构建者可以自由地尝试自定义数据可用性或知识证明。 # 治理新闻 ### **LiskDAO 批准首批赠款** LiskDAO 已批准其首批三项 Builder Grant 项目。资金将用于 LiskDAO 复兴项目,该项目由@jujuboyNFT发起,旨在重振治理参...

文章 与Aperture Finance一起探索AI、DeFi 和意图

...定义其意图并提交给求解者进行处理。意图随后使用像知识证明(ZKP)这样的隐私机制进行处理,经过信任评分和ZKP验证,最终在执行者的监督下完成,以确保安全和可靠的交易执行。 1. **意图定义 -** 用户定义其意图,包...

文章 走近BTC:理解BitVM所需的背景知识(1)

...层相关的技术名词绝非易事,因为你要先对其周边的基础知识有系统性的理解,尤其是比特币脚本和Taproot等背景知识。目前网上已有的参考资料要么篇幅太长废话连篇,要么解释的不够透彻让人似懂非懂。 **我们致力于解决上...

文章 区块链安全的支柱:去中心化和加密

...块链开发人员不断寻求通过实施先进的密码学技术(如知识证明和同态加密)来增强其网络的安全性[密码学在区块链安全中的作用](https://reintech.io/blog/cryptography-role-blockchain-security)。 加密不仅仅是区块链安全中的一个可选功...

文章 成为一名区块链开发者:你需要知道什么

...键概念,才能走得更远。 以下是你需要关注的一些基础知识。 ## 成为区块链开发人员需要掌握的 5 项技能 ### 1\. 流行的区块链编程语言 作为一名区块链开发人员,你可能需要学习多种编程语言,但掌握 Javascript 是无可避免...

文章 Superchain 残酷共学成果展:从Rollup原理到 OP 测试链搭建实战

...itrum | | **ZK Rollup** | 每次交易都用数学证明确保正确 | 知识证明(ZK Proof) | zkSync、Starknet、Scroll | 📊**一张图总结(简化版):** ``` Layer 0 👉 链的地基和通信系统(如 Cosmos、Polkadot、Celestia) | Layer 1 👉 主链,处理...

文章 Proof of Talk专访CertiK联创顾荣辉:全周期安全方案护航Web3生态

...应用领域将从智能合约逐步拓展到共识协议、跨链桥和知识证明等关键环节。CertiK自主研发的形式化验证工具,已在zkWasm、TON主链和蚂蚁集团HyperEnclave TEE等顶级项目中发挥了重要作用。 同时,AI技术在漏洞审计、链上威胁...

文章 实用工具 - OpenZeppelin 文档

...ommunity-contracts/0.0.1/api/utils#AbstractSigner) 的实现,它通过知识证明启用基于电子邮件的身份验证。 - [`ZKEmailUtils`](https://docs.openzeppelin.com/community-contracts/0.0.1/api/utils#ZKEmailUtils): ZKEmail 签名验证实用工具库,通过知识证明启用基...

文章 形式化验证 第 3 部分 - Solana SPL 隐私性扩展的形式化验证

...况下,对账户余额做出声明。尽管这看起来很神奇, [知识(ZK)证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof) 正好可以实现这一点。我们在此帖的最后提供了一个链接,以便你想了解更多关于 ZK 证明及其在 Solana 中的高效实...

文章 以太坊基础知识结构详解

### 以太坊的历史和发展 **初创阶段** - 2013年:Vitalik Buterin 发表了以太坊白皮书,提出了一个通用的区块链平台,不仅支持比特币的货币功能,还能支持更复杂的智能合约。 - 2014年:以太坊项目启动,进行了首次ICO(Initial Co...

文章 以太坊核心开发者执行会议#185记录

...哈希函数操作码和预编译的 gas 成本,以匹配它们通过知识(ZK)系统(如 ZK EVM)的执行成本。有关 ZK EVM 的更多信息,**请阅读这份 Galaxy Research 报告**。关于在以太坊上重新定价哈希函数操作的动机,Buterin **在[EIP 7667 文档](h...

文章 使用全同态加密的机密ERC20框架

...FHE计算是确定性的,在区块链上下文中,我们可以利用知识证明(ZKP)、欺诈证明和/或共识协议来达成计算有效性的一致。 * **ZKP和计算正确性:使用ZKP引入FHE计算正确性的可验证证明是一个有前途的研究方向,但在短期内...

文章 运行PoS验证节点的基础知识

.../06/10/1cw9zkpctbTC769-5wQLDeA.png) ## 运行 PoS 验证者节点的基础知识 验证者节点是区块链上的一种特殊节点,它参与签名区块的共识过程,并证明其他验证者对区块的签名。顾名思义,验证者的主要工作是“验证”区块链是否正常工...