全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

solidity assembly的基础用法

什么是Assembly在编写Solidity代码时，我们可以使用assembly{}关键字开始编写Yul代码，它是一种简化且扩展了的汇编语言。通过使用assembly，我们可以直接访问堆栈，并优化代码以提高内存效率，从而减少执行交易所需的燃气量。这最终降低了用户的交易成本。然而，在可读性方面存
solidity 编程 

治理代币在社区赋权中的作用

本文探讨了治理代币在社区驱动决策中的作用，讨论了其在去中心化自治组织（DAOs）、DeFi平台和DApps中的应用，并通过MakerDAO和Compound的例子进行了说明。同时，文章还区分了治理代币和实用代币，并分析了治理代币的优缺点，最后得出结论：治理代币是推动社区参与和提高组织效率的强大工具。
治理代币  去中心化治理  DAO  Makerdao  Compound  MKR  COMP 

欺诈证明中 Dispute Games 的实现

本文介绍了Dispute Games的概念，它是一种通用的争端解决机制，可以用来解决关于信息真实性的争议。文章深入探讨了Bisection Game，这是Dispute Game的一种具体实现，参与者通过不断二分执行轨迹来验证计算的正确性。文章还讨论了Claims、Positions、Chess Clocks以及Bonding等关键概念，并解释了如何在链上执行VM步骤来证明或反驳主张。
dispute games  bisection game  争议解决  Optimism  MIPS  状态转换函数  op-program 
  • vexil_
  • 发布于 2023-07-15
  • 阅读 ( 318 )

以太坊扩容2：Optimistic Rollup和ZK Rollup的工作原理

本文深入探讨了Layer2解决方案与独立链的主要区别，重点在于数据可用性（DA）。Layer2依赖以太坊控制DA，安全性由以太坊保障，但牺牲了可扩展性。文章详细对比了Optimistic Rollup和ZK Rollup两种主流Layer2方案，包括其工作原理、特性及优缺点，并分析了它们在实际应用中的差异与市场表现，为理解Layer2技术提供了全面的视角。
Layer2  Optimistic Rollup  ZK Rollup  数据可用性  以太坊  zk-SNARK 

HyperPlonk，一种专为ZKEVM设计的零知识证明系统

HyperPlonk是一种新的零知识证明系统，旨在克服传统Plonk系统在处理大规模计算时遇到的限制，特别是通过去除FFT（快速傅里叶变换）来提高可扩展性，并支持高阶自定义门和查找功能，特别适用于复杂的ZK-EVM应用。
HyperPlonk  zk-SNARKs  FFT  zkEVM  多项式承诺 

NFTScan 与 Decert 达成合作伙伴，双方在 NFT 数据方面展开合作

在 Decert 产品中，由 NFTScan 为其提供专业的多链 NFT 数据支持。
NFT  DeCert  NFTScan 

重新定义排序器：理解聚合器和Header生产者

本文深入探讨了Rollup架构的各种变体，将sequencer分解为aggregator和header producer两个逻辑实体，并将sequencing过程分为inclusion、ordering和execution三个逻辑过程。
Rollup  sequencer  DA-Layer  聚合器  Header Producer  MEV 

Avail的数据证明桥：实现安全的Validium和乐观链

Avail 推出了新的数据证明桥，旨在为 ZK 和 Optimistic Rollup 堆栈启用 Validium 和 Volition 模式。通过将交易数据移至链下，Validium 和 Volition 模式可显著降低成本。该桥梁通过在以太坊上创建合约，验证Avail共识，来保证layer2数据在Avail上的可用性，从而降低layer2的成本。
数据可用性  Validium  Volition  ZK Rollup  Optimistic Rollup  数据证明桥 

针对ZK友好哈希函数的代数攻击

本文深入探讨了针对ZK友好哈希函数的多种代数攻击，包括插值攻击、GCD攻击和格布尔基攻击等。文章首先介绍了这些哈希函数的设计原理及其安全性，随后详细分析了各类攻击的机制及其对哈希函数安全性的影响。通过实例化具体攻击，强调了在设计安全算法时必须考虑的潜在弱点与新兴攻击方式。
ZK友好哈希函数  代数攻击  插值攻击  GCD攻击  格布尔基攻击  安全性 
  • zellic
  • 发布于 2023-07-14
  • 阅读 ( 1557 )

手摸手教你如何使用foundry进行测试脚本编写

