Dovada mizei: cum am invatat sa iubesc subiectivitatea slaba


Dovada mizei continua sa fie una dintre cele mai controversate discutii din spatiul criptomonedei. Desi ideea are multe beneficii incontestabile, inclusiv eficienta, o marja de securitate mai mare si o imunitate care se dovedeste in viitor la problemele de centralizare hardware, algoritmii de proba a mizelor tind sa fie substantial mai complexe decat dovada alternativelor bazate pe munca si exista o cantitate mare de scepticism ca dovada mizei poate functiona deloc, in special in ceea ce priveste problema presupus fundamentala „nimic in joc”. Dupa cum se dovedeste, insa, problemele sunt rezolvate si se poate argumenta riguros ca dovada mizei, cu toate beneficiile sale, poate fi facuta pentru a avea succes – dar cu un cost moderat. Scopul acestei postari va fi sa explice exact care este acest cost si cum se poate reduce impactul acestuia. matrimoniale valcea dragasani

Seturi economice si nimic in miza

In primul rand, o introducere. Scopul unui algoritm de consens, in general, este acela de a permite actualizarea sigura a unui stat in conformitate cu unele reguli specifice de tranzitie de stat, unde dreptul de a efectua tranzitiile de stat este distribuit intre anumite seturi economice. Un set economic este un set de utilizatori carora li se poate da dreptul de a efectua colectiv tranzitii prin intermediul unui algoritm, iar proprietatea importanta pe care trebuie sa o aiba setul economic folosit pentru consens este ca trebuie sa fie decent descentralizata – ceea ce inseamna ca niciun singur actor, sau un ansamblu de actori in coluziune, poate prelua majoritatea setului, chiar daca actorul are o cantitate destul de mare de capital si stimulent financiar. Pana in prezent, stim despre trei seturi economice descentralizate in siguranta si fiecare set economic corespunde unui set de algoritmi de consens:

  • Posesorii puterii de calcul: dovada de lucru standard sau TaPoW. matrimoniale negresti oas Retineti ca acest lucru este inclus in hardware specializat si variante hardware (cu speranta) cu scop general.
  • Parti interesate: toate multiplele variante de proba a mizei
  • Reteaua sociala a unui utilizator: consensul in stilul Ripple / Stellar

Retineti ca au existat cateva incercari recente de a dezvolta algoritmi de consens bazate pe teoria traditionala bizantina a tolerantei la erori; Cu toate acestea, toate aceste abordari se bazeaza pe un model de securitate M-of-N, iar conceptul de „toleranta la erorile bizantine” lasa in continuare deschis intrebarea de la care ar trebui sa se preleveze N-ul. In majoritatea cazurilor, setul folosit este partile interesate, asa ca vom trata astfel de paradigme neo-BFT fiind pur si simplu subcategorii inteligente ale „probei mizelor”.

Proof of work has a nice property that makes it much simpler to design effective algorithms for it: participation in the economic set requires the consumption of a resource external to the system. poze fete frumoase matrimoniale This means that, when contributing one’s work to the blockchain, a miner must make the choice of which of all possible forks to contribute to (or whether to try to start a new fork), and the different options are mutually exclusive. Double-voting, including double-voting where the second vote is made many years after the first, is unprofitablem since it requires you to split your mining power among the different votes; the dominant strategy is always to put your mining power exclusively on the fork that you think is most likely to win.

Cu dovada mizei, insa, situatia este diferita. Desi includerea in ansamblul economic poate fi costisitoare (desi asa cum vom vedea nu este intotdeauna), votarea este gratuita. femei in varsta matrimoniale Acest lucru inseamna ca algoritmii „naivi probe de miza”, care incearca pur si simplu sa copieze dovada muncii facand din fiecare moneda un „platform minier simulat” cu o anumita sansa pe secunda de a face ca contul care il detine sa poata fi utilizat pentru semnarea unui bloc, are un defectiune fatala: daca exista mai multe furci, strategia optima este sa votezi toate furcile simultan. Acesta este nucleul „nimic in joc”.

