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

Sui 构造一笔赞助交易

我们看到的赞助交易是如何构造出来的？交易者和赞助方分别做了哪些事情？
赞助交易 
  • sycute
  • 发布于 2024-04-25
  • 阅读 ( 1719 )
  • ( 7 )

使用形式化验证在更短的时间内捕获棘手的错误

本文探讨了如何通过形式化验证（FV）竞赛来提高智能合约代码的安全性，并量化安全服务的有效性。文章强调了形式化验证的关键优势，包括可衡量的覆盖率指标、持续的安全研究参与，以及通过社区合作加速验证过程。形式化验证通过mutation测试等方式量化代码覆盖率，从而改进代码安全性，并能在短时间内提供可衡量的代码安全性提升。
形式化验证  智能合约  安全性  覆盖率  Mutation测试  FV竞赛 
  • Certora
  • 发布于 2024-04-25
  • 阅读 ( 145 )

什么是比特币 Rollups？

什么是比特币 Rollups？
Rollup  比特币  BitVM 

BitVM 概述：将有效性证明引入比特币

BitVM 概述：将有效性证明引入比特币
BitVM 

Let's Move 从前端到web3入门教程 (2) Navi竞赛奖励第4期

in  从0基础开始写Sui MOVE 应用&游戏 实战系列
Let'sMove从前端到web3入门教程(2)Navi竞赛奖励第4期引子最近navi又增加了一个活动相信上次参加竞赛的同学们已经拿到奖金了吧，没来得及的继续努力！开始上一个章节我们探讨了npm和nodejs的基本用法，非常初级，这次竞赛更加复杂，所用到的typescript等
Sui Move  navi 
  • Summer.XJ
  • 发布于 2024-04-25
  • 阅读 ( 1957 )
  • ( 15 )

Sui Move 简易版扫雷

Sui Move 简易版扫雷 —— 以传统的扫雷游戏规则为模板，将扫雷区域简化成 5 × 10 的正方形，点开所有安全格子视为获得胜利。
Sui Move 
  • Nigdle
  • 发布于 2024-04-25
  • 阅读 ( 1455 )
  • ( 6 )

机密计算：区块链第二重安全门

in  小猪Web3
基于 TEE 的机密计算虽然可以用于增强区块链的安全性和隐私性，但它本身其实存在侧信道攻击和中心化信任的问题。不过没有一种技术是完美的，目前机密计算与 TEE 已经成了 Web2 中安全防护和隐私计算的工程利器，相信未来在 Web3 中也会大放异彩。
机密计算  TEE  隐私计算 
  • Pignard
  • 发布于 2024-04-25
  • 阅读 ( 2285 )
  • ( 15 )

保护以太坊改进提案流程免受特殊利益影响+案例与案例研究 - 魔术师/流程改进

本文讨论了当前以太坊改进提案（EIP）流程中存在的激励机制问题，即特殊利益集团游说的回报高，而为公共利益服务的参与者回报低。文章通过分析EIP-3074案例，提出了改进EIP流程的原则和建议，包括提高透明度、奖励公共利益贡献者、对审计师进行监督等，旨在更好地保护EIP流程免受特殊利益的影响，并鼓励更多人为以太坊生态系统的公共利益服务。
EIP流程  特殊利益  激励机制  EIP-3074  透明度  公共利益 

如何设置 Solana 验证节点

本文详细介绍了如何从技术角度设置和运行一个Solana主网验证器，包括硬件配置、Solana CLI安装、验证器账户设置、系统调优、监控和安全措施等内容。
Solana  Validator  CLI  Stake  Monitoring  System Tuning 
  • Helius
  • 发布于 2024-04-25
  • 阅读 ( 812 )

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

本文深入探讨了加密货币项目中代币归属的各种技术和方法，包括日历式和里程碑式归属，以及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
  • 阅读 ( 306 )

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

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

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

如何设置 Solana 验证节点

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

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

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