Ang blog post na ito ay nagsasaliksik ng prinsipyo ng panlipunang desentralisasyon, kung paano pinapayagan ng L2 architecture ang Layer 2s na palawigin ang prinsipyong ito upang isama ang pagkakaiba iba ng patunay, at kung paano ang Optimismo Collective ay nagtatayo ng sistema ng patunay ng pagkakamali nito upang leverage ang arkitekturang ito.

Upang lumikha ng pinaka matibay at secure na network ng interoperable L2 chain, ang Optimismo Collective ay pursuing desentralisasyon sa maraming iba't ibang mga track.

Ang paparating na sistema ng patunay ng pagkakamali ng OP Stack ay magiging isang malaking hakbang pasulong para sa teknikal na desentralisasyon at ang bukas na mapagkukunan at modular na disenyo ng OP Stack ay nagtatakda ng yugto para sa walang uliran na panlipunang desentralisasyon ng isang L2 ecosystem.

Sa blog post na ito, gagalugad namin ang prinsipyo ng social decentralization, kung paano pinapayagan ng L2 architecture ang Layer 2s na palawigin ang prinsipyong ito upang isama ang pagkakaiba iba ng patunay pati na rin ang pagkakaiba iba ng kliyente, at kung paano itinatayo ng Optimismo Collective ang sistema ng patunay ng pagkakamali nito upang ma leverage ang arkitekturang ito.

Ang Ethereum protocol ay nakikinabang mula sa social desentralisasyon sa pamamagitan ng pagpapagana ng isang malawak na hanay ng mga nag aambag upang bumuo ng isang matatag na network sa pamamagitan ng paglikha ng opsyonalidad sa mga solusyon. Para sa node software, nangangahulugan ito ng pagkakaiba iba ng kliyente: ang mas maraming mga pagpapatupad ng kliyente, mas mababa ang epekto ng isang solong punto ng kabiguan ay maaaring magkaroon sa validator network.

Inilalarawan ng mga core dev sa L1 ang modelong ito ng kontribusyon bilang "bazaar"; Maingay at tila magulo, ngunit napakalaki produktibo at nakapagpapasiglang. Sa pamamagitan ng isang radikal na bukas na diskarte sa pag unlad ng protocol, ang pinakamalawak na hanay ng mga nag aambag ay maaaring mapabuti ang protocol.

Ang Optimismo Collective ay natatangi na nakaposisyon upang ipatupad at iterate sa paraan ng Ethereum diskarte sa panlipunang desentralisasyon. Ang OP Stack ay nagbibigay daan sa social desentralisasyon, na may bukas na mga pagtutukoy at MIT lisensyadong open source software, at ang Optimismo Collective iterates sa mga ito sa paglikha ng Superchain.

L1 Ethereum ay may bukas na mga pagtutukoy, at isang modular client architecture na naghihiwalay sa pinagkasunduan at pagpapatupad layer. Ang OP-Stack ay nagpapatupad ng arkitekturang ito rin para sa L2:

• Ang consensus ay suportado ng op node at Magi, dalawang kliyente na sumusunod sa L1 at derive execution input.

• Ang pagpapatupad ay suportado ng op-geth, op-erigon, at op-reth.

L2 architecture ay nagdaragdag ng isang bagong layer sa stack na ito gayunpaman: ang proving layer. Ito ang layer na ligtas na tulay ang mga output ng L2 pabalik sa L1. Tulad ng pagkakaroon ng maraming mga kliyente ay pinakamahusay na kasanayan para sa pag secure ng pinagkasunduan at pagpapatupad sa L1 at L2, ang isang multi proof na diskarte para sa isang L2's proving layer ay nagsisiguro ng pinakamahusay na seguridad.

Katulad ng isang client magkakaibang validator set na darating sa pinagkasunduan, ang isang korum ng mga onchain proofs ay maaaring mag signal na ang L2 estado claim ay na validated sa iba't ibang paraan, na makabuluhang derisks ang pagkakataon na ang isang bug ay nagiging sanhi ng isang kabuuang kabiguan.

