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

Trdelnik 简介：Solana 和 Anchor 的模糊测试框架

Trdelnik 是一个基于 Rust 的测试框架，旨在简化 Solana 程序的测试。它引入了模糊测试功能，通过生成大量的随机输入和调用顺序来探测程序中未知的错误和漏洞，从而提高 Solana 程序的可靠性和安全性。文章还介绍了如何使用 Trdelnik 进行模糊测试的步骤以及如何通过崩溃文件进行程序调试。
Solana program  模糊测试  Trdelnik  Rust语言  Anchor  honggfuzz 
  • Ackee
  • 发布于 2023-08-31
  • 阅读 ( 538 )

假通道 DoS 攻击

in  BTCStudy 精选
下列版本号以前的闪电节点实现，易受本文所述的创建大量假通道的 DoS 攻击： LND 0.16.0、CLN 23.02、eclair 0.9.0、LDK 0.0.114
DoS  闪电网络 

Web3 极客日报 #1304

Web3 极客日报 #1304
  • rebase
  • 发布于 2023-08-31
  • 阅读 ( 1855 )
  • ( 3 )

NFTScan 正式上线 Base NFTScan 浏览器和 NFT API 数据服务

2023年8月24号，NFTScan团队正式对外发布了BaseNFTScan基础设施，将为Base生态的NFT开发者和用户提供简洁高效的NFT数据搜索查询服务。NFTScan作为全球领先的NFT数据基础设施服务商，Base是继Bitcoin、Ethereum

关于 everID 的一些思考

关于everID的一些思考Web3正在加速发展，Arweave作为基础设施将被更多的开发者采用，创造一个全新的、更加丰富多彩的生态系统。PermaDAO正是为此而建立起来的共建者社区。

Blip: 探索 Arweave 的力量，构建开放式的 YouTube 平台

in  Arweave 技术专栏
当 Arweave 的创始人们开始构建这个协议时，他们的目的是构建一个现代版的亚历山大图书馆。于是他们想要构建一个能够记录历史和各种知识的一站式平台。

关于 everID 的一些思考

in  Arweave 技术专栏
正如我所说，注册和登录/密钥管理对于大多数 Web3 的原生者来说，或许并不是一个问题；而其他数十亿潜在用户是不会考虑在登录或付款的环节上花费哪怕超过一眨眼的时间。我们到底是应该不断地警醒他们，直到他们明白“没有自己掌握私钥，那就不是你的币”的重要性呢，还是我们去帮助用户尝试寻找一种合适的替代方案呢

Nimbus共识客户端的增强

本文介绍了对Nimbus Consensus Client的增强计划，重点在于为Nimbus信标节点实现一种新的仅追加数据库。该数据库将利用类似预写日志的基于日志的存储，通过维护数据位置的内存索引来实现高效的读写操作，并通过基于epoch组织数据文件来实现数据修剪。目标是提高数据库性能，减少延迟，并简化代码库，从而确保以太坊网络更加健壮和高效。
Nimbus  共识客户端  仅追加数据库  信标节点  以太坊  日志结构 

对可扩展性和共识变更的思考

本文讨论了比特币扩展到十亿用户的可能性，认为通过50000个相互连接的“银行”来管理资金池，实现支付流是可行的方案。这些“银行”将形成网络，提供不同程度的信任，并通过L1的威慑和竞争对手的渗透压来保证运作。文章还探讨了为这些“银行”构建安全高效工具，以及应对潜在风险（如大规模退出事件）的策略，强调了用户审计和自由迁移的重要性。
比特币  扩展性  Layer2  coinpool  CTV  OP_VAULT 

Web3 极客日报 #1303

Web3 极客日报 #1303
  • rebase
  • 发布于 2023-08-30
  • 阅读 ( 1721 )
  • ( 3 )

Jasmy 推出 Jasmy Chain