Retineti ca exista un argument pentru care ar putea sa nu aiba sens ca un utilizator sa voteze o singura furca intr-un mediu de proba de joc: „altruism-prim”. Altruism-prim-ul este in esenta combinatia dintre altruismul real (din partea utilizatorilor sau dezvoltatorilor de software), exprimata atat ca o preocupare directa pentru bunastarea celorlalti, cat si a retelei si un dezincentiv moral psihologic impotriva faptului ca face ceva care este in mod evident rau (dublu- votare), precum si „altruismul fals” care apare pentru ca detinatorii de monede au dorinta de a nu vedea valoarea monedelor lor in scadere. publi24timisoara matrimoniale

Din pacate, altruismul primar nu poate fi bazat exclusiv pe motiv ca valoarea monedelor provenite din integritatea protocolului este un bun public si va fi astfel insuficient (de exemplu, daca exista 1000 de parti interesate, iar fiecare dintre activitatile lor are o sansa de 1% de a fi „Pivot” pentru a contribui la un atac de succes care va reduce valoarea monedei la zero, atunci fiecare parti interesate va accepta o mita egala cu doar 1% din participatiile lor). In cazul unei distributii echivalente cu blocul de geneza Ethereum, in functie de modul in care estimati probabilitatea ca fiecare utilizator sa fie pivotant, cantitatea necesara de mita ar fi egala cu undeva intre 0,3% si 8,6% din miza totala (sau chiar mai putin daca un atac nu este fatal fata de moneda). Cu toate acestea, altruismul prim este inca un concept important pe care designerii de algoritmi ar trebui sa-l tina cont,

Interval scurt si lung

Daca ne concentram atentia in mod special pe furculitele cu raza scurta – furculitele care dureaza mai putin decat un numar de blocuri, poate 3000, atunci exista o solutie la problema nimic in joc: depozitele de securitate. Pentru a putea fi eligibil pentru a primi o recompensa pentru votarea unui bloc, utilizatorul trebuie sa depuna un depozit de securitate, iar daca utilizatorul este prins fie voteaza pe mai multe furci, atunci o dovada a tranzactiei poate fi introdusa in lantul initial, luand recompensa departe. sex matrimoniale bucuresti Prin urmare, votarea doar pentru o singura furca devine din nou strategia dominanta.

Un alt set de strategii, denumit „Slasher 2.0” (spre deosebire de Slasher 1.0, algoritmul original bazat pe depozitul de securitate al algoritmului de miza), implica pur si simplu sanctionarea alegatorilor care voteaza pe furculita gresita , nu a alegatorilor care voteaza dublu. publi24 botosani matrimoniale Acest lucru face ca analiza sa fie substantial mai simpla, deoarece elimina necesitatea de a preselectiona alegatorii cu multe blocuri in avans pentru a preveni strategiile probabilistice de votare dubla, desi are costul ca utilizatorii sa nu fie dispusi sa semneze ceva daca exista doua alternative de bloc. la o inaltime data. Daca dorim sa oferim utilizatorilor optiunea de a semna astfel de circumstante, poate fi utilizata o varianta de reguli de notare logaritmica (vezi aici pentru investigatii mai detaliate). In scopul acestei discutii, Slasher 1. matrimoniale relatii 0 si Slasher 2.0 au proprietati identice.

Motivul pentru care acest lucru functioneaza numai pentru furci cu raza scurta de actiune este simplu: utilizatorul trebuie sa aiba dreptul de a retrage eventual depozitul, iar dupa ce depozitul este retras, nu mai exista niciun stimul pentru a nu vota o furculita cu raza lunga de pornire. mult inapoi in timp, folosind acele monede. noidoi.ro matrimoniale O clasa de strategii care incearca sa rezolve acest lucru este ca depozitul sa fie permanent, insa aceste abordari au o problema proprie: daca valoarea unei monede nu creste constant, astfel incat sa admita continuu noi semnatari, consimtamantul consensual ajunge sa se osifice intr-un un fel de nobilime permanenta. Avand in vedere ca una dintre principalele nemultumiri ideologice care a condus la popularitatea criptomonedei este tocmai faptul ca centralizarea tinde sa se osifice in nobilimi care pastreaza puterea permanenta, copierea unei astfel de proprietati va fi probabil inacceptabila pentru majoritatea utilizatorilor, cel putin pentru blockchain-uri care sunt menite sa fie permanente. Un model de nobilime poate fi cu exactitate abordarea corecta pentru blockchain-uri efemere cu scop special, menite sa moara rapid (de exemplu, s-ar putea imagina un astfel de blockchain existent pentru o runda a unui joc bazat pe blockchain).