May tatlong karaniwang uri ng patunay; attestations, fault proofs (aka fraud proofs), at ZK validity proofs. Ang huling dalawa ay nagbabahagi ng isang karaniwang pattern. Ipinapahayag nila ang paglipat ng estado ng L2 sa isang synchronous form, at pinatutunayan ang pagpapatupad nito kapag binigyan ng L1 data at L2 pre state bilang input.

Ang mga sistema ng patunay ay maaaring karagdagang hatiin sa mga nakahiwalay na bahagi:

• Ang isang "programa" ay tumutukoy sa synchronous L2 na paglipat ng estado.

• Ang isang "VM" ay nagpapatakbo at nagpapatunay sa programa.

• Ang isang "pre image oracle" ay nagbibigay ng data ng L1 at L2 pre state bilang mga input.

Maraming mga ZK-proofs ngayon pa rin mahigpit na mag-asawa ang mga bahaging ito, paglikha ng isang ZK-EVM na nagpapatakbo sa isahan L1 transaksyon data. Ang OP Stack, gayunpaman, decouples ang mga ito upang ihiwalay ang pagiging kumplikado at paganahin ang pagkakaiba iba ng kliyente na ginagawang mas matibay ang kabuuan.

Ang mga interactive na patunay ng pagkakamali ay nagdaragdag ng isang bisection-game sa VM trace upang i-verify ang patunay na onchain, habang ang VM-based ZK-proofs ay nag-arithmetize at nagtitiklop ng execution sa isang validity proof. (Tingnan ang mga patunay ng ZK na nakabase sa VM na ang Risc0 at O (1) Labs ay nagdidisenyo bilang tugon sa mga RFP ng ZK ng Optimismo).

Ang programa ay tumutukoy sa aktwal na paglipat ng estado bilang isang "kliyente," at ang pagkuha ng input (L1 data at L2 pre state) bilang "server." Pagpapatakbo ng standalone sa server / client ngunit walang VM, ang programa ay napaka katulad sa isang regular na blockchain node, at nagbabahagi ng maraming ng code. Halimbawa, ang Go op program client ay binuo sa pamamagitan ng pag import ng derivation mula sa op node at EVM mula sa op geth, at ang server fetches ang data nito mula sa L1 at L2 ethereum RPC.

Ang Fault Proof VM (FPVM) ay isa sa mga module sa OP Stack's fault proof stack.

Ang VM ay hindi nagpapatupad ng anumang partikular sa Ethereum o L2, maliban sa pagbibigay ng tamang mga interface (pinaka kapansin pansin, ang interface sa pre image oracle). Ang Fault Proof Program (FPP) (client side) na tumatakbo sa loob ng FPVM ay ang bahagi na nagpapahayag ng L2 na paglipat ng estado.

Sa pamamagitan ng paghihiwalay na ito, ang VM ay nananatiling ultra minimal: Ang mga pagbabago sa protocol ng Ethereum, tulad ng mga pagdaragdag ng OP code ng EVM, ay hindi nakakaapekto sa VM. Sa halip, kapag nagbago ang protocol, ang FPP ay maaaring ma update lamang upang i import ang mga bagong bahagi ng paglipat ng estado mula sa software ng node. Katulad ng paglalaro ng isang bagong bersyon ng isang laro sa parehong console ng laro, ang sistema ng pagpapatunay ng L1 ay maaaring ma update upang patunayan ang ibang programa.

Ang inatasan ng VM ay ang pagpapatupad ng pagtuturo sa mas mababang antas. Kailangang tularan ang FPP. Ang mga kinakailangan ng VM ay mababa: ang programa ay synchronous, at ang lahat ng mga input ay na-load sa pamamagitan ng parehong pre-image orakulo, ngunit ang lahat ng ito ay pa rin ay may upang patunayan sa L1 EVM onchain!

Upang gawin ito, isang tagubilin lamang ang napatunayan sa isang pagkakataon. Ang laro ng bisection ay makitid ang gawain ng pagpapatunay ng isang buong execution trace sa isang solong pagtuturo lamang.

