Sa pagkumpleto ng Sherlock audit contest, ang mga fault proofs ay isang hakbang na mas malapit sa OP Mainnet! Ang post na ito ay sumasaklaw sa mga paunang resulta ng paligsahan at mga susunod na hakbang.

Ang aming Sherlock audit contest ay pumasok na sa panahon ng pag-unlad at ang mga fault proofs ay opisyal na isang hakbang na mas malapit sa OP Mainnet! Samantala, nais naming ibahagi ang ilang impormasyon tungkol sa mga paunang resulta ng paligsahan at mga susunod na hakbang sa aming landas patungo sa Stage 1.

Noong Marso 27, nagsimula kami ng isang paligsahan sa audit ng Sherlock para sa iminungkahing sistema ng patunay ng OP Stack fault. Ang paligsahang ito ay nakatuon lalo na sa (1) mga pangunahing mekanismo ng kaligtasan na nagpapahintulot sa Optimismo Security Council na makabawi mula sa mga pagkakamali sa sistema ng patunay ng kasalanan, at (2) ang mga punto kung saan ang patunay ng pagkakamali ay isinama sa mga umiiral na kontrata.

Masaya kaming iulat na walang mga kritikal na kahinaan na magagawang lampasan ang mga mekanismo ng kaligtasan ang iniulat sa panahon ng audit. Plano naming mag publish ng kumpletong audit recap kapag natapos na ang escalation period at ang final issue severity/validity determinations ay ginawa ng Sherlock.

Nais din naming magbigay ng isang espesyal na pasasalamat sa koponan sa Offchain Labs para sa pag uulat ng dalawang isyu sa kontrata bago ang pagsisimula ng paligsahan sa audit ng Sherlock. Ang parehong mga isyu ay nag aalala ng isang error kung saan ang kontrata ay hindi tama ang pagpapatupad ng pagtutukoy para sa "chess clock" na lohika na ginamit sa panahon ng paglutas ng laro.[FaultDisputeGame]FaultDisputeGame

Tingnan natin ang isang maikling pagtingin sa pinagbabatayan bug:

Ang ating fault proof system ay may dalawang "team" laban sa isa't isa — ang defending team (na sumasang-ayon sa orihinal na claim) at ang attacking team (na hindi sumasang-ayon sa orihinal na claim). Ang bawat koponan ay binibigyan ng isang "chess clock" ng mga uri na sinusubaybayan ang halaga ng oras na ang koponan ay may upang lumahok sa laro. Ang bug na iniulat ng Offchain Labs ay nagpakita na ang isang error sa lohika ng orasan ng chess ay nangangahulugan na ang isang claim ay maaaring malutas kapag ang isang koponan ay naubusan ng oras kahit na ang iba pang koponan ay mayroon pa ring oras na natitira sa kanilang orasan. Nangangahulugan ito na hindi bibigyan ng pagkakataon ang kalabang koponan na tumugon kahit na marami pa rin silang oras para gawin ito.

Ang epekto ng bug na ito ay ang isang koponan ay maaaring mali "manalo" sa kontrata at patunayan na ang isang hindi wastong claim ay may bisa o na ang isang balidong claim ay hindi wasto. Kahit na ang bug na ito ay natukoy at nahuli ng mga safety net sa lugar para sa kasalukuyang sistema ng patunay ng pagkakamali, mapipilitan nito ang Optimismo Security Council na pansamantalang i pause ang mga withdrawal habang inaayos ang bug, malamang na lumilikha ng sakit ng ulo para sa mga gumagamit ng OP Stack.FaultDisputeGame

Ang mga isyung ito ay naayos bilang bahagi ng PR #10148 sa monorepo ng Optimismo. Ang Offchain Labs ay karagdagan na iniulat ang isang duplicate ng isang umiiral na pampublikong ulat na matatagpuan dito sa GitHub at naayos sa PR #10248. Lubos naming pinahahalagahan na ang Offchain Labs ay handang kumuha ng isang pagtingin sa aming sistema ng patunay.

Ang mga pag aayos para sa lahat ng mga isyu na iniulat sa panahon ng audit ng Sherlock ay isinama sa sangay ng monorepo ng Optimismo at na deploy sa OP Sepolia testnet bilang ngayon.develop

Plano naming sundin ang post na ito na may kumpletong recap ng mga isyu na iniulat sa panahon ng audit pagkatapos ng panahon ng escalation ay dumating sa isang malapit. Manatiling nakatutok habang papalapit tayo sa paggawa ng isang panukala sa pamamahala para sa pagsasama ng mga pagbabagong ito sa OP Mainnet!

