文章 - 第318页 - 登链社区

venus-gateway 代码解析

gateway只是转发链组件（miner，messager）发送给本地组件（wallet，cluster，market）的一个代理，中间不会存储任何信息，所以也就没有用数据库。gateway也需要在auth服务中注册，也就是依赖auth组件，只依赖这一个服务，剩下的服务都是反向依赖gataway

venus

杜满想Elvin
发布于 2023-04-19
阅读 ( 1680 )
( 3 )

ZK-SNARKs中的算术化

零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。

零知识证明

XPTY
发布于 2023-04-19
阅读 ( 3360 )

venus-messager 代码解析笔记

messager管理了message，node，address，share-params,actor-config等主要的功能。models包是对数据库的抽象实现，所以对数据库的操作都是通过这个包。其中内部的repopackage包含了以上5个（message，node，address，sh

venus

杜满想Elvin
发布于 2023-04-19
阅读 ( 1535 )
( 2 )

Rollup Layer2 的模块化演进之路

本文从演化角度讨论 Rollup Layer2 的发展以及演进

Rollup Layer2

Rooch Network
发布于 2023-04-19
阅读 ( 3192 )
( 8 )

以太坊预编译合约

本文详细介绍了以太坊预编译合约的九种类型及其应用场景，包括椭圆曲线数字签名恢复、哈希方法、内存复制和椭圆曲线数学运算等，并提供了如何使用Solidity调用这些预编译合约的示例代码。

预编译合约以太坊 Solidity 椭圆曲线哈希方法内存复制

RareSkills
发布于 2023-04-18
阅读 ( 285 )

深入了解EVM #1：EVM字节码与环境

本文深入探讨了以太坊虚拟机(EVM)及其字节码的工作原理。文章介绍了虚拟机的基本概念、字节码结构、操作码以及EVM的执行环境，包括内存、栈、调用数据和存储的功能与特点，为理解EVM的运作提供了基础知识。

以太坊虚拟机字节码操作码 EVM环境 Solidity EVM

jpmorais
发布于 2023-04-18
阅读 ( 165 )

每周以太坊进展 2023/4/15

上海升级已经完成，验证这可以取款了

每周以太坊

EthWeekly
发布于 2023-04-17
阅读 ( 2614 )
( 15 )

Solidity 变异测试

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

突变测试 Solidity 测试套件自动测试工具 Foundry vertigo-rs

RareSkills
发布于 2023-04-16
阅读 ( 265 )

旅行时间 ≈ 750 * 距离 ^ 0.6

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

旅行时间距离 GeoLife数据集公共交通幂律关系 API

Vitalik Buterin
发布于 2023-04-16
阅读 ( 198 )

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

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

模糊测试智能合约漏洞检测属性测试 Hypothesis 以太坊

jat9292
发布于 2023-04-15
阅读 ( 353 )

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

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

零知识证明 zkSNARK zkSTARK

翻译小组
发布于 2023-04-15
阅读 ( 4969 )
( 142 )

常见问题解答

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

跨链交易非托管 DLN 流动性网络 MEV 滑点

dln-trade
发布于 2023-04-14
阅读 ( 102 )

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

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

zk-SNARKs 机器学习隐私透明性 ZKML 可信执行

danieldkang
发布于 2023-04-14
阅读 ( 492 )

venus-miner 代码解析笔记

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

杜满想Elvin
发布于 2023-04-14
阅读 ( 1994 )
( 5 )

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

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

MEV 机器人 Flashbots 以太坊漏洞攻击三明治攻击