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

解除 Fiat-Shamir 陷阱

本文介绍了Fiat-Shamir变换在零知识证明（ZKPs）和多方计算（MPC）中的重要性，并强调了正确实现该变换的挑战。为了帮助开发者避免常见错误，Trail of Bits发布了一个名为Decree的Rust库，该库旨在简化Fiat-Shamir transcript的规范和强制执行，并通过Inscribe trait确保包含上下文信息。
Fiat-Shamir变换  零知识证明  多方计算  Decree  密码学  transcript 

零知识证明 - SP1 zkVM源代码入门

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看
zkVM  Plonky3  SP1  RISCV 
  • Star Li
  • 发布于 2024-06-25
  • 阅读 ( 3680 )
  • ( 52 )

Rust入门系列：08、Rust中的函数和控制流

in  Rust从入门到进阶
在Rust中，函数是通过fn关键字来定义的。函数定义包括函数名、参数、返回类型（如果有）、和函数体。函数的参数需要明确指定类型，Rust的函数参数和返回类型通常使用静态类型检查。
Rust语法基础  控制流  函数 
  • Louis
  • 发布于 2024-06-25
  • 阅读 ( 1420 )
  • ( 7 )

以太坊 - 介绍 kona

OP Labs 团队发布了 `kona` 的 MVP，它是一套便携式的、`no_std` Rust 实现的 OP Stack rollup 状态转换。`kona` 包含 OP Stack 的第一个替代故障证明程序，为 OP Stack 的第二阶段去中心化提供了一个关键的冗余。
OP Stack  Rollup  Rust  故障证明  状态转换  去中心化 
  • clabby
  • 发布于 2024-06-25
  • 阅读 ( 128 )

如何创建一个代币授权检查器应用程序

本文介绍了如何创建一个代币授权检查器应用程序，以便用户可以检查他们的 ERC-20 代币的授权情况和历史记录。文章通过分步指导，详细阐述了使用 QuickNode 创建流、PostgreSQL 数据库设计，以及使用 React 和 Express 搭建前后端，结合示例代码提供了完整的实现思路。
ERC-20  智能合约  代币授权  QuickNode  PostgreSQL  react 

Solidity中的call和staticcall

in  Solidity从入门到进阶
在Solidity中，call和staticcall是用于与其他合约进行交互的低级函数。这些函数允许合约调用其他合约的函数，发送以太币，以及检查其他合约的状态。
call  合约调用  ABI 
  • Louis
  • 发布于 2024-06-25
  • 阅读 ( 2468 )
  • ( 12 )

万字解读并行 EVM ：如何突破区块链性能瓶颈？

并行EVM主要分为单体区块链和模块化区块链。单体区块链又分为L1和L2。并行L1公链分为两大阵营：：EVM 和非 EVM
并行EVM  Sei Network  Monad  Eclipse  Fuel 

探索 Farcaster & Frames – 可组合的社交平台

Farcaster 是一个去中心化的社交网络平台。Farcaster Frames 允许开发人员创建在 Farcaster feed 中运行的集成应用程序。用户可以在不离开平台的情况下与各种应用程序（如投票、游戏和其他互动体验）进行交互。
Farcaster  社交协议  Lens 
  • GCR Team
  • 发布于 2024-06-24
  • 阅读 ( 1789 )
  • ( 10 )

对比四个并行 EVM项目：Monad、Sei v2、Neon 和 Eclipse

本文讨论了区块链技术中交易的并行执行概念，特别关注以太坊虚拟机（EVM）及其面临的可扩展性挑战。介绍了四个项目 - Monad、Sei v2、Neon EVM 和 Eclipse - 旨在提供并行化的 EVM 解决方案以增强可扩展性和交易速度。
Monad  Sei Network  Neon  Eclipse  并行EVM 
  • GCR Team
  • 发布于 2024-06-24
  • 阅读 ( 2025 )
  • ( 32 )

探讨 Rollup 交易最终性

在 Rollup 中，追求交易最终性有三个阶段：排序者（Sequencer）的承诺、排序最终性、执行结算
Rollup  Layer2 

Rust入门系列：07、Rust中的数据类型之：复合类型

in  Rust从入门到进阶
Rust编程语言提供了多种复合数据类型，用于存储和组织复杂数据。
Rust语法基础  复合类型 
  • Louis
  • 发布于 2024-06-24
  • 阅读 ( 1655 )
  • ( 15 )

Rust入门系列：06、Rust中的数据类型之：标量类型

in  Rust从入门到进阶
Rust语言中的标量类型主要包括四类：整数类型、浮点数类型、布尔类型和字符类型。每种类型都有其特定的特点和用途。下面是每种标量类型的详细解释和示例
Rust语法基础  数据类型 
  • Louis
  • 发布于 2024-06-24
  • 阅读 ( 1443 )
  • ( 6 )

每周以太坊 2024/06/22

Blob费用市场问题，SEC撤销对 Consensys 的案件，CertiK未经授权从Kraken提取了约300万美元
每周以太坊 
  • EthWeekly
  • 发布于 2024-06-24
  • 阅读 ( 1510 )
  • ( 38 )

NFTScan | 06.17~06.23 NFT 市场热点汇总

一览 NFT 热点资讯和 NFT 链上宏观数据
NFTScan  NFT  NFT市场 

使用代码块解决 Error:stack too deep

使用代码块解决stacktoodeep你是否也有过这样的报错信息：“stacktoodeep”这是因为solidity一个函数中可容纳的变量的数量最大为16个，超过这个数量就会报错那如果想在函数中声明更多的变量该怎么办呢？可以使用代码块如下所示://SPDX-License-I
stack too deep 
  • oo
  • 发布于 2024-06-24
  • 阅读 ( 1227 )
  • ( 8 )

Merkle树如何增强DynamoDB中的数据一致性

本文介绍了AWS的NoSQL数据库服务DynamoDB如何使用Merkle树来解决数据复制和一致性的问题。通过比较Merkle哈希，DynamoDB可以快速识别不一致之处，并仅更新必要的数据块，从而最大限度地减少所需的复制迭代次数，加速数据迁移过程，并确保目标节点快速达到一致状态。
Merkle树  DynamoDB  数据一致性  数据复制  AWS  NoSQL数据库 

手把手带你构建Sui的索引器及RPC服务 @SUI Move开发必知必会

in  SUI Move开发必知必会<Let's Move>
手把手带你构建Sui的索引器及RPC服务 @SUI Move开发必知必会
Sui  Move  indexer  索引器 
  • rzexin
  • 发布于 2024-06-23
  • 阅读 ( 2530 )
  • ( 22 )

Michael.W基于Foundry精读Openzeppelin第59期——Proxy.sol

in  Michael.W基于Foundry精读Openzeppelin
Proxy库对外只暴露了fallback和receive函数，是代理合约的基础实现。所有对Proxy合约的call都将被delegatecall到implement合约且delegatecall的执行结果会原封不动地返还给Proxy合约的调用方。通常称implement合约为代理合约背后的逻辑合约。
OpenZeppelin  Foundry  proxy 
  • Michael.W
  • 发布于 2024-06-23
  • 阅读 ( 1702 )
  • ( 11 )

Web3 极客日报 #1534

  • rebase
  • 发布于 2024-06-23
  • 阅读 ( 965 )
  • ( 9 )

Uniswap V3 手续费收取

看了多遍文章，把自己的理解梳理了下重新描述了一遍
Uniswap V3  Uniswap  手续费 
  • nilliol
  • 发布于 2024-06-23
  • 阅读 ( 2610 )
  • ( 49 )