Sa pagkumpleto ng Sherlock audit contest, ang mga fault proofs ay isang hakbang na mas malapit sa OP Mainnet! Ang post na ito ay sumasaklaw sa mga paunang resulta ng paligsahan at mga susunod na hakbang.

Ang aming Sherlock audit contest ay pumasok na sa panahon ng pag-unlad at ang mga fault proofs ay opisyal na isang hakbang na mas malapit sa OP Mainnet! Samantala, nais naming ibahagi ang ilang impormasyon tungkol sa mga paunang resulta ng paligsahan at mga susunod na hakbang sa aming landas patungo sa Stage 1.

Noong Marso 27, nagsimula kami ng isang paligsahan sa audit ng Sherlock para sa iminungkahing sistema ng patunay ng OP Stack fault. Ang paligsahang ito ay nakatuon lalo na sa (1) mga pangunahing mekanismo ng kaligtasan na nagpapahintulot sa Optimismo Security Council na makabawi mula sa mga pagkakamali sa sistema ng patunay ng kasalanan, at (2) ang mga punto kung saan ang patunay ng pagkakamali ay isinama sa mga umiiral na kontrata.

Masaya kaming iulat na walang mga kritikal na kahinaan na magagawang lampasan ang mga mekanismo ng kaligtasan ang iniulat sa panahon ng audit. Plano naming mag publish ng kumpletong audit recap kapag natapos na ang escalation period at ang final issue severity/validity determinations ay ginawa ng Sherlock.

Nais din naming magbigay ng isang espesyal na pasasalamat sa koponan sa Offchain Labs para sa pag uulat ng dalawang isyu sa kontrata bago ang pagsisimula ng paligsahan sa audit ng Sherlock. Ang parehong mga isyu ay nag aalala ng isang error kung saan ang kontrata ay hindi tama ang pagpapatupad ng pagtutukoy para sa "chess clock" na lohika na ginamit sa panahon ng paglutas ng laro.[FaultDisputeGame]FaultDisputeGame

Tingnan natin ang isang maikling pagtingin sa pinagbabatayan bug:

Ang ating fault proof system ay may dalawang "team" laban sa isa't isa — ang defending team (na sumasang-ayon sa orihinal na claim) at ang attacking team (na hindi sumasang-ayon sa orihinal na claim). Ang bawat koponan ay binibigyan ng isang "chess clock" ng mga uri na sinusubaybayan ang halaga ng oras na ang koponan ay may upang lumahok sa laro. Ang bug na iniulat ng Offchain Labs ay nagpakita na ang isang error sa lohika ng orasan ng chess ay nangangahulugan na ang isang claim ay maaaring malutas kapag ang isang koponan ay naubusan ng oras kahit na ang iba pang koponan ay mayroon pa ring oras na natitira sa kanilang orasan. Nangangahulugan ito na hindi bibigyan ng pagkakataon ang kalabang koponan na tumugon kahit na marami pa rin silang oras para gawin ito.

Ang epekto ng bug na ito ay ang isang koponan ay maaaring mali "manalo" sa kontrata at patunayan na ang isang hindi wastong claim ay may bisa o na ang isang balidong claim ay hindi wasto. Kahit na ang bug na ito ay natukoy at nahuli ng mga safety net sa lugar para sa kasalukuyang sistema ng patunay ng pagkakamali, mapipilitan nito ang Optimismo Security Council na pansamantalang i pause ang mga withdrawal habang inaayos ang bug, malamang na lumilikha ng sakit ng ulo para sa mga gumagamit ng OP Stack.FaultDisputeGame

Ang mga isyung ito ay naayos bilang bahagi ng PR #10148 sa monorepo ng Optimismo. Ang Offchain Labs ay karagdagan na iniulat ang isang duplicate ng isang umiiral na pampublikong ulat na matatagpuan dito sa GitHub at naayos sa PR #10248. Lubos naming pinahahalagahan na ang Offchain Labs ay handang kumuha ng isang pagtingin sa aming sistema ng patunay.

Ang mga pag aayos para sa lahat ng mga isyu na iniulat sa panahon ng audit ng Sherlock ay isinama sa sangay ng monorepo ng Optimismo at na deploy sa OP Sepolia testnet bilang ngayon.develop

Plano naming sundin ang post na ito na may kumpletong recap ng mga isyu na iniulat sa panahon ng audit pagkatapos ng panahon ng escalation ay dumating sa isang malapit. Manatiling nakatutok habang papalapit tayo sa paggawa ng isang panukala sa pamamahala para sa pagsasama ng mga pagbabagong ito sa OP Mainnet!