Tak, tak, wiem, że ludzie CompSci krzyczą w swoich głowach: „Nie ma czegoś takiego jak nieskończona taśma!” Wiem, dobrze? Weź tabletkę na chłód. Zdaję sobie sprawę, że w granicach naszego fizycznego wszechświata nie ma nic, co jest naprawdę nieskończone, ale używam tego terminu tylko dlatego, że w kontekście dyskusji teoretyczna maszyna Turinga ma nieskończoną teoretyczną taśmę, więc myślę, że użycie bardziej powszechnego terminu jest uzasadnione. Pomijając to: „O czym do cholery mówię?” Zapytaj przeciętnego laika, który nie przejmuje się zbytnio nerdowskimi debatami CompSci. Cóż, zacznijmy od maszyny Turinga, o której rozmawialiśmy w zeszłym tygodniu. Przypomnijmy, że maszyna Turinga to tylko mentalny model działania obliczeń. Obejmuje maszynę z głowicą odczytująco-zapisującą, która może czytać instrukcje i zapisywać instrukcje na nieskończonej taśmie, zgodnie z zestawem reguł. Taśma jest podzielona na komórki, które zawierają symbole lub mogą być puste. Reguły są reprezentowane w postaci tablicy przejść stanów, która jest znana maszynie (w jej pamięci), dzięki czemu wie, co zrobić, gdy odczyta dowolny symbol z komórki taśmy znajdującej się pod głowicą odczytu/zapisu. Tabela zasadniczo jest mapowaniem reguł, które przybierają postać:
—> dany symbol „x” jest odczytywany z taśmy, wykonaj akcję „y”. Działania mogą być kombinacją przesunięcia taśmy w lewo lub w prawo o pewną liczbę komórek i/lub wpisania nowego symbolu w komórce na nagłówku. Dostarczając taśmę do maszyny (taśmę można traktować jako program) i mając zdefiniowany język formalny (tablica reguł symboli), to wystarczająco modeluje wszelkie obliczenia ogólne. Każdy program napisany w dowolnym języku dla dowolnego komputera może być zaimplementowany jako maszyna Turinga, chociaż w praktyce taka maszyna nie jest zbyt wydajna, więc rzadko jest budowana jako prawdziwy komputer fizyczny. Turing zaproponował tę teoretyczną maszynę jako sposób na analizę tego, co faktycznie może być obliczone przez dowolny komputer, niezależnie od fizycznych ograniczeń rozmiaru pamięci lub szybkości obliczeniowej. Było to tak przydatne, że do dziś używamy potocznego terminu „Turing Complete” do opisywania języków komputerowych, które mogą wyrazić dowolne ogólne obliczenia w równoważności z tym, co byłaby w stanie obliczyć teoretyczna maszyna Turinga.
Więc jakie jest to znaczenie? Cóż, trzymaj się swoich bryczesów — BSV to nieskończona taśma Turinga. Taki, który porusza się do przodu, ale nieskończenie wiecznie w przyszłość. Z poprzednich komórek można odczytać, ale nie można ich zmienić. Poza tym może modelować nieskończoną taśmę w maszynie Turinga. Co więcej, ta taśma jest czytelna i zapisywalna przez każdego i wszędzie. Na tej publicznej nieskończonej taśmie można zbudować maszynę Turinga (lub nieograniczoną ich liczbę) i obliczyć dowolną liczbę równoległych obliczeń. Bitcoin to globalny, masowo rozproszony komputer! Cóż, przynajmniej niezbędny fundament jednego. Potrzebne są tylko zestawy reguł i maszyny do odczytu/zapisu. Czytelnik/pisarz to po prostu coś, co słucha i może publikować podpisane transakcje na łańcuchu bloków — zapisując na taśmę.
Uruchamiając taki serwer i programując go z tabelą reguł translacji symboli, można efektywnie tworzyć programy jako automaty pushdown1 (PDA). Ponieważ taśma jest łańcuchem bloków — z własnymi mechanizmami konsensusu — taśma może być powszechnie uzgodniona i przechowuje stan potencjalnego morza urządzeń PDA, które można na niej zbudować. Może nawet przechowywać same tabele tłumaczeń symboli. Teraz wyobraź sobie, że potrzebujesz wykonać pewne obliczenia. Kompilujesz logikę do równoważnej tabeli translacji symboli lub zestawu reguł. Publikujesz ten zestaw reguł na nieskończonej taśmie Turinga. Chcesz wykonać ten program dla zestawu 1000 różnych wejść. Wszystko, co musisz zrobić, to osadzić te dane wejściowe w transakcjach inteligentnych kontraktów, po jednym na zestaw, w tym każda zablokowana płatność, a następnie dowolna liczba publicznych węzłów obliczeniowych pobierze dane wejściowe, załaduje zestawy reguł, uruchomi program do zakończenia i napisze wyniki z powrotem na taśmę. Są do tego zachęcani, ponieważ pierwsi, którzy ukończą zadanie, będą mogli odebrać nagrodę, która została umieszczona w transakcji inteligentnego kontraktu. Jest to obietnica przyszłych obliczeń na BSV i jest to kolejna ewolucja obliczeń sieciowych. Jest to przetwarzanie bez określonej instancji lub „obliczeń bezserwerowych”, co pozwala na nieograniczoną skalowalność i odporność. Posiadanie całkowitych zasobów obliczeniowych planety, które są w stanie uczestniczyć, zapewnia maksymalne i wydajne skalowanie, zależne od tego, ile żądający obliczeń są gotowi zapłacić. Podaż i popyt na przetwarzanie w chmurze staną się napędzane przez wolny rynek, wyobraźcie sobie to! Ale czym będzie się to różnić od naszych obecnych modeli przetwarzania w chmurze? Podczas gdy obecne modele zakładają „nie”, zachęcają do przywiązania do klienta, nowy model będzie zachęcał do dywersyfikacji, różnicowania i wyboru konsumentów na rynkach obliczeniowych.
Obecni dostawcy usług w chmurze zapewniają infrastrukturę platformy i narzędzia potrzebne do zaspokojenia wszystkich rozproszonych potrzeb obliczeniowych, ale wdrażając aplikacje i usługi na platformie, bardzo trudno jest przenieść firmę do innego dostawcy. Możesz skalować, ale tylko wtedy, gdy pozostaniesz na tej samej platformie, zgodnie z ich ewoluującymi modelami biznesowymi i schematami cenowymi — jesteś zablokowany. Technologia konteneryzacji, taka jak Docker, to duży krok w kierunku bardziej zmodularyzowanego rynku obliczeniowego, na którym host serwera i uruchamiany kod mogą być oddzielone, ale możliwość płacenia za serwery na podstawie obliczeń jest prawdziwą innowacją dekady. W świecie, w którym różne usługi obliczeniowe mogą konkurować o wykonanie tych samych obliczeń, dynamika konkurencji drastycznie się zmienia. Klient obliczeniowy może wybrać różnych dostawców usług na zadanie, a nawet zlecić im jednoczesne obliczenie tego samego zadania. Takie są korzyści z udostępniania tej samej globalnej taśmy Turinga do przekazywania żądań zadań obliczeniowych, wyników i płatności za usługi. Obliczenia naprawdę stają się towarem; kiedy tak się stanie, usługodawcy będą naprawdę musieli konkurować o Twoją firmę.
Tam, gdzie istnieje konkurencja między dostawcami, konsument zawsze wygrywa. Wyobraź sobie przyszłość, w której odporność danych i ciągłość biznesowa jest zapewniona dzięki temu, że Twoje obliczenia mogą być zawsze wykonywane w globalnej sieci publicznej, bezpiecznie i prywatnie. Nie chmura, ale zdecentralizowany SWARM węzłów obliczeniowych, które tworzą ogólnoświatową sieć obliczeniową. Zadania obliczeniowe są wykonywane przez najbardziej wydajne lub lokalne węzły, a obliczenia stają się podstawową usługą, z której może czerpać korzyści każdy, kto dysponuje jakąkolwiek mocą obliczeniową, nawet w postaci urządzenia mobilnego. To coś więcej niż przetwarzanie brzegowe — ponieważ „krawędź” nadal oznacza centrum — to jest przetwarzanie globalne. Z niecierpliwością czekam na pierwsze PDA i automaty funkcjonalne, które dołączą do roju. Zostanie wypuszczony na to środowisko taśm Turinga, które będzie trwało wiecznie, przechowując zapis wydarzeń i transakcji dla obywateli statku kosmicznego Ziemia przez wiele nadchodzących tysiącleci2.
Zasoby Niektóre projekty w przestrzeni, które zaczynają badać tę przestrzeń obliczeniową Bitcoin, aby mieć oko na: Grid Planaria (niektóre podstawowe komponenty maszyny Turinga, a nawet lepsze dokumenty na ten temat) Protokół Turing Tape (jedna implementacja) Komputer Bitcoin (Dla bardziej nastawionych na OOP programistów, którzy lubią javascript) Uruchom sieć (ukierunkowane na tokeny podejście do przetwarzania bitcoinów) *** [1] PDA – Informatycy będą wiedzieć, że każda maszyna Turinga może być symulowana przez automat z dwoma stosami. I każdy oceniający bitcoin ma do dyspozycji 2 stosy podczas wykonywania języka skryptowego bitcoin. [2] Z technicznego punktu widzenia każda wysokość bloku większa niż 500 000 000 zacznie powodować pewne problemy z obecnym projektem protokołu. Na przykład nLocktime. Ale zanim będziemy musieli się martwić o takie rzeczy, minie około 10 000 AD, co jest dobre w przypadku większości aplikacji biznesowych.
Autor : BitcoinSV.pl
Źródło : BSV as an Infinite Turing Tape – CoinGeek