Ang pagpapatunay ng pagtuturo ay maaaring magmukhang iba para sa bawat FPVM, ngunit sa pangkalahatan ay mukhang katulad ito ng Cannon, na nagpapatunay sa pagtuturo tulad ng sumusunod:

• Upang maisagawa ang tagubilin, ginagaya ng VM ang isang bagay na katulad ng isang cycle ng pagtuturo ng isang konteksto ng thread: ang pagtuturo ay binabasa mula sa memorya, binibigyang kahulugan, at ang register-file at memorya ay maaaring magbago nang kaunti.

• Upang suportahan ang orakulo bago ang imahe, at mga pangunahing pangangailangan sa runtime ng programa tulad ng paglalaan ng memorya, sinusuportahan din ng pagpapatupad ang isang subset ng mga syscall ng linux. Basahin / isulat syscalls payagan ang pakikipag ugnayan sa pre image orakulo: ang programa ay nagsusulat ng isang hash bilang kahilingan para sa isang pre imahe, at pagkatapos ay binabasa ang halaga sa mga maliliit na chunks sa isang pagkakataon.

Ang Cannon, ang unang FPVM, ay nagpapatupad ng isang MIPS VM sa ganitong paraan. Tingnan lamang ang mga docs at mga spec ng kanyon para sa karagdagang impormasyon tungkol sa VM. Ang interface sa pagitan ng FPVM at FP-program ay standardized, at dokumentado sa mga specs.

Ang mga patunay ng fault ay hindi lamang ang uri ng patunay ng paglipat ng estado. Ang ZK validity-proofs ay isang kaakit-akit na opsyon dahil sa potensyal para sa mabilis na pag-bridge (dahil walang onchain challenge game para sa mga patunay ng bisa ng ZK, walang window ng pagtatalo). Upang suportahan ang isang advanced na Ethereum stack at host ng iba't ibang mga pagpapatupad ng kliyente, kailangan pa rin nating i decouple ang VM at programa.

Ito ang diskarte ng mga proyekto ng ZK RFP, upang patunayan ang isang minimal na RISC-V (sa pamamagitan ng Risc0) o MIPS (sa pamamagitan ng O(1) Labs) VM na maaaring mag-host ng parehong programa na ginagamit sa mga patunay ng pagkakamali.

Ang pagsuporta sa ZK-VM ay nangangailangan ng maliliit na adaptions upang gawing di-interactive ang data ng pre-image oracle load, ngunit sa pag-generalize ng VM ay mas maraming patunay sa hinaharap sa mga pagbabago sa OP Stack.

Ang OP Stack ay tinatanggap ang karagdagang mga pagpipilian sa VM at programa, pati na rin ang karagdagang mga independiyenteng sistema ng patunay, mula sa mga attestation hanggang sa ZK. Tulad ng pagkakaiba-iba ng kliyente, ang pagkakaiba-iba ng patunay ay isang sama-samang pagsisikap!

Kasalukuyang patuloy na complements sa OP Stack proving layer ay kinabibilangan ng:

• ANG RISC-V FPVM "Asterisc" na nakasulat sa Go ay nasa pag-unlad ng protolambda.

• Ang isang kalawang na programa ng FP, batay sa Magi at op reth, ay itinatayo na may mga kontribusyon mula sa Base at OP Labs.

• Ang isang kalawang ZK programa, batay sa zeth, isang ZK reth tinidor, ay binuo sa pamamagitan ng Risc0.

Sa pag-unlad ng Cannon, ang op-program, ang bisection-game, ang mga nabanggit, at ang walang-hanggang kahusayan ng open source community, magkakaroon ng maraming karagdagang pagkakataon para mag-ambag sa stack sa pamamagitan ng pagsubok sa mga pagpapatupad at pakikilahok sa mga bug bounties! Ang sinumang interesado ay dapat mag bookmark ng pahina ng Immunefi Bug Bounty ng Optimismo para sa mga bagong bounties na may kaugnayan sa OP Stack's Fault Proof System. 👀