O clasa de abordari in solutionarea problemei este combinarea mecanismului Slasher descris mai sus pentru furcile cu raza scurta de actiune cu o rezerva, tranzactii ca dovada a jocului, pentru furci cu raza lunga. strategii matrimoniale in istorie In mod esential, TaPoS functioneaza prin numararea comisioanelor de tranzactie ca parte a „punctajului” unui bloc (si necesita ca fiecare tranzactie sa includa cativa octeti ai unui hash de bloc recent pentru a face tranzactii netransferabile), teoria fiind ca o furculita de atac trebuie sa cheltuiasca o cantitate mare a taxelor de recuperare. Cu toate acestea, aceasta abordare hibrida are un defect fundamental: daca presupunem ca probabilitatea ca un atac sa aiba succes este aproape de zero, atunci fiecare semnatar are un stimulent sa ofere un serviciu de a semna din nou toate tranzactiile pe un nou blockchain in schimbul o mica taxa; prin urmare, o probabilitate zero ca succesul atacurilor sa nu fie stabila teoretic. Fiecare utilizator care isi configureaza propriul webapp node.js pentru a accepta mita suna nerealist? Ei bine, daca da, exista o modalitate mult mai usoara de a face asta: vinde chei private vechi, care nu mai sunt folosite, pe piata neagra. matrimoniale husi jud vaslui Chiar si fara pietele negre, un sistem de proba de miza ar fi pentru totdeauna sub amenintarea indivizilor care au participat initial la pre-vanzare si au avut o parte din emisiunea blocului de geneza in cele din urma gasindu-se reciproc si reunindu-se pentru a lansa o furculita.

Datorita tuturor argumentelor de mai sus, putem concluziona in siguranta ca aceasta amenintare a unui atacator care construieste o furculita dintr-o raza lunga arbitrar este din pacate fundamentala, iar in toate implementarile care nu sunt degenerate, problema este fatala pentru o proba a succesului algoritmului in miza. a modelului de securitate a muncii. Cu toate acestea, putem ocoli aceasta bariera fundamentala cu o usoara schimbare, dar totusi fundamentala, a modelului de securitate. matrimoniale pt casatorie

Subiectivitate slaba

Desi exista mai multe modalitati de clasificare a algoritmilor de consens, diviziunea pe care ne vom concentra pentru restul acestei discutii este urmatoarea. In primul rand, vom oferi astazi cele mai comune doua paradigme:

  • Obiectiv: un nou nod care vine in retea fara cunostinte, cu exceptia (i) definitiei protocolului si (ii) setul tuturor blocurilor si a altor mesaje „importante” care au fost publicate pot ajunge in mod independent la aceeasi concluzie ca si restul reteaua de pe starea actuala.
  • Subiectiv: sistemul are stari stabile in care nodurile diferite ajung la concluzii diferite si este necesara o cantitate mare de informatii sociale (adica reputatie) pentru a participa.

Sistemele care folosesc retelele sociale ca set de consens (de exemplu, Ripple) sunt toate in mod necesar subiective; un nou nod care nu stie altceva decat protocolul si datele pot fi convinse de un atacator ca 100000 de noduri ale lor sunt de incredere si fara reputatie nu exista nici o modalitate de a face cu atacul respectiv. anuntultelefonic matrimoniale



  • publi 24 matrimoniale eforie nord
  • anunturi matrimoniale sannicolau mare
  • anunturi matrimoniale femei gratuite
  • matrimoniale sex braila
  • matrimoniale neptun
  • matrimoniale pub 24 iasi
  • matrimoniale patarlagele
  • escort masaj matrimoniale
  • matrimoniale faceboc
  • matrimoniale 2016 barbati
  • matrimoniale publi 24 ro
  • anunturi publicitare matrimoniale
  • publi24 medias matrimoniale
  • matrimoniale barbati crestini ortodocsi
  • femei la matrimoniale
  • matrimoniale cupidon ro
  • matrimoniale swingeri
  • matrimoniale bucuresti gratuit sector 6
  • fb matrimoniale
  • matrimoniale galati monitorul





