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

优化技巧

本文档详细介绍了Solidity智能合约开发中的各种Gas优化技巧，涵盖存储、错误处理、数学运算和函数调用等多个方面，包括避免初始化默认变量、存储打包、常量与不可变状态变量、缓存存储变量、使用unchecked{}、calldata代替memory等关键优化策略，旨在帮助开发者编写更高效、更节省Gas的Solidity合约。
gas优化  Solidity  智能合约  存储打包  Calldata  Custom Errors  unchecked 
  • beskay
  • 发布于 2023-08-25
  • 阅读 ( 215 )

二次算术程序

in  零知识证明之书

文章详细介绍了二次算术程序（QAP）的概念及其在零知识证明中的应用，特别是如何通过拉格朗日插值将Rank 1约束系统（R1CS）转换为QAP，并通过Schwartz-Zippel引理在O(1)时间内验证QAP的等式。
QAP  R1CS  拉格朗日插值  Schwartz-Zippel引理  零知识证明  有限域 

Base 对 Superchain 去中心化的承诺

Base 是一个在 Coinbase 孵化的以太坊 L2，致力于去中心化，构建于开源的 OP Stack 之上，与 Optimism Collective 合作，共同改进去中心化。
Layer2  OP Stack  Optimism Collective  Superchain  去中心化  Law of Chains 
  • base__
  • 发布于 2023-08-25
  • 阅读 ( 29 )

ERC-4626 通货膨胀攻击概述

本文详细分析了针对 ERC-4626 标准的通货膨胀攻击，包括其定义、攻击示例以及预防措施。作者通过多个代码示例展示了黑客如何利用漏洞进行攻击，以及推荐的修复方法，强调了安全审计和开发者在早期保护 DeFi 金库和池的重要性。
ERC-4626  通货膨胀攻击  智能合约  安全审计  DeFi  黑客攻击 

田野调查：实现 MuSig2

相比于脚本式的多签名构造，MuSig 有两大长处。第一，交易体积更小（因此矿工手续费更少）。第二，MuSig 也提升了隐私性。
多签  密码学 

事后报告：以太坊主网最终确认性 (2023年5月11日)

以太坊主网在2023年5月11日和12日因Prysm客户端无法有效处理旧目标检查点的有效证明而遭受两次显著的区块生产不足，导致分别延迟4个和9个epoch才完成最终确认。事件中，验证者因错过区块和证明而损失了潜在收入，总计约28 ETH的罚款和55 ETH或更多的潜在收入损失。Prysm v4.0.4版本已发布修复此问题。
以太坊  Prysm  共识客户端  证明  区块生产  最终确认 

Web3 极客日报 #1298

Web3 极客日报 1298
  • rebase
  • 发布于 2023-08-24
  • 阅读 ( 1699 )
  • ( 3 )

Amulet介绍——解锁Cosmos上的DeFi

Amulet是一个去中心化的跨链Cosmos协议，旨在通过自偿贷款解锁质押资产的资本。它允许ATOM和其他L1和L2代币持有者质押和消费他们的资产，通过智能合约在Neutron上部署，并利用Interchain Accounts，获得针对未来质押奖励和DeFi收益的自偿贷款，从而提高Cosmos生态的资本效率和流动性。
Cosmos  DeFi  质押  自偿贷款  Neutron  ATOM 

深入了解 Solidity bytes

in  全面掌握Solidity智能合约开发

你是否知道大端小端的概念，其定义了是高位数据先保存还是地位数据先保存，EVM 是用 大端格式存储数据，我们知道 EVM 使用 32 字节的字来处理数据，当数据不足 32 个字节时，如何填充数据呢？bytes 有哪些操作详见本文。
Solidity  EVM 

去中心化金融笔记（四）—— 主流 DeFi 协议详解

B站梁培利老师《区块链金融》课程笔记 完整笔记请查看 Notion 链接：https://dune-marten-78b.notion.site/85b1d29c86344112a886fcfb2ea1c44c?pvs=4

