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

Solidity 变异测试

文章介绍了突变测试的概念，即通过故意在代码中引入错误来检查测试套件的质量。文章详细举例说明了突变测试的应用，包括如何在Solidity代码中实施，并介绍了自动突变测试工具及其可能的结果。此外，还讨论了突变测试的重要性和局限性，并推荐了一些相关的学习资源。
突变测试  Solidity  测试套件  自动测试工具  Foundry  vertigo-rs 

旅行时间 ≈ 750 * 距离 ^ 0.6

本文探讨了旅行时间与距离之间的关系，提出了一种近似模型（travel time ~= 750 * distance ^ 0.6），并通过数据分析验证了该模型的有效性。作者通过使用GeoLife数据集和各种编程工具，分析了公共交通的旅行时间以及航空旅行的影响，发现旅行时间与距离之间存在有趣的幂律关系，甚至可扩展至考虑星际旅行的情境。
旅行时间  距离  GeoLife数据集  公共交通  幂律关系  API 

Tenderly 全栈基础设施如何超越节点标准

Tenderly 通过网络虚拟化（DevNets）和节点定制 (Node Extensions) 两种方式增强了其全栈基础设施，旨在超越标准节点体验。DevNets 允许开发者在隔离环境中针对生产数据进行安全测试，而 Node Extensions 则允许开发者定制 JSON-RPC 接口以适应其 DApp，从而提高了性能和用户体验。
devnets  Node Extensions  全栈基础设施  网络虚拟化  节点定制  json-rpc 

实现闪电网络上的非托管式交易

本文介绍了10101项目，该项目旨在将非托管交易功能引入闪电网络，允许用户在不放弃资金控制权的前提下进行比特币交易。文章详细解释了非托管交易的原理、谨慎日志合约（DLC）的概念，以及如何在闪电网络中实现DLC，从而实现无对手方风险的交易。
闪电网络  非托管交易  谨慎日志合约  DLC  比特币  多签名 

完整的 Web3 游戏技术栈

本文介绍了构建 Web3 游戏的技术栈，包括区块链选择、Web3 库、API、RPC 节点、智能合约和去中心化钱包等关键组件。强调了选择合适的技术栈对于开发去中心化、沉浸式和安全的 Web3 游戏体验至关重要，并推荐使用 Zeeve 平台简化游戏开发过程。
Web3游戏  技术栈  区块链  智能合约  去中心化钱包  RPC节点 

释放创新：人工智能和区块链在各个行业的五种激动人心的应用

本文探讨了人工智能（AI）和区块链技术在各个行业的五种潜在应用：内容分析、虚拟活动、AI生成音乐、电子健康记录和可持续时尚。AI可以分析大量数据，区块链提供安全透明的记录，两者结合能够创新各行各业，例如提升内容可信度，安全管理音乐版权，改善医疗数据管理，促进时尚产业的可持续性。
人工智能  区块链  内容分析  虚拟活动  音乐创作  电子健康记录  可持续时尚 
  • gelato
  • 发布于 2023-04-15
  • 阅读 ( 1192 )

原子化多路径付款（AMP）完全解说

本文深入探讨了闪电网络中的原子化多路径支付（AMP）技术，这是一种将大额比特币付款拆分成多个小额付款，并通过不同支付通道同时发送的技术。AMP 旨在解决闪电网络在处理大额交易时遇到的流动性和容量限制，并通过原子性保证了要么所有部分付款都成功，要么全部失败。
闪电网络  原子化多路径支付  AMP  多路径付款  流动性  通道容量 

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

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

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

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

科普: 零知识证明, 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
  • 阅读 ( 1509 )

深入解析polygon zkEVM(二)

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

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

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