Ang blog post na ito ay nagsasaliksik ng prinsipyo ng panlipunang desentralisasyon, kung paano pinapayagan ng L2 architecture ang Layer 2s na palawigin ang prinsipyong ito upang isama ang pagkakaiba iba ng patunay, at kung paano ang Optimismo Collective ay nagtatayo ng sistema ng patunay ng pagkakamali nito upang leverage ang arkitekturang ito.

Upang lumikha ng pinaka matibay at secure na network ng interoperable L2 chain, ang Optimismo Collective ay pursuing desentralisasyon sa maraming iba't ibang mga track.

Ang paparating na sistema ng patunay ng pagkakamali ng OP Stack ay magiging isang malaking hakbang pasulong para sa teknikal na desentralisasyon at ang bukas na mapagkukunan at modular na disenyo ng OP Stack ay nagtatakda ng yugto para sa walang uliran na panlipunang desentralisasyon ng isang L2 ecosystem.

Sa blog post na ito, gagalugad namin ang prinsipyo ng social decentralization, kung paano pinapayagan ng L2 architecture ang Layer 2s na palawigin ang prinsipyong ito upang isama ang pagkakaiba iba ng patunay pati na rin ang pagkakaiba iba ng kliyente, at kung paano itinatayo ng Optimismo Collective ang sistema ng patunay ng pagkakamali nito upang ma leverage ang arkitekturang ito.

Ang Ethereum protocol ay nakikinabang mula sa social desentralisasyon sa pamamagitan ng pagpapagana ng isang malawak na hanay ng mga nag aambag upang bumuo ng isang matatag na network sa pamamagitan ng paglikha ng opsyonalidad sa mga solusyon. Para sa node software, nangangahulugan ito ng pagkakaiba iba ng kliyente: ang mas maraming mga pagpapatupad ng kliyente, mas mababa ang epekto ng isang solong punto ng kabiguan ay maaaring magkaroon sa validator network.

Inilalarawan ng mga core dev sa L1 ang modelong ito ng kontribusyon bilang "bazaar"; Maingay at tila magulo, ngunit napakalaki produktibo at nakapagpapasiglang. Sa pamamagitan ng isang radikal na bukas na diskarte sa pag unlad ng protocol, ang pinakamalawak na hanay ng mga nag aambag ay maaaring mapabuti ang protocol.

Ang Optimismo Collective ay natatangi na nakaposisyon upang ipatupad at iterate sa paraan ng Ethereum diskarte sa panlipunang desentralisasyon. Ang OP Stack ay nagbibigay daan sa social desentralisasyon, na may bukas na mga pagtutukoy at MIT lisensyadong open source software, at ang Optimismo Collective iterates sa mga ito sa paglikha ng Superchain.

L1 Ethereum ay may bukas na mga pagtutukoy, at isang modular client architecture na naghihiwalay sa pinagkasunduan at pagpapatupad layer. Ang OP-Stack ay nagpapatupad ng arkitekturang ito rin para sa L2:

• Ang consensus ay suportado ng op node at Magi, dalawang kliyente na sumusunod sa L1 at derive execution input.

• Ang pagpapatupad ay suportado ng op-geth, op-erigon, at op-reth.

L2 architecture ay nagdaragdag ng isang bagong layer sa stack na ito gayunpaman: ang proving layer. Ito ang layer na ligtas na tulay ang mga output ng L2 pabalik sa L1. Tulad ng pagkakaroon ng maraming mga kliyente ay pinakamahusay na kasanayan para sa pag secure ng pinagkasunduan at pagpapatupad sa L1 at L2, ang isang multi proof na diskarte para sa isang L2's proving layer ay nagsisiguro ng pinakamahusay na seguridad.

Katulad ng isang client magkakaibang validator set na darating sa pinagkasunduan, ang isang korum ng mga onchain proofs ay maaaring mag signal na ang L2 estado claim ay na validated sa iba't ibang paraan, na makabuluhang derisks ang pagkakataon na ang isang bug ay nagiging sanhi ng isang kabuuang kabiguan.

