W poprzednim poście na temat Casper CBC, widzieliśmy fundament protokołu “correct-by-construction” protokołów konsensusu z których każdy miał ten sam dowód bezpieczeństwa konsensusu odpornego na błędy bizantyjskie, pozwalając na udoskonalenia i ulepszenia bez potrzeby ponownego udowadniania bezpieczeństwa za każdym razem. Kwestia żywotności (liveness) nie została jednak uwzględniona. Opracowanie protokołu Casper Highway przez CasperLabs zapewniło: Silną Optymistyczną […]
Co to jest CBC: Correct-by-Construction? We wcześniejszym poście zobaczyliśmy, jak protokoły konsensusu tworzą podstawy blockchainów, gdzie niezależne węzły zatwierdzają transakcje w sieci, czyli podstawową koncepcję zdecentralizowanych ksiąg. Istnieją zatem dwie krytyczne właściwości bezpieczeństwa, które musimy rozważyć dla każdego protokołu konsensusu: bezpieczeństwo i żywotność (liveness). Bezpieczeństwo: Protokół jest bezpieczny, jeśli nie będzie podejmował niespójnych decyzji. Żywotność: […]
Protokoły konsensusu stanowią podstawę blockchainów, w których niezależne węzły zatwierdzają transakcje w sieci, czyli podstawową koncepcję zdecentralizowanych ksiąg rachunkowych. Sieć staje się podatna na atak, jeśli jakikolwiek złośliwy podmiot uzyska kontrolę nad 51% sieci (znany jako atak 51%). Zanim przejdziemy do omówienia zasad działania protokołu CBC (Correct-By-Construction), używanego przez CSPR, w osobnym poście, omówmy najpierw […]
FFG – Friendly Finality Gadget (Przyjazny Gadżet Ostateczności) CBC – Correct By Construct aka “Casper the friendly GHOST“. (“Casper przyjazny duch”) Obecnie Ethereum jest blockchainem typu Proof-Of-Work (POW). Oznacza to, że jest ograniczony tymi samymi wadami, co wszystkie blockchainy POW, czyli wydajnością i bezpieczeństwem, więcej o protokołach konsensusu przeczytasz tutaj (link niebawem). Z tego powodu, […]
Koncepcja GHOST (Greedy Heaviest Observer SubTree) został początkowo zaproponowany dla blockchaina Bitcoin i rozwiązuje niektóre z problemów bezpieczeństwa i wydajności, które obecnie występują w tym i innych blockchainach Proof-Of-Work. Zanim zbadamy niektóre z wysokopoziomowych szczegółów tego protokołu, a także to, jak doprowadziło to do stworzenia protokołów Casper (FFG i CBC) oraz rozwoju blockchaina CSPR, najpierw […]