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

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

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

解锁以太坊的扩容：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
  • 阅读 ( 805 )

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

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

如何设置 Solana 验证节点

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

ETH质押者的生存威胁：客户端多数风险

文章讨论了以太坊客户端软件多样性不足的问题，特别是Geth客户端的过度使用构成的潜在风险。文章指出，Geth的超级多数地位可能导致严重的后果，包括大量质押ETH的损失以及以太坊分叉，并分析了应对这些风险的社区努力和措施，强调了客户端多样化的重要性。
以太坊  Geth  客户端多样性  质押  分叉  验证者 

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

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

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

Layer2 开发教程 # 1 什么是 Layer2、Rollup、DA？

记录一下个人学习笔记，参考网上资料，本文主要是我个人学习笔记，内容出处均在文末注明。部分内容源自ChatGPT，如文中有错误还请不吝赐教。【文本】标识的内容文本为作者个人观点，仅供参考。L1与L2L1，也就是第一层网络，指的是底层区块链基础设施。它们是整个区块链生态系统的基石，为上层
Layer2  Rollup  DA 

超越解锁计划 - 解读代币释放对二级市场的影响

本文深入探讨了Token经济中Vesting（代币解锁）的概念及其对二级市场的影响。
代币解锁  Vesting  二级市场  流动性  token经济  财政 
  • Nomiks
  • 发布于 2024-04-24
  • 阅读 ( 701 )

通过平衡 PBS 区块大小来减少延迟游戏 - 权益证明/区块提议者

本文讨论了以太坊中区块大小与交易包含之间的关系，指出区块构建者为了最大化收益，可能会因为延迟和区块大小的限制，遗漏一些可以包含的交易。作者建议设置一个gas使用下限，以激励区块构建者充分利用区块空间，避免交易因竞争而被排除。
区块大小  优先费用  MEV  交易池  Gas限制  区块构建者 

BitVM 2：比特币上的免许可验证

in  BTCStudy 精选
BitVM 2：比特币上的免许可验证
BitVM 
  • BTCStudy
  • 发布于 2024-04-24
  • 阅读 ( 2950 )
  • ( 6 )