May tatlong karaniwang uri ng patunay; attestations, fault proofs (aka fraud proofs), at ZK validity proofs. Ang huling dalawa ay nagbabahagi ng isang karaniwang pattern. Ipinapahayag nila ang paglipat ng estado ng L2 sa isang synchronous form, at pinatutunayan ang pagpapatupad nito kapag binigyan ng L1 data at L2 pre state bilang input.

Ang mga sistema ng patunay ay maaaring karagdagang hatiin sa mga nakahiwalay na bahagi:

• Ang isang "programa" ay tumutukoy sa synchronous L2 na paglipat ng estado.

• Ang isang "VM" ay nagpapatakbo at nagpapatunay sa programa.

• Ang isang "pre image oracle" ay nagbibigay ng data ng L1 at L2 pre state bilang mga input.

Maraming mga ZK-proofs ngayon pa rin mahigpit na mag-asawa ang mga bahaging ito, paglikha ng isang ZK-EVM na nagpapatakbo sa isahan L1 transaksyon data. Ang OP Stack, gayunpaman, decouples ang mga ito upang ihiwalay ang pagiging kumplikado at paganahin ang pagkakaiba iba ng kliyente na ginagawang mas matibay ang kabuuan.

Ang mga interactive na patunay ng pagkakamali ay nagdaragdag ng isang bisection-game sa VM trace upang i-verify ang patunay na onchain, habang ang VM-based ZK-proofs ay nag-arithmetize at nagtitiklop ng execution sa isang validity proof. (Tingnan ang mga patunay ng ZK na nakabase sa VM na ang Risc0 at O (1) Labs ay nagdidisenyo bilang tugon sa mga RFP ng ZK ng Optimismo).

Ang programa ay tumutukoy sa aktwal na paglipat ng estado bilang isang "kliyente," at ang pagkuha ng input (L1 data at L2 pre state) bilang "server." Pagpapatakbo ng standalone sa server / client ngunit walang VM, ang programa ay napaka katulad sa isang regular na blockchain node, at nagbabahagi ng maraming ng code. Halimbawa, ang Go op program client ay binuo sa pamamagitan ng pag import ng derivation mula sa op node at EVM mula sa op geth, at ang server fetches ang data nito mula sa L1 at L2 ethereum RPC.

Ang Fault Proof VM (FPVM) ay isa sa mga module sa OP Stack's fault proof stack.

Ang VM ay hindi nagpapatupad ng anumang partikular sa Ethereum o L2, maliban sa pagbibigay ng tamang mga interface (pinaka kapansin pansin, ang interface sa pre image oracle). Ang Fault Proof Program (FPP) (client side) na tumatakbo sa loob ng FPVM ay ang bahagi na nagpapahayag ng L2 na paglipat ng estado.

Sa pamamagitan ng paghihiwalay na ito, ang VM ay nananatiling ultra minimal: Ang mga pagbabago sa protocol ng Ethereum, tulad ng mga pagdaragdag ng OP code ng EVM, ay hindi nakakaapekto sa VM. Sa halip, kapag nagbago ang protocol, ang FPP ay maaaring ma update lamang upang i import ang mga bagong bahagi ng paglipat ng estado mula sa software ng node. Katulad ng paglalaro ng isang bagong bersyon ng isang laro sa parehong console ng laro, ang sistema ng pagpapatunay ng L1 ay maaaring ma update upang patunayan ang ibang programa.

Ang inatasan ng VM ay ang pagpapatupad ng pagtuturo sa mas mababang antas. Kailangang tularan ang FPP. Ang mga kinakailangan ng VM ay mababa: ang programa ay synchronous, at ang lahat ng mga input ay na-load sa pamamagitan ng parehong pre-image orakulo, ngunit ang lahat ng ito ay pa rin ay may upang patunayan sa L1 EVM onchain!

Upang gawin ito, isang tagubilin lamang ang napatunayan sa isang pagkakataon. Ang laro ng bisection ay makitid ang gawain ng pagpapatunay ng isang buong execution trace sa isang solong pagtuturo lamang.

