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

想要高质量的代码吗？学习如何使用差分模糊测试！

本文介绍了差分模糊测试（Differential Fuzzing）的概念、使用场景和结构。差分模糊测试通过生成大量随机输入，比较同一算法的不同实现，以发现逻辑错误。文章还提供了一个使用Rust的libfuzzer工具的差分模糊测试示例，并讨论了如何处理不同实现间输入输出格式的差异，以确保测试的有效性。
差分模糊测试  模糊测试  fuzzing  测试技术  安全测试  libfuzzer 

构建一个智能合约模糊测试工具，既有趣又有利可图

本文介绍了作者如何构建一个基于属性测试的工具 fuzzing-like-smarter-degen，用于检测智能合约中的漏洞。文章详细讨论了传统的单元测试的局限性，并介绍了模糊测试（fuzzing）的原理及其在智能合约安全检测中的应用。作者还介绍了如何通过假设库（Hypothesis）实现模糊测试，并展示了该工具的运行效果。
模糊测试  智能合约  漏洞检测  属性测试  Hypothesis  以太坊 
  • jat9292
  • 发布于 2023-04-15
  • 阅读 ( 1646 )

科普: 零知识证明, SNARK与STARK 及使用场景

零知识证明使用场景分析，在 Rollup 之外，还可以应用在哪？
零知识证明  zkSNARK  zkSTARK 

常见问题解答

DLN是一种非托管的跨链交易协议，通过点对点流动性网络实现快速、高效和安全的跨链原生资产交易，解决了传统跨链平台成本高、流动性不足、滑点和MEV攻击等问题，目前支持Ethereum, Arbitrum, Polygon, BNB Chain, 和Avalanche之间的资产交易，交易费用最低为8bps。
跨链交易  非托管  DLN  流动性网络  MEV  滑点 

利用零知识证明、全同态加密和新的分布式系统算法改造未来

文章讨论了零知识证明（ZKPs）等密码学技术在应对日益复杂的社会挑战中的作用，强调了其在区块链、人工智能、硬件安全、国家安全以及数据隐私保护等多个领域的潜在应用。文章指出，随着AI普及和中心化信任的减弱，ZKPs和同态加密等技术将变得至关重要，并表示将致力于支持相关技术的初创企业。
零知识证明  区块链  密码学  同态加密  AI  数据隐私 

如何使用节点扩展自定义 RPC 端点

Tenderly 推出了 Node Extensions，这是一个可完全定制的节点解决方案，允许开发者构建和部署自定义 RPC 端点。通过 Node Extensions，开发者可以将自定义 RPC 设置为可重用的模版，集成到 DApp 中，甚至与社区分享。文章介绍了一些预设的扩展，如模拟发送交易、Paymaster 节点扩展和 Multicall 节点扩展, 优化 DApp。
RPC  节点扩展  DApp  tenderly  Paymaster  multicall 

弥合差距：ZK-SNARKs如何通过zkml为私有机器学习模型带来透明度

本文探讨了机器学习模型在隐私和透明性之间的平衡问题，介绍了零知识简洁非交互式知识论证(ZK-SNARKs)如何在不泄露模型权重的情况下证明模型正确执行。通过开源框架zkml，本文提供了利用ZK-SNARKs进行机器学习模型信任执行的具体示例，展示了该技术在社交媒体和医疗领域的潜在应用。
zk-SNARKs  机器学习  隐私  透明性  ZKML  可信执行 

venus-miner 代码解析 笔记

代码解析思路提出几个需要解决问题。venus-miner解决解决这些问题的设计思路和架构。最后要问问为什么这样设计？需要解决的问题所以区块链系统都需要解决谁有权利出块，没有按照规定出块的人如何惩罚，出块人如何从交易池中获取交易，并验证交易（预执行并获取执行后的状态根or只是进行交易

BIP 345：OP_VAULT 提议

该BIP提出了两种新的tapscript操作码 OP_VAULT 和 OP_VAULT_RECOVER，旨在通过结合 OP_CHECKTEMPLATEVERIFY 实现一种专门的限制条款（covenant），允许用户在资金被花费到任意目的地之前强制执行一段时延，期间资金可以被转移到预先指定的 “复原” 路径中。此举旨在降低私钥泄露的风险，并提供一种可证明的时间锁机制，以应对潜在的攻击。
OP_VAULT  OP_VAULT_RECOVER  Tapscript  限制条款  时间锁  复原路径 

Uniswap 应用程序现已可用

Uniswap 发布了移动应用程序，该程序允许用户在移动设备上无缝交易和管理加密资产。它具有安全简单的交换功能、自我托管和易于使用的特点，支持Mainnet、Polygon、Arbitrum和Optimism等多条链，并集成了购买加密货币、NFT查看、WalletConnect等功能。用户可以通过iOS App Store下载。
Uniswap  移动应用程序  DeFi  加密货币  钱包  NFT  walletconnect 

MEV机器人遭遇攻击损失2500万美元：分析揭示