Dovada muncii, pe de alta parte, este obiectiva: starea actuala este intotdeauna starea care contine cea mai mare cantitate preconizata de dovada a muncii.

Acum, pentru dovada mizei, vom adauga o a treia paradigma:

  • Subiectiv slab: un nou nod care vine in retea fara cunostinte, cu exceptia (i) definitiei protocolului, (ii) a ansamblului tuturor blocurilor si a altor mesaje „importante” care au fost publicate si (iii) o stare de mai putin de N blocuri In urma, despre care se stie ca este valabil, poate ajunge in mod independent la aceeasi concluzie ca si restul retelei pe starea actuala, cu exceptia cazului in care exista un atacator care are permanent mai mult de X la suta asupra consensului stabilit.

Sub acest model, putem vedea clar cum dovada mizei functioneaza perfect: am interzis pur si simplu ca nodurile sa revina mai mult decat N blocuri si am setat N sa fie lungimea depozitului de securitate. Adica, daca starea S a fost valabila si a devenit un stramos de cel putin N state valide, atunci din acel moment nici o stare S care nu este descendenta a lui S nu poate fi valabila. public 24 matrimoniale baia mare Atacurile pe distante lungi nu mai reprezinta o problema, din banalul motiv pentru care am spus pur si simplu ca furculitele pe distante lungi nu sunt valide ca parte a definitiei protocolului. Aceasta regula este in mod clar slab subiectiva, cu bonusul adaugat ca X = 100% (adica niciun atac nu poate provoca perturbari permanente decat daca dureaza mai mult de N blocuri).

O alta metoda slab subiectiva este punctarea subiectiva exponentiala , definita dupa cum urmeaza:

  1. Fiecare stare S mentine un „scor” si o „gravitatie”
  2. scor (geneza) = 0, gravitatie (geneza) = 1
  3. punctaj (bloc) = punctaj (bloc.parent) + greutate (bloc) * gravitatie (bloc. matrimoniale ieftine parent), unde greutatea (bloc) este de obicei 1, desi functiile de greutate mai avansate pot fi de asemenea utilizate (de exemplu, in Bitcoin, greutate ( bloc) = block.difficiency poate functiona bine)
  4. Daca un nod vede un nou bloc B ‘cu B ca parinte, atunci daca n este lungimea celui mai lung lant de descendenti de la B la acel moment, gravitatia (B’) = gravitatia (B) * 0,99 ^ n (retineti ca valorile se poate folosi si altul decat 0,99).

In esenta, penalizam in mod explicit furculitele care vin mai tarziu. ESS are proprietatea ca, spre deosebire de abordari mai naive la subiectivitate, evita mai ales divizari permanente de retea; daca timpul dintre primul nod din audierea retelei despre blocul B si ultimul nod din audierea retelei despre blocul B este un interval de k blocuri, atunci o furculita nu este durabila, cu exceptia cazului in care lungimile celor doua furci raman pentru totdeauna intr-un procent de aproximativ k procente. matrimoniale tmisoara una de cealalta (daca este cazul, atunci gravitatiile diferite ale furcilor vor asigura ca jumatate din retea vor vedea pentru totdeauna o furculita ca punctare mai mare, iar cealalta jumatate va suporta cealalta furca). Prin urmare, ESS este slab subiectiv, X corespunzand aproximativ cat de aproape de o impartire a retelei 50/50 pe care atacatorul o poate crea (de exemplu, daca atacatorul poate crea o divizare 70/30, atunci X = 0,29).

In general, regula „blocari max revertire N” este superioara si mai putin complexa, dar ESS poate dovedi ca are mai mult sens in situatiile in care utilizatorii sunt in regula cu un grad ridicat de subiectivitate (adica N fiind mic) in schimbul unei ascensiuni rapide la grade foarte mari de securitate (adica imune la un atac de 99% dupa N blocuri).

Consecinte

