在今天的文章中,我将剖析有史以来最强大但经常被误解的密码学工具之一:零知识证明 。此外,我将重点介绍未来实现的用例和建议,并展示为什么零知识证明是crypto未来的关键。
通过上一篇,我们知道zkEVM包含多个电路,如EVM circuit, MPT circuit,Keccak256 circuit等。本节继续介绍EVM circuit部分,这一部分是典型的业务电路,用于约束EVM执行状态,因为其他例如 Keccak256 circuit 是通用型的电路,不仅可以用在ZKEVM工程中,也可以用在其他使用Keccak256做哈希的应用中,也就是独立于业务逻辑本身的电路组件。
在本教程中,我们将使用LayerZero 建立一个简单的跨链消息转账合约,并使用默认的UA配置,发送一个跨链消息。
极快的测试,不再使用 BigNumber.js,只有 Solidity 代码
秉承“非权威开发指南”系列的一贯宗旨,本系列不会去纠结 solidity 的语法细节,所有内容都是从实践中来,也服务于实际工作,同时不说废话。这也是为何个人觉得在第一篇先介绍整个开发过程更有意义,它有助于你了解典型的合约开发工作都有哪些,从而快速建立整体概念。
NFT 新手教程:如何在钱包中查看NFT(第3部分)
NFT新手教程:如何铸造一个NFT(第2部分)
NFT新手教程: 如何编写和部署NFT
zkEVM旨在设计并实现一种解决方案,通过零知识证明来验证以太坊执行模块(通常指Layer2执行)。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目,主要包含两个方面:zkRollup,Validity proofs(有效性证明)
使用ganache的主网fork技术 搭配python友好的brownie框架,高效对合约进行开发测试。
如何解析uniswap v3下的muticall的data数据
Solidity - 使用位运算节省 gas,在这篇文章中,我将解释其中的一些技巧,并通过一款更简单的井字棋游戏来分享我的思考过程。
Schwartz-Zippel 引理是关于有限域中的多变量多项式零点个数的紧致上界,具体表述如下:
Terra 是基于 Cosmos 框架搭建的一个区块链协议,Terra 协议是算法稳定币的 去中心化 和开源公共区块链协议,Terra 协议结合了公开市场套利激励和去中心化的 Oracle 投票,创建了能够持续跟踪任何法定货币价格的稳定币。
本文是《深入理解EVM系统》系列的第三部分,将建立在深入理解EVM系统(1)和深入理解EVM系统(2)之上。在这一部分中,我们将深入探讨合约存储的工作原理,提供一些心智模型来帮助你理解以及深入探索存储槽打包 。
在第 2 部分中,我们将沿着“内存”之路走一趟,全面回顾合约内存 是什么以及它在 EVM 下的工作原理。
在智能合约世界中,以太坊虚拟机及其算法和数据结构就是第一性原理。Solidity 和我们创建的智能合约就是建立在这个基础之上的组件。要成为一名出色的 Solidity 开发人员,必须要对 EVM 有深入的了解。
介绍Solana的共识机制、生态、钱包、浏览器等内容;介绍Solana合约特性以及从头编写HelloWorld合约。
概述“钱包登录”按钮的技术实现