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

Lighter ZK 电路公开报告 - ZKSECURITY

zkSecurity 团队与 Lighter 合作，审查了其用于可验证订单簿匹配的 ZK 电路。代码组织良好，结构扎实。Lighter 是一种 Layer2 交易所，通过零知识证明在 Layer1 上验证和确认状态转换，从而实现 ZK Rollup。Lighter 有两个主要电路：主操作电路和紧急出口电路，在紧急情况下允许用户退出系统。
ZK Rollup  零知识证明  Layer2  订单簿  电路  Merkle树 

加密货币项目中的代币归属：为什么需要以及如何实施

本文深入探讨了加密货币项目中代币归属的各种技术和方法，包括日历式和里程碑式归属，以及push和pull两种代币分发方式。文章还讨论了在智能合约中实施归属时可能出现的常见问题，并比较了三种不同的实施方法：在ERC20代币合约中、通过智能合约系统以及在独立的智能合约中。最后，强调了根据项目具体需求定制归属方案的重要性。
代币归属  智能合约  ERC20  代币经济学  区块链  vesting 

对Uniswap V2的思考

Uniswap通过x*y=k这个恒定乘积的等式完成了链上自动做市。当然它也有一个特别大的缺点，就是随着池中B的减少，B的价格会越来越贵，和外部的价格越来越偏离了。为了解决这种偏离，套利者会通过其连续的套利活动将差异抹到可以忽略的地步。那么是谁在支付这些收益。Uniswap的项目方不可
DeFi 

以太坊签名解析

以太坊签名解析签名交易一个签名交易由(nonce,gasPrice,gasLimit,to,value,data,v,r,s)构成。其中的参数作用如下：nonce:记录发起交易的账户已执行交易总数。gasPrice:该交易每单位gas的价格。gasLimit:该交易支
签名 

利用形式验证在更短时间内捕获棘手的漏洞

本文探讨了形式验证(FV)在智能合约安全中的重要性，强调了其在测量和提升代码安全性方面的优势。通过衍生测试和覆盖率度量等方法，形式验证提高了对潜在漏洞的识别能力，并通过社区竞赛的形式加速代码审核过程，从而在较短时间内达成高安全性目标。
形式验证  智能合约  代码安全  安全审核  覆盖率  衍生测试 
  • Certora
  • 发布于 2024-04-25
  • 阅读 ( 518 )

解锁以太坊的扩容：EIP-4844 解释

EIP-4844 是增加 L2 潜力并使以太坊与其扩展路线图保持一致的下一步。
扩容  EIP4844 

B-Square 学习

简单介绍了B2的核心机制，来自B2的官方文档摘抄
B-Square  BTC L2 

ZK的算术电路

in  零知识证明之书
文章介绍了在零知识证明中使用的算术电路（Arithmetic Circuits）与布尔电路（Boolean Circuits）的对比，并展示了如何将算术电路用于求解NP问题。文章详细解释了算术电路的原理、实现方法，并提供了多个具体示例，如三色图问题和排序列表问题。
零知识证明  算术电路  布尔电路  NP问题  三色图问题 

Groq为何如此快速？Groq的TSP架构概述

本文深入探讨了Groq的Tensor Streaming Processors（TSP）如何在深度学习工作负载中实现显著的LLM推理速度，重点介绍了其编译时数据传输调度、最佳缓存驱逐策略及TSP同步机制等技术优势。通过与传统CPU/GPU的对比，展示了TSP在确保确定性和提高带宽利用率方面的有效性。
张量流处理器  深度学习  编译时调度  缓存策略  同步机制  高效处理 
  • zellic
  • 发布于 2024-04-25
  • 阅读 ( 523 )

AgentFi——由 AI 驱动且即将主导 DeFi 领域的叙事

一场新的由 AI 驱动的叙事即将主导 DeFi 领域，它将永久且彻底改变加密货币市场的运作方式。 AI 代理驱动金融很快将成为现实，其对行业的影响将是深远的、难以想象的。

JavaScript精粹：26个关键字深度解析，编写高质量代码的秘诀！

