优惠论坛

标题: 测试网即将发布 一文看懂Kakarot zkEVM（转） [打印本页]
作者: ruifu2024    时间: 2024-2-29 13:22
标题: 测试网即将发布 一文看懂Kakarot zkEVM（转）
本文将探讨Kakarot的与众不同之处，它如何提供最简单且最经得起未来考验的架构，以及为何Kakarot对最终用户和开发人员很重要，借此来回答这个问题。
! v6 u# }9 @7 ]# B/ z6 K. Q! @8 j0 y7 O# u
颠覆性的EVM建设者扩展了用户体验设计空间，他们将在Kakarot看到一个热情友好的环境。: l4 p; [! E' W: F1 A
: p6 e2 W# C9 q2 W/ q( ?* B
1、Kakarot简介- h: V3 _" m! w$ C2 S
Kakarot是使用Cairo构建的zkEVM，Cairo语言是为Starknet和所有StarknetOS链（也称为CairoVM链或Starknet应用链）提供支持的可验证语言。Kakarot是一个与以太坊兼容的zkRollup，其目标是随着时间的推移实现无妥协的完全等效。除了兼容性之外，Kakarot还努力推动L2空间的更多创新，并为EVM增加诸如原生帐户抽象之类的新功能。Kakarot的驱动精神是证明、扩展和创新。5 @: M/ B6 E+ h
& X  {5 j" @7 j8 L3 ?: c% q
2、Kakarot愿景
6 E; R; s' u6 d, K: `6 j8 G; A& I本文，我们将介绍是什么使Kakarot与众不同，以及为什么它对最终用户和建设者很重要。经过以太坊生态系统多年的发展，我们形成了三个坚定的信念，我们希望通过Kakarot来解决问题，实现愿景。# P- ~3 R& @3 t. ^! {" E# j% d
  b- B9 h; ?# k3 I' I  x) `1 m
TPS超过一定的阈值就不重要了。用户想要一个与web2应用程序和快速的web3 dApp相当的响应水平。换句话说，用户想要亚秒级的交易速度。这通常意味着想要达到1万TPS还需要等上几年（我们仍然需要一起解决状态增长问题）。% }! m5 u" q( x) h

5 m; t! f# a* v* e" @$ q2 Z交易成本是主要的采用障碍。正如Vitalik在一篇博文中所说的那样：“我认为导致这种转变（web3开放性降低）的罪魁祸首是交易费用的上涨。”交易成本最终应该降到一分钱以下，才能让人们自由地进行实验和创新。/ i) n: T9 t) M  D5 }5 d+ }

2 y" m3 n4 q- c$ G大规模采用的另一个主要障碍是用户体验。在Kakarot，我们相信web3用户体验的现状需要大大改善。例如，我们的目标是为那些不想管理助记词的人，或者那些寻求大多数dApp都可实现一键操作体验（即多调用）的人提供另一种选择。- J6 H$ s/ {# y

# M% M( ?6 w/ N5 a  S( S7 S将这三点进行总结，Kakarot可以形成其对用户的承诺，以及它在当前以太坊rollup竞争中的地位：
- I9 Q8 F6 v  f4 `. l! L" W
4 @# v; }$ F+ R在提供低成本快速交易的同时，Kakarot旨在引领以基于账户抽象（多调用、secure enclave signer等）和快速功能发布（例如，先于大多数同类的EIP）的以用户为中心的创新。
/ p5 x  p8 I1 W0 K
3 I/ `" Z1 v4 y% s6 f3、Kakarot设计：密码学和工程学的必然分离
5 P1 J9 Z+ P7 k9 k1 ^( C从某种意义上说，Kakarot的架构是必然的，因为它是基于第一性原理创建的。Kakarot的核心是使用高级语言Cairo构建的。这使得Kakarot成为唯一真正将密码学和工程相分离的zkEVM，密码学和工程分别对应zkEVM中的“zk”和“EVM”（除了目前处于研究阶段的zeth和SP1的Reth之外）。
. u  l& t3 H7 V7 v) D" l% Y; v! X  A' ~1 |6 R) w/ E6 S
这种分离对我们的团队来说意味着什么？意味着更快的开发，更少的代码（比定制电路所需要编写的代码少太多了），更轻松的维护，以及对Cairo在验证和开源软件方面的所有创新的展示。
7 Y% H! ]' N9 _) i: F) c; c  z
$ V" F8 o1 ~/ k* g$ A$ e% n
. I* w9 I% h3 ?5 c  @
7 t5 N* E; C$ v* ?3 w! r分离的想法不仅优雅，而且还是唯一可以支持未来扩展的方法。对于构建定制电路的zkEVM来说，支持主网硬分叉并通过提前集成新EIP进行创新已被证明是非常困难的。
) A1 Y- W% J3 ^0 t4 _1 j3 Y9 ~- y5 ~# a
我们相信，该领域将有更多参与者转向可证明的中介虚拟机。今天，编写可证明和可适应软件的两种选择是：: Z  b% E% v* ^6 H% }
& l$ Q: q1 T% o+ M+ j7 [
使用LLVM语言并证明它，例如Rust到LLVM，再到使用RISC-ZERO vkVM证明的Risc-V（例如revm的Rust代码变得可证明就是zeth）。2 I- k! G0 n% A( Z6 v: I

. @: a2 V8 |2 y& D1 P1 K; N使用Cairo语言，这是为CairoVM构建的“可证明设计”的编程语言。
1 i4 H6 X$ q& _* D: J. Q: D, G
% D' ]) c4 J) s; C( F我们有信心Cairo将始终具有更优的性能（而其他zkVM可能更加便捷），因为其建设融合了证明理念，与其他zkVM不同。未来几年里，Cairo将被证明是编写可证明软件的最实用高效的工具。) l. Z/ B/ M& x' h( E& a

/ N. b3 N1 L3 Z4 P# Z5 R
7 w2 ?' Q" H+ S4 Q! `( A; L0 ~& a6 y6 ?% i1 K- |) x# p# q" `
: F2 l" ~5 R' w

) G2 o  R3 p" L9 m4、致力于以用户为中心
  S! d' y, p' S, U. k. f开发简单易用的软件当然是好的，但最终用户并不关心这些。他们并不关心Whatsapp的后端是在AWS上运行还是在它自家云上运行，也不在乎Telegram是用哪种编程语言编写的。最终用户期望的是明显的附加价值。
1 E* q7 d2 C9 L: }+ T0 z4 f+ I" Q
5 W1 c1 t% i- B3 x( h/ u/ P我们在Kakarot的建设过程中面临的挑战是将这种巨大的工程优势（一种高级可证明的中介语言）转化为我们社区的附加值。
7 v0 I8 C( J$ M% c  n4 ?# {1 h
& T# Z* ^( _7 j/ E我们希望展示我们对变化的以太坊的快速适应能力。我们为社区提供的前两个明显优势是：# p# L; a7 p8 `2 N& D' D* J

: F9 t! V( t: P8 C( S% P* UKakarot zkEVM将立即集成Dencun主网硬分叉：所有新的操作码和更新将被纳入（tstore等）。* ]0 }! F% a  [; T
6 Y7 J. p9 x, W7 W1 \' Z6 Q1 K2 x
一个相互协作的产品路线图，用户测试，迭代建设。$ @" A3 ^4 O$ j/ O' }
) \: s+ \3 k4 A& V
让我们花点时间来了解一下第二点。我们是自由的，我们能够快速实现重要的功能（因为我们的社区会进行选择）。在我们的测试网阶段，我们将发布新功能，并请我们的社区挑选出最有用的功能。我们很高兴能够在我们的测试网络中尝试我们的一些想法：原生多调用，带有faceID（或硬件signer）的EOA，移动优先的原生帐户抽象，EOF早期集成等等！
+ p$ f7 O3 S8 Z( l; j3 G1 X. l4 N' w3 |- U
当我们与我们的建设者和最终用户社区一起探索新功能时，请记住Cairo及其生态系统正在后台积极开发！Starkware的100多名员工正辛勤努力为Cairo创建下一代prover。与此同时，Cairo开发者社区的500多名开发人员和基础设施参与者正在建设新的代码库和突破，而这些，Kakarot将来都能集成（例如并行执行）。! M8 @" @; ?* z5 z+ u6 }. T0 v* q/ T

; x+ G' j0 h9 i$ f7 V1 |有一个很好的例子可以体现我们的竞争优势，那就是Starkware与Polygon Labs合作推出的最新prover改进研究：Circle STARK。Cairo正变得越来越强大！2 c+ _2 [* m6 _8 [5 _& H( Q/ A6 ?* a- w

2 }8 j  C1 X  @$ I
+ c0 d; \" ]8 r( B% y4 S! B+ t/ ]4 x3 h# x
Kakarot不仅可以利用生机勃勃的Cairo生态系统的创新（证明速度的提高、开源代码库如secp256r1的支持），还能以强大的灵活性（适应硬分叉和EIP）进行高速开发。
* ]! Z: p* d: y: f: [
* J( X. M" a, D/ Q" W: q7 {! N. o: D, p* e- O8 \
0 ]; m9 e) f& C" f
5、Kakarot最新动态+ Y% @7 i5 b, |: C. w
本着纯粹的一致性精神和“it just works”的座右铭，Kakarot的目标是100%通过以太坊测试（官方以太坊基金会EVM测试）。这一里程碑将确认我们与以太坊的完全兼容性，还将使开发人员免于EVM碎片化烦恼。
% ?5 G5 Y3 j) {) W2 n, A) m9 f( c9 t4 i( ~7 K* m
通过这种方式，Kakarot将提供无缝的开发体验，EVM建设者可以预期工作顺利不出岔子，与以太坊主网没有任何的不兼容。我们希望开发人员专注于对他们来说重要的事情：他们的协议或dApp。
; J( _! j! N- W. [/ |5 e2 }& D' A% J( A" W4 l9 ~0 X
现在，Kakarot通过了90%以上的测试（即超过1万8千次测试）。我们已经对我们的EVM实现建立信心，现在是时候面对现实世界了。
; X2 P0 Q3 H8 Q, x) p! w, J; t8 q
% q. h; x+ F) s. v& t- J! G% BKakarot的最新情况是，我们正迈入测试网阶段！为了实现这一目标，我们正与Karnot和Starkware合作，他们将帮助我们运行我们的堆栈。在2024年接下来的两个季度，我们将与你（希望如此），与我们的社区一起验证我们的技术。你可密切关注我们在Twitter上的动态了解公共测试网开放日期！目前，测试网不对外公开。
3 L8 P* b7 Q- q2 q5 D( M' Y5 r4 R& A2 Q5 R5 {
以下是Kakarot测试网络工作原理的简化图：- B8 h, W4 C( g% ~. u
# E7 t2 {- w$ ~( J
( H8 \2 V  ?) d- S0 s6 p8 G) N

1 p$ q9 B$ M+ f, k6、结论
/ ?6 q9 q+ \2 e, |9 o: c6 ]Kakarot最新动态：2024年第二季度和第三季度上线测试网。
# s8 v7 ?1 I% |- K" \; {4 H5 E, X; v
6 }8 |$ V0 b' A3 CKakarot的独特优势在于其设计：站在密码学巨人的肩膀上，专注于工程。利用这一优势成为一个更具适应性的团队，更快地发布产品（大约6个人和贡献者在不到一年的时间内构建了2个独特的zkEVM实现）。2 U  H. w; K" N- X4 X. s
6 R5 U& m- A$ n0 V1 z
Kakarot的目标是与以太坊主网100%兼容。我们完全通过以太坊基金会测试来向我们的建设者社区提供保证。截至今天，我们通过了90%以上的以太坊测试。我们的目标是让开发者在兼容性和功能性方面没有任何心理负担。  C9 y5 }$ j1 }  s, W! K, w: g9 C$ `
  h2 c7 ?! ~6 O! y. o- ?
Kakarot的使命是为L2空间带来更多创新（多调用、secure enclave签名、paymaster、并行执行等），同时支持长期发展（type 1 zkEVM、证明主网、纯等效等）。+ Z. N7 J/ f2 Y

, }6 r6 U" }7 S) `- d/ n通过利用Cairo，Kakarot既稳定又可快速演变。允许我们的些许自大：Kakarot来了，我们是注定要来的。
7 d0 V1 @+ n( Q& I  v4 V1 {; |7 c
作者: ruifu2024    时间: 2024-2-29 13:22
我认为导致这种转变（web3开放性降低）的罪魁祸首是交易费用的上涨，到处都是抽水。
作者: 22301    时间: 2024-2-29 14:31
这个东西我还是看不懂的啦。
作者: 小希哥    时间: 2024-2-29 16:10
使用这个方法有赢钱必定最棒的结果了呀。
作者: xiaoyi    时间: 2024-2-29 16:12
其实每一种方法的吧~这个也是关心一下了
作者: 林武风    时间: 2024-2-29 16:12
辛苦的介绍也是要关注，玩法肯定是有用的
作者: jslinen    时间: 2024-2-29 16:12
这一个这次方法在这里的运气还是值得肯定的.
作者: 我的花园    时间: 2024-2-29 16:21
什么游戏都有技巧，您介绍这个技术这个也不例外
作者: bishao    时间: 2024-2-29 16:25
方法最后一段话觉得是很有道理的,但是在我面前就难以实现,毕竟好运太差了。
作者: 朱古力    时间: 2024-2-29 16:25
介绍各种技术是不能错过学习的啦，感谢老哥介绍的技巧
作者: 洋森    时间: 2024-2-29 16:25
这一次方法能够有盈利一天的生活费我也满足了。
作者: Lhrlhrgo    时间: 2024-2-29 16:27
也是谢谢楼主的分享和介绍了，不容易的！
作者: lvaeyou    时间: 2024-2-29 16:28
每个方法也是值得去看看关心下的啦。
作者: 徐子    时间: 2024-2-29 16:28
介绍各种技巧的玩法，值得好好关注哦
作者: 想要水果机    时间: 2024-2-29 16:34
有盈利的时候就该走,全部方法长玩就是输
作者: 强强强123    时间: 2024-2-29 16:36
你的介绍肯定可以有盈利，就是一个好心态。
作者: mxsj2016k    时间: 2024-2-29 16:38
这一次方法也还是很不错的胜率来的啊
作者: gkfbuw    时间: 2024-2-29 16:47
楼主介绍这个技巧还是需要多多的关注一下的。
作者: 不傻不成气候    时间: 2024-2-29 16:49
今天您介绍要用这个技术去赢下多少的呢
作者: anzizhong    时间: 2024-2-29 16:51
你介绍技术也是要学习一下的了
作者: 护国石柱    时间: 2024-2-29 16:51
这个方法能自己好好掌握,也是非常好的。
作者: hong29    时间: 2024-2-29 16:57
感谢楼主介绍的技巧都不能无视玩法啊
作者: 爬格子的瘦书生    时间: 2024-2-29 17:02
一文看懂我觉得不太现实
作者: 老龙口    时间: 2024-2-29 17:05
看见这个方法我非常也是必要了解起来了的哦。
作者: rainwang    时间: 2024-2-29 19:01
与众不同的东西太多了啊，我们了解一下好了
作者: 爱美的女人    时间: 2024-2-29 20:38
一文看懂的也是会在关注的啊
作者: 赚钱小样    时间: 2024-3-1 13:01
是有一个不错的胜率出来了
作者: yubuluowang    时间: 2024-3-1 21:58
测试网是即将要发布起来了的
作者: 如梦的生活    时间: 2024-3-4 20:36
这个也是可以好好了解的了
作者: 舞出精彩    时间: 2024-3-5 17:08
看不看的懂也是要在早明白啊



欢迎光临 优惠论坛 (https://www.tcelue.ws/) Powered by Discuz! X3.1