Cum ar arata o lume alimentata de un consens slab subiectiv? In primul rand, nodurile care sunt intotdeauna online ar fi bine; in aceste cazuri, subiectivitatea slaba este, prin definitie, echivalenta cu obiectivitatea. anunturi matrimoniale ziar Nodurile care apar online din cand in cand, sau cel putin o data la fiecare N blocuri, ar fi de asemenea in regula, deoarece ar putea sa obtina constant o stare actualizata a retelei. Cu toate acestea, noile noduri care se alatura retelei si nodurile care apar online dupa foarte mult timp, nu ar avea algoritmul de consens protejandu-le in mod fiabil. Din fericire, pentru ei, solutia este simpla: prima data cand se inscriu si de fiecare data cand raman offline pentru foarte mult timp, nu au nevoie decat de un hash de bloc recent de la un prieten, un explorator blockchain sau pur si simplu software-ul lor furnizor si lipiti-l in clientul lor blockchain ca „punct de control”.

Aceasta presupunere de securitate, ideea de „a obtine un hash de bloc de la un prieten”, poate parea nelegala pentru multi; Dezvoltatorii Bitcoin adesea arata ca, daca solutia atacurilor pe distante lungi este un mecanism de decizie alternativ X, atunci securitatea blockchain depinde in cele din urma de X, astfel incat algoritmul nu este in realitate mai sigur decat utilizarea X direct – ceea ce implica ca majoritatea X, inclusiv abordarea noastra bazata pe consens social, sunt nesigure. matrimoniale fetesti gara

Cu toate acestea, aceasta logica ignora de ce algoritmii de consens exista in primul rand. Consensul este un proces social, iar fiintele umane sunt destul de bune sa se angajeze in consensul nostru fara niciun ajutor din partea algoritmilor; poate cel mai bun exemplu este pietrele Rai, unde un trib din Yap a mentinut, in esenta, un blockchain care inregistreaza modificari ale dreptului de proprietate asupra pietrelor (folosit ca un activ cu valoare zero intrinseca ca Bitcoin) ca parte a memoriei sale colective. Motivul pentru care algoritmii de consenseste nevoie, pur si simplu, pentru ca oamenii nu au o putere de calcul infinita si prefera sa se bazeze pe agentii software pentru a mentine consensul pentru noi. Agentii software sunt foarte inteligenti, in sensul ca pot mentine consensul asupra unor state extrem de mari, cu reguli extrem de complexe, cu o precizie perfecta, dar sunt, de asemenea, foarte ignoranti, in sensul ca au informatii sociale foarte putine si provocarea algoritmilor de consens. publi 24 craiova matrimoniale este acela al crearii unui algoritm care necesita o introducere cat mai mica a informatiilor sociale.

Subiectivitatea slaba este exact solutia corecta. Rezolva problemele de lunga durata cu dovada jocului, bazandu-se pe informatii sociale bazate pe oameni, dar lasa la un algoritm de consens rolul de a creste viteza consensului de la cateva saptamani la doisprezece secunde si de a permite utilizarea unor reguli extrem de complexe si un stat mare. Rolul consensului condus de om este retrogradat la mentinerea consensului asupra hasurilor blocate pe perioade lungi de timp, lucru la care oamenii se potrivesc perfect. anunturi matrimoniale dolj Un guvern ipotetic opresiv, care este suficient de puternic pentru a provoca de fapt confuzie cu privire la adevarata valoare a unui hash de bloc de acum un an ar fi, de asemenea, suficient de puternic pentru a depasi orice dovada a algoritmului de lucru sau pentru a provoca confuzii cu privire la regulile protocolului blockchain.

Retineti ca nu trebuie sa remediem N; teoretic, putem gasi un algoritm care permite utilizatorilor sa-si mentina depozitele blocate mai mult decat N blocuri, iar utilizatorii pot profita apoi de aceste depozite pentru a obtine o lectura mult mai fina a nivelului lor de securitate. De exemplu, daca un utilizator nu s-a autentificat inca de la blocurile T in urma si 23% din depozite au o durata pe termen mai mare decat T, atunci utilizatorul poate veni cu propria functie de notare subiectiva care ignora semnaturile cu depuneri mai noi si, prin urmare, sa fie sigur impotriva atacurilor cu pana la 11,5% din pachetul total. O curba a ratei dobanzii in crestere poate fi folosita pentru a stimula depozitele pe termen lung pe cele mai scurte sau pentru simplitate ne putem baza doar pe altruism. anunturi matrimoniale mangalia

