Artykuł napisany przez dr. hab. Dmytro Zaitsev, prof. WSIiZ, jest na 2. miejscu wśród najczęściej czytanych artykułów w czasopiśmie IJPEDS czyli International Journal of Parallel, Emergent and Distributed Systems. Artykuł zawiera wprowadzenie do kryptowalut i technologii blockchain.

Jak pisze dr hab. Dmytro Zaitsev, prof. WSIiZ: Podstawę cyberbezpieczeństwa kryptowalut stanowi wiarygodność protokołów konsensusu. Do weryfikacji protokołów umów typu proof-of-work cenione są techniki formalne i symulacyjne, gdyż proces opracowywania technik formalnych często wymaga przyjęcia szeregu założeń, co prowadzi do nieco nierealistycznych modeli. Konwencjonalny kolorowy model sieci Petriego, zaprezentowany przez autorów: Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Tatiana R. Shmeleva & Dmitry A. Zaitsev i Zeyu Zhou & Ding Liu w poprzednim badaniu opisanym w artykułach: Modelling proof-of-work agreement protocol by coloured Petri nets oraz Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design, pozwolił nam udoskonalić protokół konsensusu Kellera i Böhmego poprzez zastosowanie techniki symulacji. W tym badaniu opracowaliśmy kolorowy model sieci Petriego z możliwością ponownego wprowadzenia, reprezentujący ogólną konstrukcję do rozwoju opartego na modelu i udoskonalenia protokołów konsensusu i odpowiedniego oprogramowania. Istotną zaletą modelu wielokrotnego wprowadzania jest niezmienność jego struktury względem topologii sieci, liczby dołączonych węzłów oraz parametrów ich oprogramowania i sprzętu, które są reprezentowane w postaci oznaczenia dedykowanych miejsc. Przełączanie znaczników topologii powiązanych z obiektem dynamicznym.

Artykuł jest dostępny w otwartym dostępie w formacie PDF/EPUB TUTAJ, a prezentację wideo można zobaczyć TUTAJ.

Artykuł jest interesujący dla szerokiego grona czytelników:

  • dla osób początkujących w kryptowalutach, ponieważ przegląd technologii blockchain pozwala szybko rozpocząć pracę z domeną;
  • dla specjalistów w dziedzinie informatyki ze względu na opis technologii projektowania modeli z możliwością ponownego wprowadzenia;
  • dla specjalistów Blockchain, którzy dowiedzą się, jak zweryfikować i zoptymalizować system kryptowalut;
  • CEO Blockchain będzie znał zespół, który zweryfikuje jego kryptowalutę.