Ang pagpapatunay ng pagtuturo ay maaaring magmukhang iba para sa bawat FPVM, ngunit sa pangkalahatan ay mukhang katulad ito ng Cannon, na nagpapatunay sa pagtuturo tulad ng sumusunod:

• Upang maisagawa ang tagubilin, ginagaya ng VM ang isang bagay na katulad ng isang cycle ng pagtuturo ng isang konteksto ng thread: ang pagtuturo ay binabasa mula sa memorya, binibigyang kahulugan, at ang register-file at memorya ay maaaring magbago nang kaunti.

• Upang suportahan ang orakulo bago ang imahe, at mga pangunahing pangangailangan sa runtime ng programa tulad ng paglalaan ng memorya, sinusuportahan din ng pagpapatupad ang isang subset ng mga syscall ng linux. Basahin / isulat syscalls payagan ang pakikipag ugnayan sa pre image orakulo: ang programa ay nagsusulat ng isang hash bilang kahilingan para sa isang pre imahe, at pagkatapos ay binabasa ang halaga sa mga maliliit na chunks sa isang pagkakataon.

Ang Cannon, ang unang FPVM, ay nagpapatupad ng isang MIPS VM sa ganitong paraan. Tingnan lamang ang mga docs at mga spec ng kanyon para sa karagdagang impormasyon tungkol sa VM. Ang interface sa pagitan ng FPVM at FP-program ay standardized, at dokumentado sa mga specs.

Ang mga patunay ng fault ay hindi lamang ang uri ng patunay ng paglipat ng estado. Ang ZK validity-proofs ay isang kaakit-akit na opsyon dahil sa potensyal para sa mabilis na pag-bridge (dahil walang onchain challenge game para sa mga patunay ng bisa ng ZK, walang window ng pagtatalo). Upang suportahan ang isang advanced na Ethereum stack at host ng iba't ibang mga pagpapatupad ng kliyente, kailangan pa rin nating i decouple ang VM at programa.

Ito ang diskarte ng mga proyekto ng ZK RFP, upang patunayan ang isang minimal na RISC-V (sa pamamagitan ng Risc0) o MIPS (sa pamamagitan ng O(1) Labs) VM na maaaring mag-host ng parehong programa na ginagamit sa mga patunay ng pagkakamali.

Ang pagsuporta sa ZK-VM ay nangangailangan ng maliliit na adaptions upang gawing di-interactive ang data ng pre-image oracle load, ngunit sa pag-generalize ng VM ay mas maraming patunay sa hinaharap sa mga pagbabago sa OP Stack.

Ang OP Stack ay tinatanggap ang karagdagang mga pagpipilian sa VM at programa, pati na rin ang karagdagang mga independiyenteng sistema ng patunay, mula sa mga attestation hanggang sa ZK. Tulad ng pagkakaiba-iba ng kliyente, ang pagkakaiba-iba ng patunay ay isang sama-samang pagsisikap!

Kasalukuyang patuloy na complements sa OP Stack proving layer ay kinabibilangan ng:

• ANG RISC-V FPVM "Asterisc" na nakasulat sa Go ay nasa pag-unlad ng protolambda.

• Ang isang kalawang na programa ng FP, batay sa Magi at op reth, ay itinatayo na may mga kontribusyon mula sa Base at OP Labs.

• Ang isang kalawang ZK programa, batay sa zeth, isang ZK reth tinidor, ay binuo sa pamamagitan ng Risc0.

Sa pag-unlad ng Cannon, ang op-program, ang bisection-game, ang mga nabanggit, at ang walang-hanggang kahusayan ng open source community, magkakaroon ng maraming karagdagang pagkakataon para mag-ambag sa stack sa pamamagitan ng pagsubok sa mga pagpapatupad at pakikilahok sa mga bug bounties! Ang sinumang interesado ay dapat mag bookmark ng pahina ng Immunefi Bug Bounty ng Optimismo para sa mga bagong bounties na may kaugnayan sa OP Stack's Fault Proof System. 👀