JavaScript关键字是一种特殊的标识符，它们在语言中有固定的含义，不能用作变量名或函数名。这些关键字是JavaScript的基础，理解它们是掌握JavaScript的关键。今天，我们将一起探索JavaScript中的26个关键字，了解这些关键字各自独特的含义、特性和使用方法。
JavaScript 

如何设置 Solana 验证节点

本文详细介绍了如何从技术角度设置和运行Solana主网验证器，包括硬件要求、Solana CLI的安装、密钥对的生成、投票账户的设置、机器配置、监控和安全设置等。文章还提供了一些额外的资源和工具，帮助用户更好地管理和优化验证器。
Solana  Validator  CLI  Vote Account  Stake  RPC 
  • Helius
  • 发布于 2024-04-25
  • 阅读 ( 1062 )

12.轻松入门Sui Move: 父子对象

当一个对象被转交给另一个对象的时候，这两个对象就形成了父子关系
Move 

11.轻松入门Sui Move: Bag和Table

上一章我们讲到使用动态字段可以给Person对象动态添加电子设备的例子，因为无法直接获取Person对象的动态字段个数，在删除Person对象之前，具体应该删除多少个动态字段也是不确定的，所以其实特别容易漏删，造成资源浪费。
Sui Move 

深入剖析 ERC721

in  Learn ERC protocol
ERC721和ERC20一样，都是一个代币标准，ERC721代币是不可细分的，每一个代币都是唯一的。每一个ERC721代币都有自己的标识符，通常用于表示独立的资产，例如数字艺术品，游戏中的虚拟角色或房地产。
ERC721 
  • 0xSecYou
  • 发布于 2024-04-25
  • 阅读 ( 3618 )
  • ( 28 )

Dapplink 多重质押协议 LinkLayer 测试网上线, 参与瓜分 300 USDT并获得空投积分

4月25日12：00，Dapplink多重质押协议LinkLayer测试网将正式上线。Dapplink联合TheWeb3社区发起有奖测试活动，邀请节点运营商和质押者来测试网进行质押，参与者可瓜分300USDT活动奖励并获得Dapplink空投积分。我们会从交互次数
Layer3 
  • Dapplink
  • 发布于 2024-04-25
  • 阅读 ( 1675 )
  • ( 7 )

SUI Move开发必知必会——使用SUI DeepBook构建DEX-2：实践篇

in  SUI Move开发必知必会<Let's Move>
SUI Move开发必知必会——使用SUI DeepBook构建DEX-2：实践篇
Sui  DeepBook  DEX 
  • rzexin
  • 发布于 2024-04-25
  • 阅读 ( 2533 )
  • ( 15 )

SUI Move开发必知必会——使用SUI DeepBook构建DEX-1：入门篇

in  SUI Move开发必知必会<Let's Move>
SUI Move开发必知必会——使用SUI DeepBook构建DEX-1：入门篇
Sui  DeepBook  DEX 
  • rzexin
  • 发布于 2024-04-25
  • 阅读 ( 3054 )
  • ( 21 )

使用 LayerZero V2 将任何代币桥接到 Berachain

本文介绍了如何使用 LayerZero 的 OFT (Omnichain Fungible Token) V2 版本，将 Sepolia 测试网上的 UNI 代币桥接到 Berachain。文章详细说明了在 Sepolia 上部署 OFT Adapter 合约，在 Berachain 上部署 OFT 合约，以及配置合约桥接代币的步骤，并提供了相关的 Foundry 脚本示例。
LayerZero  OFT  Omnichain Fungible Token  Berachain  跨链桥  Solidity 

深入剖析 ERC777

in  Learn ERC protocol
ERC777与ERC20兼容（兼容的意思就是ERC777的功能包括了ERC20的所有功能，实现兼容的方式就是，让ERC777直接继承IERC20接口。），同时引入了operator操作员的概念。
ERC777  ERC1820 
  • 0xSecYou
  • 发布于 2024-04-24
  • 阅读 ( 2506 )
  • ( 10 )