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

ZK Catalog - 汇总链上ZK验证器的源代码验证

L2BEAT推出了ZK Catalog，旨在汇总链上ZK验证器的源代码验证信息。由于ZK项目验证过程复杂且依赖定制工具，L2BEAT将提供验证状态的认证徽章，并鼓励社区贡献，以提高ZK程序的透明度并促进行业标准化。
zk  零知识证明  验证器  源代码验证  可信设置  zkEVM 
  • l2beat
  • 发布于 2024-06-26
  • 阅读 ( 555 )

SharkTeam：美国众议院FIT21法案解读

in  智能合约安全
2024年5月23日，美国众议院以279票赞成、136票反对的结果正式通过FIT21加密法案（FinancialInnovationandTechnologyforthe21stCenturyAct）。
  • SharkTeam
  • 发布于 2024-06-26
  • 阅读 ( 2730 )
  • ( 17 )

零时科技 || JokInTheBox攻击事件分析

JokInTheBox项目遭受攻击，导致约34,292美元的损失。攻击者利用合约中解除质押函数的漏洞，反复解除质押以取出所有用户的资产。
黑客攻击  漏洞分析  区块链安全 

🎥 如何创建和设置AI代理

本文介绍了如何创建一个集成了区块链技术的AI代理，用于在Discord上获取和处理以太坊区块数据。文章详细介绍了如何使用QuickNode Streams获取区块数据，并将其存储到PostgreSQL数据库中，同时通过JavaScript代码实现Discord与AI代理的交互。
AI代理  区块链  QuickNode  PostgreSQL  Discord  JavaScript 

EigenDA：一个为 EigenLayer Rollup 设计的数据可用性服务

本文介绍了 EigenDA，一个基于 EigenLayer 构建的超大规模数据可用性解决方案，旨在为 Rollup 和 AVS 提供支持。它通过模块化设计，实现可扩展、低成本和去中心化的数据存储和检索，从而提高以太坊的扩展性， 并通过EigenLayer 的 restaking 模型来保障安全性。
EigenDA  EigenLayer  数据可用性  Rollup  AVS  restaking 
  • DAIC
  • 发布于 2024-06-26
  • 阅读 ( 231 )

集成 EIP 6963 - 给前端开发者的指南

EIP-6963 解决同时多个钱包提供者的烦恼，本文介绍如在在前端 React应用中集成 EIP-6963 。
EIP6963  EIP  react  EIP1193 

科普：什么是 BC-404 ？全方位解读最新通缩型 NFT 标准

BC-404（BondingCurve404）—基于对ERC-404的改进，加密货币中第一个通货紧缩NFT合约。本文将深入探讨这个融合了 ERC-404 优点并加以创新的 BC-404 标准。
BC404  NFT  NFTScan 

Pump.fun背后的数学原理 - bonding curve

Pump.fun 是一个基于 Solana 的市场，允许用户创建和分发代币，特别是 memecoins。核心概念是所谓的绑定曲线，这是一种数学框架，用于定义代币的创建、价值和交易方式，与传统的加密货币不同，Pump.fun 的绑定曲线促进了价格稳定与透明性。文章深入探讨了绑定曲线的原理和机制，以及与传统 memecoins 的差异。
pump.fun  绑定曲线  memecoins  代币发行  加密货币  Solana 

EIP-6963 简介

EIP-6963 旨在简化用户同时使用多个钱包时的用户 UI 体验问题。
EIP  EIP6963  EIP1193 
  • BlockApex
  • 发布于 2024-06-26
  • 阅读 ( 2309 )
  • ( 3 )

CRYSTALS Kyber：后量子加密的关键

文章详细介绍了CRYSTALS Kyber，一种基于格结构的后量子加密算法，旨在抵御量子计算的威胁。文章深入探讨了Kyber的核心机制，包括密钥封装机制（KEM）和学习误差问题（LWE），并提供了相关数学公式和算法的解释。
CRYSTALS Kyber  后量子加密  密钥封装机制  学习误差问题  格结构  量子计算 
  • hwupathum
  • 发布于 2024-06-26
  • 阅读 ( 3176 )
  • ( 2 )

Web3 极客日报 #1535

  • rebase
  • 发布于 2024-06-25
  • 阅读 ( 1202 )
  • ( 7 )

全网最通俗易懂c3线性化讲解，继承讲解

本文主要讲不规则继承下合约的插槽问题和调用函数问题钻石继承的插槽问题试问现在有上图这样的继承关系，abcd中各有一个变量，请问他们在插槽中的顺序是什么样的这要取决于D是在继承bc时的写法contractDisB,C{如果是这样写的，那么b的变量就排在c的变量前面，此时可以把c当
继承  c3 
  • oo
  • 发布于 2024-06-25
  • 阅读 ( 1649 )
  • ( 10 )

Lido 详解 #2：共识与提款

在这份指南中，深入探讨以太坊共识和 Lido 的提款模块的复杂性。了解从信标链到验证者生命周期的关键组件，以及它们如何塑造协议的安全性和功能
Lido  共识层  LSD  执行层 
  • Oxorio
  • 发布于 2024-06-25
  • 阅读 ( 2716 )
  • ( 36 )

Lido 详解 #1： 历史与架构

了解 Lido 协议发展的整个过程，揭示 Lido 如何适应以太坊的变化，将深入探讨协议本身的机制，用简单的术语描述其架构和复杂操作原理。
Lido  共识层  信标链 
  • Oxorio
  • 发布于 2024-06-25
  • 阅读 ( 4873 )
  • ( 53 )

简介：什么是并行 EVM？

并行 EVM 可以同时处理多个交易，只要它们不依赖于彼此的结果。这种并行性显著提高了网络的效率和可扩展性。
并行EVM 

执行拍卖作为执行票证的替代方案 - 权益证明/区块提议者

本文对比了两种解决以太坊 MEV 问题的方案：Execution Auctions (EAs) 和 Execution Tickets (ETs)。
MEV  Execution Auctions  Execution Tickets  以太坊  区块空间  中心化 

解除 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
  • 阅读 ( 5207 )
  • ( 52 )

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

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