Jasmy 推出了基于以太坊的 Layer2 解决方案 Jasmy Chain，旨在提供更高效、经济且安全的数据交易方式，提高数据透明度、安全性和个性化控制。Jasmy Chain 结合了账户抽象、AI 引擎和 DID 等技术，旨在实现数据民主化，让用户能够完全控制自己的数据并从中获益。
Jasmy Chain  Layer2  以太坊  数据民主化  账户抽象  DID  Jasmy AI 引擎 

如何使用 Webhook 实时监控链上大额转账交易

在本文中，我将向你展示如何接收实时的 ERC20 转账数据，以及如何使用 Webhook Sync 和 Telegram 机器人实时监控大额资金转账。
ERC20  数据分析 
  • Chainbase
  • 发布于 2023-08-30
  • 阅读 ( 7642 )
  • ( 46 )

在可信设置中评估和二次算术程序

in  零知识证明之书
本文详细介绍了如何在可信设置的基础上评估二次算术程序（QAP），并解释了如何在不泄露证据的情况下证明QAP的满足性，使用恒定大小的证明。同时还涉及了R1CS、椭圆曲线配对等技术的详细实现。
QAP  R1CS  椭圆曲线配对  可信设置  Groth16协议 

Avail DA：模块化区块链的可扩展基础层

本文介绍了模块化区块链架构，特别是 Avail 项目如何通过提供专用的数据可用性（DA）层来解决区块链扩展性问题。Avail 通过数据可用性采样（DAS）、KZG承诺等技术，为 Validium 和 Sovereign Rollup 等模块化架构提供安全、经济高效的数据可用性解决方案，从而实现更高的可扩展性和灵活性。
模块化区块链  数据可用性  Validium  Sovereign Rollup  KZG承诺  数据可用性采样 

TrueBlocks：开源数据索引器

TrueBlocks 是以太坊基金会支持的一个开源公共物品，前几天发布了正式的 V1 版本， 产品非常非常棒， 迫不及待推荐给大家。
数据基础设施  数据分析  TrueBlocks 
  • Tiny熊
  • 发布于 2023-08-30
  • 阅读 ( 6232 )
  • ( 97 )

Arweave 每周要点精粹：Week 34（PermaDAO 整理版）

Arweave每周要点精粹：Week34（PermaDAO整理版）Web3正在加速发展，Arweave作为基础设施将被更多的开发者采用，创造一个全新的、更加丰富多彩的生态系统。

Web3 极客日报 #1302

Web3 极客日报 #1302
  • rebase
  • 发布于 2023-08-29
  • 阅读 ( 1737 )
  • ( 4 )

Michael.W基于Foundry精读Openzeppelin第33期——EIP712.sol

in  Michael.W基于Foundry精读Openzeppelin
EIP-712是一个专门用于对结构化数据求hash值以及签名的标准，大大解决了数据“链下签名+链上验证”的问题并提高了链上消息签名的可用性。EIP712合约提供了EIP 712 domain separator的定义与获取——是结构化数据完整编码的一部分。
EIP712  OpenZeppelin  Foundry 
  • Michael.W
  • 发布于 2023-08-29
  • 阅读 ( 4694 )
  • ( 6 )

假通道 DoS 攻击

本文作者 Matt Morehouse 揭示了闪电网络节点在特定版本之前存在的漏洞，该漏洞允许攻击者通过创建大量虚假通道发起拒绝服务（DoS）攻击。文章详细描述了攻击原理、对不同节点实现（LND、CLN、eclair、LDK）的影响，并提出了相应的防御措施和未来改进方向，强调了安全审计和多线程架构的重要性。
闪电网络  拒绝服务攻击  DoS攻击  假通道  安全漏洞  瞭望塔 

喵的证明：ZK-VM 工作原理

本文介绍了零知识虚拟机（ZK-VM）的工作原理，通过“Proof of Meow”的例子，解释了如何证明程序的正确执行。文章将程序编译成字节码，然后在虚拟机中执行，生成执行跟踪。Prover验证执行跟踪的正确性，Verifier验证Prover生成的证明。
零知识虚拟机  ZK-VM  字节码  执行跟踪  prover  verifier  EVM