全部 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 入门/科普 密码学 存储 其他

零知识前沿:关于SNARKs,STARKs和未来的应用

在今天的文章中,我将剖析有史以来最强大但经常被误解的密码学工具之一:零知识证明 。此外,我将重点介绍未来实现的用例和建议,并展示为什么零知识证明是crypto未来的关键。

  • XPTY
  • 发布于 2022-05-09
  • 阅读 ( 4104 )

零知识证明 - zkEVM源代码分析(State Circuit)

前一篇文章介绍了zkEVM的EVM Circuit的电路实现细节,接下来继续介绍State Circuit。

  • Star Li
  • 发布于 2022-05-06
  • 阅读 ( 2779 )

zkEVM (二) --EVM Circuit

通过上一篇,我们知道zkEVM包含多个电路,如EVM circuit, MPT circuit,Keccak256 circuit等。本节继续介绍EVM circuit部分,这一部分是典型的业务电路,用于约束EVM执行状态,因为其他例如 Keccak256 circuit 是通用型的电路,不仅可以用在ZKEVM工程中,也可以用在其他使用Keccak256做哈希的应用中,也就是独立于业务逻辑本身的电路组件。

LayerZero跨链协议入门教程

在本教程中,我们将使用LayerZero 建立一个简单的跨链消息转账合约,并使用默认的UA配置,发送一个跨链消息。

Solidity 非权威开发指南(1):端到端全景图

秉承“非权威开发指南”系列的一贯宗旨,本系列不会去纠结 solidity 的语法细节,所有内容都是从实践中来,也服务于实际工作,同时不说废话。这也是为何个人觉得在第一篇先介绍整个开发过程更有意义,它有助于你了解典型的合约开发工作都有哪些,从而快速建立整体概念。

  • 胡键
  • 发布于 2022-04-28
  • 阅读 ( 3944 )
  • ( 4 )

[如何写出一行价值34M USD的代码] Akutar NFT漏洞分析

BlockSec发现Akutar数字藏品合约 (https://etherscan.io/address/0xf42c318dbfbaab0eee040279c6a2588fa01a961d) 存在两个非常严重的漏洞。第一个漏洞可以导致合约被DoS攻击,用户存入的资产被锁定...

  • BlockSec
  • 发布于 2022-04-24
  • 阅读 ( 2178 )
  • ( 5 )

zkEVM (一) 架构简介

zkEVM旨在设计并实现一种解决方案,通过零知识证明来验证以太坊执行模块(通常指Layer2执行)。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目,主要包含两个方面:zkRollup,Validity proofs(有效性证明)

Brownie + Ganache Fork 合约开发

使用ganache的主网fork技术 搭配python友好的brownie框架,高效对合约进行开发测试。

零知识证明 - 一个通俗解释

通俗理解零知识证明,有个很经典的阿里巴巴的例子。阿里巴巴能在不泄露咒语的情况下,向强盗证明他知道咒语的内容。最近在听斯坦福大学教授 Dan Boneh的讲座视频时,发现有另外一个形象的描述零知识证明的例子:

  • Star Li
  • 发布于 2022-04-20
  • 阅读 ( 2699 )

如何解析uniswap v3下的muticall的data数据

如何解析uniswap v3下的muticall的data数据

  • James
  • 发布于 2022-04-20
  • 阅读 ( 6871 )
  • ( 114 )

Solidity - 使用位运算节省 gas

Solidity - 使用位运算节省 gas,在这篇文章中,我将解释其中的一些技巧,并通过一款更简单的井字棋游戏来分享我的思考过程。