Hack VC 领投 2000 万美元融资，Aligned 如何打造 ZK 验证层?
haoteby 2024-11-06 18:36 19 浏览
原文作者： 1912212.eth
原文来源：Foresight News
ZK 基础设施仍不断得到风险资本的青睐，今年 4 月刚刚完成 260 万美元种子轮融资的 Aligned Layer，仅过不到两月，即完成 2000 万美元的 A 轮融资，其速度之快，相当罕见。其种子轮由 Lemniscap 领投，StarkWare、O(1)Labs 等机构参投，A 轮则由 Hack VC 领投，dao5 等参投。
Aligned 究竟有何特点吸引一众风投疯狂出手？
Aligned 简介
在 Aligned 看来，未来的「证明生成」不会是业内的最大瓶颈，而是链上的证明验证。而目前，因验证成本高昂，ZK 系的应用程序也还无法在以太坊上高效运转。
Aligned 是建立在 EigenLayer 之上的验证和聚合层，它通过利用以太坊验证器的安全性对任何 SNARK 证明进行经济高效的验证。Aligned 可以在以太坊之外拥有更多应用程序，并帮助其他链验证数据。Aligned Layer 由以太坊基础设施初创公司 Yet Another Company 创建开发，而后者在今年 1 月完成 100 万美元融资。
从概览图中可以看出，0 层是比特币、以太坊和 DA 层，Aligned 是 1 层验证层，2 级是其他层，例如：应用链、zkML、zkEVM Rollup 等。
Aligned 如何运行
模块化设计的浪潮中，将多个流程拆分为多个专用层是普遍做法。从单一层负责执行验证、结算、共识到 DA，拆分之后的模块化设计提高效率并减小了成本。
Aligned 主要包含四个核心要素，其中，Aligned 主要接收来自不同证明系统的证明，对其进行验证，这些证明可以使用不同的证明系统生成。它们具有不同的证明大小、验证时间和不同的验证逻辑。然而，所有的证明都有一个共同的特点：它们的验证速度很快。
Aligned 有专门的验证器，可用于检查每个验证器的有效性并将结果发布到以太坊。校样存储在数据可用性层中，该层提供了一种经济高效的存储策略。Aligned 中的运算符从该层获取证明的数据。
以太坊从 Aligned 接收验证结果。但是，以太坊本身无法验证证明，因为成本较高。取而代之的是，一般的 Rust 证明器会为给定时间段内包含的所有证明生成验证证明。
为了聚合所有证明，在第一步中，将所有证明转换为虚拟机执行的证明，从而实现证明的统一性。然后，我们可以通过递归证明证明来缩小证明大小，如树形图所示：
应用案例
Aligned 表示其可能应用的方向包括多种类别，例如：Rollups 和应用链的软最终性、快速桥接、基于 SNARK 的 P2P 协议，比如支付系统和社交网络、与以太坊互操作的公链、机器学习、ZK 预言机、验证身份协议、链上游戏等等。
目前，Aligned 支持 Cairo STARK 的 Platinum Prover、gnark 的 Plonk、Mina 的 Kimchi、SuccintLabs 的 SP1 和 a16z 的 Jolt。验证成本取决于证明的类型及其大小。
此外，Aligned 已于 3 月上线基于 Cosmos SDK 的简单测试网，并将迁移到 EigenLayer 测试网。
相关推荐
- 一日一技:用Python程序将十进制转换为二进制
-
用Python程序将十进制转换为二进制通过将数字连续除以2并以相反顺序打印其余部分，将十进制数转换为二进制。在下面的程序中，我们将学习使用递归函数将十进制数转换为二进制数，代码如下：...
- 十进制转化成二进制你会吗?#数学思维
-
六年级奥赛起跑线：抽屉原理揭秘。同学们好，我是你们的奥耀老师。今天一起来学习奥赛起跑线第三讲二进制计数法。例一：把十进制五十三化成二进制数是多少？首先十进制就是满十进一，二进制就是满二进一。二进制每个...
- 二进制、十进制、八进制和十六进制，它们之间是如何转换的?
-
在学习进制时总会遇到多种进制转换的时候，学会它们之间的转换方法也是必须的，这里分享一下几种进制之间转换的方法，也分享两个好用的转换工具，使用它们能够大幅度的提升你的办公和学习效率，感兴趣的小伙伴记得点...
- c语言-2进制转10进制_c语言 二进制转十进制
-
#include<stdio.h>intmain(){charch;inta=0;...
- 二进制、八进制、十进制和十六进制数制转换
-
一、数制1、什么是数制数制是计数进位的简称。也就是由低位向高位进位计数的方法。2、常用数制计算机中常用的数制有二进制、八进制、十进制和十六进制。...
- 二进制、十进制、八进制、十六进制间的相互转换函数
-
二进制、十进制、八进制、十六进制间的相互转换函数1、输入任意一个十进制的整数，将其分别转换为二进制、八进制、十六进制。2、程序代码如下：#include<iostream>usingna...
- 二进制、八进制、十进制和十六进制等常用数制及其相互转换
-
从大学开始系统的接触计算机专业，到现在已经过去十几年了，今天整理一下基础的进制转换，希望给还在上高中的表妹一个入门的引导，早日熟悉这个行业。一、二进制、八进制、十进制和十六进制是如何定义的？二进制是B...
- 二进制如何转换成十进制?_二进制如何转换成十进制例子图解
-
随着社会的发展，电器维修由继电器时代逐渐被PLC，变频器，触摸屏等工控时代所替代，特别是plc编程，其数据逻辑往往涉及到数制二进制，那么二进制到底是什么呢？它和十进制又有什么区别和联系呢？下面和朋友们...
- 二进制与十进制的相互转换_二进制和十进制之间转换
-
很多同学在刚开始接触计算机语言的时候，都会了解计算机的世界里面大多都是二进制来表达现实世界的任何事物的。当然现实世界的事务有很多很多，就拿最简单的数字，我们经常看到的数字大多都是十进制的形式，例如：我...
- 十进制如何转换为二进制，二进制如何转换为十进制
-
用十进制除以2，除的断的，商用0表示；除不断的，商用1表示余0时结束假如十进制用X表示，用十进制除以2，即x/2除以2后为整数的（除的断的），商用0表示；除以2除不断的，商用1表示除完后的商0或1...
- 十进制数如何转换为二进制数_十进制数如何转换为二进制数举例说明
-
我们经常听到十进制数和二进制数，电脑中也经常使用二进制数来进行计算，但是很多人却不清楚十进制数和二进制数是怎样进行转换的，下面就来看看，十进制数转换为二进制数的方法。正整数转二进制...
- 二进制转化为十进制，你会做吗?一起来试试吧
-
今天孩子问把二进制表示的110101改写成十进制数怎么做呀？，“二进制”简单来说就是“满二进一”，只用0和1共两个数字表示，同理我们平常接触到的“十进制”是“满十进一”，只用0-9共十个数字表示。如果...
- Mac终于能正常打游戏了!苹果正逐渐淘汰Rosetta转译
-
Mac玩家苦转译久矣！WWDC2025苹果正式宣判Rosetta死刑，原生游戏时代终于杀到。Metal4光追和AI插帧技术直接掀桌，连Steam都连夜扛着ARM架构投诚了。看到《赛博朋克2077》...
- 怎么把视频的声音提出来转为音频?音频提取，11款工具实测搞定
-
想把视频里的声音单独保存为音频文件（MP3/AAC/WAV/FLAC）用于配音、播客、听课或二次剪辑？本文挑出10款常用工具，给出实测可复现的操作步骤、优缺点和场景推荐。1）转换猫mp3转换器（操作门...
- 6个mp4格式转换器测评:转换速度与质量并存!
-
MP4视频格式具有兼容性强、视频画质高清、文件体积较小、支持多种编码等特点，适用于网络媒体传播。如果大家想要将非MP4格式的视频转换成MP4的视频格式的话，可以使用MP4格式转换器更换格式。本文分别从...