Cost marginal: cealalta obiectie

O obiectie fata de depozitele pe termen lung este aceea ca incurajeaza utilizatorii sa isi pastreze capitalul inchis, ceea ce este ineficient, exact aceeasi problema ca si dovada muncii. Cu toate acestea, exista patru contrapuncte in acest sens.

In primul rand, costul marginal nu este costul total, iar raportul dintre costul total impartit la costul marginal este mult mai mic pentru dovada mizei decat dovada muncii. Este posibil ca un utilizator sa simta aproape deloc durere de la blocarea a 50% din capitalul sau timp de cateva luni, o usoara cantitate de durere de la blocarea cu 70%, dar ar putea bloca mai mult de 85% fara o recompensa mare. matrimoniale fara inregistrare In plus, utilizatori diferiti au preferinte foarte diferite pentru cat sunt de dispusi sa blocheze capitalul. Datorita acestor doi factori adunati, indiferent de rata dobanzii de echilibru, va fi blocata, marea majoritate a capitalului va fi blocata cu mult sub costul marginal.

In al doilea rand, blocarea capitalului este un cost privat, dar si un bun public. Prezenta capitalului inchis inseamna ca exista o cantitate mai mica de bani disponibila in scopuri tranzactionale si astfel valoarea monedei va creste, redistribuind capitalul tuturor celorlalti, creand un beneficiu social. agentii matrimoniale ploiesti In al treilea rand, depozitele de garantie reprezinta un depozit de valori foarte sigur, astfel incat (i) sa inlocuiasca utilizarea banilor ca instrument de asigurare personala pentru criza si (ii) multi utilizatori vor putea acorda imprumuturi in aceeasi moneda garantata de garantie. depozit. In sfarsit, deoarece dovada mizei poate inlatura efectiv depozitele pentru comportament necorespunzator si nu doar recompense, este capabila sa atinga un nivel de securitate mult mai mare decat nivelul de recompense, in timp ce in cazul probei de lucru, nivelul de securitate poate fi doar egal cu nivelul recompenselor.distruge ASIC-urile minerilor care comporta gresit. matrimoniale publi24 s6

Din fericire, exista o modalitate de a testa aceste ipoteze: lansati o dovada de moneda de pachet cu o recompensa a pachetului de 1%, 2%, 3%, etc pe an si vedeti cat de mare procent de monede devin depozite in fiecare caz. Utilizatorii nu vor actiona impotriva propriilor interese, asa ca putem utiliza pur si simplu cantitatea de fonduri cheltuite pe consens ca un proxy pentru cat de ineficienta introduce algoritmul de consens; daca dovada mizei are un nivel rezonabil de securitate la un nivel de recompensa mult mai mic decat dovada muncii, atunci stim ca dovada mizei este un mecanism de consens mai eficient si putem folosi nivelurile de participare la diferite niveluri de recompensa pentru a obtine un idee exacta a raportului dintre costul total si costul marginal. In cele din urma, poate dura ani pentru a va face o idee exacta despre cat de mari sunt costurile de blocare a capitalului.

In total, acum stim sigur ca (i) dovada algoritmilor de miza poate fi securizata, iar subiectivitatea slaba este atat suficienta cat si necesara ca o schimbare fundamentala a modelului de securitate pentru a evita problemele care nu sunt in joc pentru realizarea acestui obiectiv si (ii) exista motive economice substantiale pentru a crede ca dovada mizei este de fapt mult mai eficienta decat dovada muncii. fete sexy matrimoniale Dovada mizei nu este o necunoscuta; ultimele sase luni de formalizare si cercetare au stabilit exact unde se afla punctele tari si punctele slabe, cel putin intr-o masura cat mai mare cu dovada muncii, in care incertitudinile privind centralizarea miniera pot fi intotdeauna abundente. Acum, este pur si simplu o problema de standardizare a algoritmilor si de a oferi dezvoltatorilor blockchain posibilitatea de a alege.