Scroll 详解

视频总结如下：

一、DoraHacks的全球黑客马拉松和资助计划，以及ZK rollup的扩容解决方案score，包括其优势和竞争对手，同时讲解了ZK相关的关键概念。

00:01 - 介绍DoraHacks平台，包括黑客松和项目资助

02:00 - zk rollup的入门和理解，以及与其他zk rob的区别

07:59 - ZKP的隐私和扩容特性，以及如何实现零知识证明

二、ZK rollup方案的扩容效果和以太坊账户模型下ZK的实现难点，同时讨论了ZK和隐私的权衡，以及SNARK和STARK的区别。

08:23 - ZK proof能消耗更小的带宽和gas，起到扩容的效果

10:45 - ZK proof只是多了一些随机性函数，以实现不可预测性，但对于隐私来说并不是最好的选择

15:00 - ZK technology对于以太坊的账户模型来说难以兼容，因此在项目侧重上有不同的偏向

三、ZKSNARK和STARK两种零知识证明方式的区别，包括数据量、验证效率、可信设置等方面，以及ZKEVM和ZKVM的区别和应用场景。

16:40 - SNARK验证更快，但需要可信任设置，存在风险

19:40 - SNARK和STARK在密码学层面差别不大，更多是需求的 trade off

23:26 - ZKEVM兼容EVM虚拟机，适用于智能合约，CKVM侧重于系统扩容

四、ZKEVM和ZKVM的区别，包括兼容性、性能、指令集和开发者体验等方面。同时，还介绍了基于电路和虚拟机的系统在构建ZK证明系统时的不同思路。

25:01 - ZKEVM把兼容EVM作为首要目标

25:44 - ZKVM引入指令集IS导致性能瓶颈

27:52 - Scroll是目前兼容EVM最好的实现，实现了自节码级别的兼容性

五、一种基于电路系统和虚拟机系统的可编程约束系统，以及其优缺点和应用场景。同时，还介绍了scroll系统的特点和发展战略。

33:21 - 逻辑门电路的优缺点

34:24 - 电路系统和虚拟机的不同，虚拟机更加抽象和封装

39:32 - 硬件加速方案包括ASIC、GPU和FPGA，用于加速zkSNACK证明生成

六、雷欧斯(Leo)三层架构，以及如何通过构建专有链和使用第三方DA层来降低成本。同时，还详细介绍了Score框架的实现过程。

41:40 - 雷欧斯构建三层是不可能的，因为成本太高

43:26 - 雷欧斯可以理解成一个专有链，可以实现更多的自治性和自主性

49:13 - score网络中的pr生成网络有多个计算节点组成，可以加入欺诈证明等机制来保证

七、基于区块链的去中心化计算网络ROL，其中引入了多个节点来防止作恶，并与GPU厂商合作提供计算能力。同时，介绍了该网络的架构和应用。

50:02 - 引入多个节点可以防止作恶

50:29 - ROL与GPU厂商合作开发矿机服务

51:21 - PROFER是整个架构的核心，用于跨链交互