2023年4月3日，以太坊上的多个MEV机器人在16964664区块中遭到攻击，一名恶意验证者替换了8个交易，导致5个MEV机器人损失约2538万美元。攻击主要针对与Flashbots相关的MEV机器人。漏洞在于Flashbots的`mev_boost_relay`模块未正确处理错误，恶意验证者利用这一点修改区块内容并成功使其被主网接受，最终攻击者耗尽了MEV机器人的资金池。
MEV 机器人  Flashbots  以太坊  漏洞  攻击  三明治攻击 
  • zan.top
  • 发布于 2023-04-13
  • 阅读 ( 1233 )

深入解析polygon zkEVM(二)

我们将依托上篇文章建立的框架，深入polygon zkEVM关于Sequencer和Bridge更多的技术细节，同时也探讨未来潜在的去中心化Sequencer架构的不同特点。
zkEVM  Polygon zkEVM 
  • 0xhhh
  • 发布于 2023-04-13
  • 阅读 ( 5363 )
  • ( 5 )

Tenderly DevNets：使用主网数据进行开发和测试

Tenderly 推出了 DevNets，这是一种托管的、零设置的智能合约开发环境，内置了调试工具。它提供更快的智能合约开发和测试，简化开发流程，并提供对 Tenderly 全套开发和调试工具的访问，例如调试器、Gas 分析器和交易追踪，还支持 30 多个网络。
devnets  智能合约  调试  开发环境  测试  以太坊 

比特币交易实际上是如何运作的？

本文作者为了帮助自己理解比特币的工作原理而撰写了这篇文章。文章从公钥/私钥对的生成、数字签名，到比特币交易的构建和验证过程进行了较为详细的解释，包括如何创建地址、UTXO、输入和输出，以及PubKey Script的验证过程。最后，还列出了一些对理解比特币有帮助的资源。
比特币  公钥  私钥  数字签名  交易  UTXO  PubKey Script 

开源 zkml：人人可用的无信任机器学习

这篇文章宣布了zkml的开源发布，zkml是一个用于生成机器学习模型执行的零知识证明的框架。文章详细介绍了zkml的愿景、使用方法及其应用，包括信任审计、去中心化市场和隐私保护生物识别等。作者强调了zkml的高效性和优化能力，并展望了未来的发展方向。
零知识证明  机器学习  zk-SNARK  信任审计  开源框架  隐私保护 

学习Move

在Move中，首先就规定了Resource是第一公民，在编程的时候是必须被首先考虑的被编程对象。这种开发思想，就告诉开发者要全心全意的去看待Resource，重视资产的安全性
Move 
  • zero
  • 发布于 2023-04-12
  • 阅读 ( 3675 )
  • ( 22 )

升级到未来：以太坊上海与Capella升级详解

本文深入探讨了以太坊的上海/Capella升级（Shapella），该升级于2023年4月12日进行，主要关注解锁质押的ETH和允许验证者提取其质押的ETH奖励。文章详细介绍了此次升级中包含的各项以太坊改进提案（EIP），以及升级后对验证者提款选项的影响，并分析了对ETH质押市场和流动性质押衍生品的需求的潜在影响。此外，还提到了即将到来的坎昆升级。
以太坊  上海升级  Capella升级  shapella  质押  EIP  提款 
  • gelato
  • 发布于 2023-04-12
  • 阅读 ( 1118 )

Solidity Staticcall EIP 214

本文详细介绍了以太坊中的staticcall操作，解释了其与常规call的区别，及其在防止状态变更中的应用。同时，文章也讨论了staticcall的安全性问题，如拒绝服务攻击和重入攻击，并提供了代码示例来说明其使用方法。
staticcall  以太坊  EIP 214  Yul assembly  Solidity  重入攻击 

2023年加密货币行业报告：推出加密货币行业指数

本报告由 a16z 发布，旨在通过技术指标而非金融指标来衡量加密行业的发展状况。报告提出了“加密行业指数”，该指数综合了14个行业指标，包括活跃用户数、DeFi 和 NFT 活动、开发者数量、区块链扩展方案以及零知识证明等新兴技术的发展。报告还指出美国在 Web3 领域的主导地位正在减弱，并强调了价格创新周期对行业发展的推动作用。
Web3  区块链  加密货币  DeFi  NFT  零知识证明 

像协议一样看待

文章深入探讨了以太坊协议开发中的边界问题，着重分析了协议的自省能力（通过可信信号获取）和执行能力（对特定结果的倾向性）。文章通过案例研究，如MEV燃烧、审查制度等，探讨了社区在协议开发中的作用，以及如何通过协议升级来增强协议的可信度。文章还讨论了验证者激励和外部因素对协议可信度的影响，强调协议开发应关注社区愿意捍卫的结果，以确保协议真正代表社区的意愿。
协议可信度  协议自省  协议执行  验证者  MEV  EIP-1559 
  • barnabe
  • 发布于 2023-04-11
  • 阅读 ( 786 )