Compound  Aave  Curve 
  • 0xHowe
  • 发布于 2023-08-24
  • 阅读 ( 4271 )
  • ( 17 )

Suisu -- 执行层 REST

该项目旨在解决当前以太坊Execution Layer的JSON RPC API (JRA) 标准化不足的问题，通过创建一个REST API规范和一个JRA包装器的参考实现来改进。项目包括迭代JRA，发现Execution客户端的特性，制定REST API规范，并提供通用Execution客户端基础设施访问。最终目标是实现可预测和标准化的REST API，并提供相关的测试套件和EIP。
REST API  JSON RPC  以太坊  Execution Layer  API 标准化  测试套件 

Michael.W基于Foundry精读Openzeppelin第31期——IERC1271.sol

in  Michael.W基于Foundry精读Openzeppelin

IERC1271是合约地址作为signer的签名验证标准。EOA地址可以通过其私钥对msg进行签名，而合约地址理论上是没有私钥的。当合约地址作为msg.sender时，可以通过IERC1271标准进行相关的签名验证工作。
OpenZeppelin  Foundry 

Web3 极客日报 #1297

Web3 极客日报 1297
  • rebase
  • 发布于 2023-08-23
  • 阅读 ( 1254 )

Web3 极客日报 #1296

Web3 极客日报 1296
  • rebase
  • 发布于 2023-08-23
  • 阅读 ( 1397 )

ETK：以太坊对象格式（EOF）实现

本文介绍了在以太坊虚拟机工具包（ETK）中实现以太坊对象格式（EOF）的计划。EOF旨在通过在部署时验证结构化的EVM代码，提高链上代码验证的效率和安全性。该项目将基于Ipsilon团队设计的“Mega EOF Endgame”规范，并实现相关的EIP，目标是为EVM语言提供第一个100%可用的EOF实现，并扩展到其他语言。
以太坊对象格式  EOF  EVM  ETK  EIP  智能合约 

宣布Zeth：首个 Type0 zkEVM

本文介绍了Zeth，一个基于RISC Zero zkVM的开源ZK块证明器，使得以太坊区块的验证过程在数分钟内完成，而不依赖于验证者或同步委员会。文章详述了Zeth的工作原理、性能、实现细节以及它对ZK技术和以太坊生态的影响，展现了其在ZK-rollup和zkEVM领域的应用潜力。
Zeth  zkVM  以太坊  ZK块证明  Rust  加密技术 

何以我们需要 “Vlidating Lightning Signer”？

in  BTCStudy 精选

将你的闪电节点私钥和安全规则验证从闪电节点中分离出来
闪电网络 

开源经过实战检验的 Stone Prover

StarkWare 将其 STARK Prover（现命名为 Stone）以 Apache 2.0 许可证开源。此举旨在通过开放源代码，促进 Starknet 的去中心化，鼓励社区协作和创新，使开发者能够观察、优化和使用 Prover 的代码，该Prover自2020年6月以来一直在生产环境中运行，压缩并验证了大量的交易和NFT铸造。
STARK Prover  Stone  开源  Starknet  Cairo  零知识证明 

Aptos Token Object V2 | Move dApp 极速入门（贰拾肆）

in  狗哥区块链与AI精品内容集@NonceGeek

「Token」一词通常是指链上同质化代币和非同质化代币。随着区块链的发展，定义代币的标准和模型也在不断发展。在 Aptos 中，「Token V2」是指升级后的非同质化代币标准。原始模型「Token V1」使用资源 Resource 作为链上代币的表示方式，而新模型则使用 Object。这一升级打破
Move  DApp 

可編程交易塊 | Move dApp 極速入門（貳拾叁）

in  狗哥区块链与AI精品内容集@NonceGeek

Sui 是一個創新的區塊鏈平台，相比於大家熟悉的 EVM 兼容鏈，最大特色在以 Object（物件）為核心的設計、全新的智能合約語言 Sui Move。本文聚焦在 Sui 的其中一項關鍵創新：可編程交易塊 PTB（Programmable Transaction Block），探索如何透過 PTB
Move  DApp