什么是foundry?foundry是一个solidity智能合约开发工具。可以帮你管理依赖包，编译项目，运行测试脚本，还可以让你通过命令行工具或者script脚本和链上合约进行交互。和hardhat不同的地方是，hardhat我们还是主要用来开发大型的合约项目，但是foundry用来进行编写测试
Foundry  Solidity  Solidity工具 

将代数电路转换为R1CS（一阶约束系统）

in  零知识证明之书
文章详细介绍了如何将一组算术约束转换为Rank One Constraint System (R1CS)，涵盖了转换中的优化和Circom库的实现方法。
R1CS  算术电路  circom  Modular Arithmetic  零知识证明 

Web3 极客日报 #1262

Web3 极客日报 #1262
  • rebase
  • 发布于 2023-07-13
  • 阅读 ( 2155 )
  • ( 2 )

新版 Phoenix 钱包：第三代的自主保管闪电钱包

Phoenix钱包通过“通道拼接”技术，实现了单通道动态调整大小，解决了旧版本中通道管理的问题。新版本降低了用户的手续费，提高了可预测性和控制力，并实现了免信任的互换。未来，Phoenix钱包将继续改进隐私性、静态发票和通道管理。
通道拼接  闪电网络  Phoenix钱包  链上交易  链下交易  互换 

如何将以太坊智能合约部署到区块链

本文介绍了如何使用Hardhat和Tenderly DevNets在以太坊上部署智能合约的详细步骤。首先，设置Hardhat开发环境并编写Solidity智能合约。然后，配置Tenderly DevNet，这是一个零设置的智能合约开发测试环境，可以轻松获取测试用的ETH。最后，使用Tenderly执行合约函数，以直观的方式查看详细的执行信息。
以太坊  智能合约  Hardhat  tenderly  devnets  Solidity 

Solidity定点库中的问题——Certora漏洞披露

本文揭示了PRBMath库中mulDivSigned函数的一个设计缺陷，该缺陷会导致在计算有符号数的乘法和除法时出现精度问题，特别是在DeFi应用中可能被利用导致资金损失。Certora团队通过形式化验证工具发现了这个存在于多个PRBMath版本中的问题，并与作者Paul Razvan Berg合作，最终通过修改函数定义为向零取整来临时解决，并计划在未来提供更全面的舍入模式支持。
Solidity  PRBMath  mulDivSigned  bug  DeFi  形式化验证 

比特币中的限制条款：用于评审的分类学

本文作者 Rusty Russell 探讨了比特币中限制条款（covenant）的不同实现方式，从最简单的 OP_TXIDVERIFY 到最全面的 OP_TX，以及介于两者之间的 OP_TXHASH 和 OP_CHECKTEMPLATEVERIFY。
限制条款  Covenant  OP_TX  OP_TXHASH  OP_CHECKTEMPLATEVERIFY  Taproot 

Solidity Fixed Point 库中的问题 — Certora 漏洞披露

本文探讨了固定点表示法在DeFi应用中的重要性，详细分析了PRBMath库中的一个设计缺陷，该缺陷可能导致严重的安全漏洞，并强调了公共库安全性的重要性。作者建议进行长远解决方案以支持多种舍入模式，并指出了正式规范的重要性。
固定点表示法  DeFi  PRBMath库  安全漏洞  智能合约  数学库 
  • Certora
  • 发布于 2023-07-13
  • 阅读 ( 973 )

一文读懂区块链执行层、存储层和共识层的扩容方案

概述了区块链的可扩展性问题，重点聚焦区块链与传统计算系统的区别，并列举了区块链在执行层、存储层以及共识层不同扩容方案的优劣势。
预言机  Chainlink 

闪电网络服务商的崛起

本文主要探讨了闪电网络及闪电网络服务提供商（LSP）的兴起。随着闪电网络容量的增长，托管方案的使用量超过了自托管应用。LSP通过提供流动性和网络服务，简化用户和商家在闪电网络上的操作，从而解决了闪电网络流动性和用户获取的挑战，并促进了闪电网络生态系统的发展和自主保管的普及。
闪电网络  流动性  闪电网络服务商  通道  自托管  入账流动性 

Web3 极客日报 #1260

Web3 极客日报 #1260
  • rebase
  • 发布于 2023-07-12
  • 阅读 ( 1666 )
  • ( 4 )