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

NFT即钱包的ERC-6551 真有那么神奇吗？

如今市场一瞬间被新标准所抓住眼球本质上是对目前贫瘠的 NFT 协议创新的悲观
ERC6551  NFT  钱包 
  • 十四君
  • 发布于 2023-07-16
  • 阅读 ( 3657 )
  • ( 9 )

Simperby：协议概述

Simperby 是一种区块链引擎，旨在运行去中心化、独立自主且自托管的组织。它通过共识机制、治理机制和通信渠道，实现组织状态的最终确定、决策制定以及成员间的可验证通信。Simperby 的设计重点在于简单轻量的节点操作，支持链上治理和成员间的通信，并采用了 Vetomint 共识算法来处理潜在的领导者不作为或审查问题。
区块链  共识机制  治理  去中心化  P2P网络  Vetomint 

Michael.W基于Foundry精读Openzeppelin第9期——Multicall.sol

in  Michael.W基于Foundry精读Openzeppelin
Multicall库提供了一个`multicall(bytes[] calldata data)`方法，通过该方法可以由调用者在一笔交易中自由组合调用本合约的各个可外部调用的方法。
OpenZeppelin  multicall 
  • Michael.W
  • 发布于 2023-07-16
  • 阅读 ( 3848 )
  • ( 4 )

学习如何在15分钟内创建、部署NFT智能合约并开发前端应用程序

这篇文章详细介绍了如何开发一个NFT智能合约，并通过使用BuildBear的私有测试网进行部署与测试。文章分为多个步骤，包括智能合约的开发、部署、使用Next.js创建应用程序以及使用IPFS存储NFT数据等，提供了丰富的代码示例和实用链接。
NFT  智能合约  BuildBear  Next.js  IPFS  以太坊 

Web3 极客日报 #1264

Web3 极客日报 #1264
极客日报 
  • rebase
  • 发布于 2023-07-15
  • 阅读 ( 2110 )
  • ( 4 )

对每种 ZK-EVM 的解释（Polygon、Linea、zkSync 等）

本文深入探讨了零知识以太坊虚拟机（ZK-EVM）的各种类型及其优缺点，概述了Vitalik对ZK-EVM的分类，并从开发者角度分析了Taiko、Linea、Polygon zkEVM、Scroll 和 zkSync Era 这些公司构建的 ZK-EVM，同时还介绍了 Kakarot。文章还探讨了这些不同方案的未来发展方向，以及它们对以太坊生态系统的潜在影响。
ZK-EVM  以太坊虚拟机  零知识证明  智能合约  EVM兼容性  zkSync  Taiko  Linea  Polygon zkEVM  Scroll  Kakarot 

Michael.W基于Foundry精读Openzeppelin第8期——Context.sol

in  Michael.W基于Foundry精读Openzeppelin
Context库是合约开发中最常见的库，同时也是最让人迷惑的库。合约代码里面只将msg.sender和msg.data封装成了函数，感觉多此一举。实际上，本库不提供任何context环境切换的细节功能，而是需要目标合约中重写这两个函数起到了可编辑msg.sender和msg.data的目的。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-15
  • 阅读 ( 3523 )
  • ( 4 )

盲化双人Musig2

该文章提出了一个针对Musig2 Schnorr多重签名协议的改进方案，其中两个参与方之一不需要知道完整的共享公钥或最终生成的签名。此方案通过盲化技术，在密钥聚合和nonce聚合过程中，让一方（服务器）不直接接触完整公钥和最终签名，从而保护隐私。此外，文章还讨论了密钥更新方法，确保在状态币转移时，旧密钥持有者无法单独控制资金。
MuSig2  Schnorr签名  多重签名  盲化  密钥聚合  密钥更新 

Web3 极客日报 #1263

Web3 极客日报 #1263
  • rebase
  • 发布于 2023-07-15
  • 阅读 ( 1551 )
  • ( 2 )

MEVM、SUAVE Centauri及其他

本文介绍了_SUAVE Centauri_发布的内容及其在MEV（最大化可提取价值）领域的创新，强调优化程序员在区块链上构建新应用的能力。文章详细介绍了MEVM（MEV虚拟机）的功能与应用实例，展示了如何帮助去中心化MEV基础设施的开发。同时，还展望了未来的开发进展，并鼓励社区参与实验和反馈。
MEV  SUAVE  MEVM  区块链  智能合约  去中心化 

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
  • 阅读 ( 148 )

以太坊扩容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 

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

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

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

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

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

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