Sergey Yegorov, de CEO van Pruvendo - een bedrijf dat formele verificatie uitvoert van slimme contracten op de Free TON-blockchain, vertelt over wat een wiskundig bewijs van een slimme contractcorrectheid is, en ook waarom Free TON voorbestemd is om de tech gedecentraliseerd platform. 

• Je werkt al 1.5 jaar met het Free TON-ecosysteem, lang voordat het op de markt kwam.  
• Toen we begonnen was er geen gratis TON, maar er was een TON-project van Pavel Durov. Gratis TON is ongeveer een jaar oud, dus we kennen het project vanaf zijn "geboorte". Nu wordt een hele subgov van formele verificatie gevormd binnen Free TON en ik ben de actieve deelnemer ervan (Free TON heeft geen gecentraliseerd beheer en alle processen staan ​​onder beheer van subgovs)

• Wat betekent de formele verificatie van een smart contract eigenlijk? Het klinkt erg ingewikkeld voor een leek.
• Het kan worden vergeleken met het lanceren van een satelliet in de ruimte. Als we een satelliet lanceren, begrijpen we dat als er een fout wordt gemaakt, deze wegvliegt naar een verkeerde plaats, niet in een baan om de aarde komt en voor altijd verloren gaat. Slimme contracten lijken daar enigszins op. Als er een fout in staat en het is al actief, kunt u al uw geld verliezen en kunt u het niet retourneren. Formele verificatie van een smart contract is een wiskundig bewijs van de juistheid ervan, een bewijs dat alles goed zal gaan.

Bovendien gebruiken we allemaal verschillende applicaties en worden we vaak geconfronteerd met het feit dat ze niet correct werken. Meestal zijn dit kleine tekortkomingen die eenvoudigweg kunnen worden genegeerd. Maar in het geval van een op blockchain gebaseerd smart contract kan zelfs een kleine fout kritiek worden. Het geld kan worden gestolen of gewoon worden opgehangen. Fouten en fouten zijn dus onaanvaardbaar. 

• Zijn er dergelijke gevallen geweest in de geschiedenis van de blockchain? 
• Ja, de bekendste is misschien wel de hackeraanval op de DAO in 2016. Als gevolg van een kwetsbaarheid in de projectcode stal een hacker 53 miljoen USD van gebruikers, wat leidde tot een volledige ineenstorting van de DAO-wisselkoers. en daarna Ethereum, dat werd gebruikt als basis voor het gedecentraliseerde DAO-platform. De Parity- en Rubixi-projecten hadden ook problemen met de code. Er zijn veel vergelijkbare voorbeelden. In alle gevallen verliezen gebruikers enorme bedragen of ondervinden ze andere ongemakken, daarom is ons werk zo belangrijk.

• Waar is het gemakkelijker om geld te stelen - een blockchain of een bankrekening? 
• De blockchain is veilig als er geen fouten in staan. Maar de gedecentraliseerde blockchain staat sowieso open voor alle windstreken. De bankrekening wordt beschermd door firewalls en de informatiebeveiligingsafdelingen werken. Maar zoals u weet, kunnen banken ook failliet gaan.

• Dat wil zeggen, als er een fout in het slimme contract zit en het loopt, kan het dan niet meer worden opgelost? 
• Als je een bug vindt, heb je verschillende tools, als je er van tevoren voor hebt gezorgd. Maar als je dat niet hebt gedaan, kan er niets worden veranderd. 

• In welk stadium kunnen fouten optreden en wanneer kunnen ze worden gecorrigeerd?
• De fout kan optreden als gevolg van het schrijven van een slim contract. Er zijn programmeurs die een slim contract schrijven. Vervolgens wordt het omgezet in machinecode, die naar de blockchain wordt gestuurd, zoals een schip in een baan om de aarde. Fouten worden gevormd tijdens het schrijven. Voordat het in de blockchain wordt gelanceerd, wordt de kwaliteit van het programma gecontroleerd. Voor verificatie worden verschillende methoden gebruikt - formele of wiskundige en traditionele verificatie, dat wil zeggen testen. Formele methoden zijn strikt wiskundig, ze bewijzen dat er geen fouten zijn. Zowel formele als traditionele methoden vergen enorm veel werk. 

• Wiskundige benaderingen van blockchain-verificatie zijn duur en er zijn maar weinig specialisten. Waar vind je ze? 
• Dit is een enorm probleem, omdat er geen geschoolde specialisten zijn. Van het hele team dat voor ons werkt, kwam er maar één medewerker naar ons toe als een reeds gevestigde specialist. In de regel nemen we programmeurs of wiskundestudenten mee die verstand hebben van programmeren. Omdat volwassen wiskundigen niet weten hoe ze moeten programmeren en niet alle programmeurs wiskunde begrijpen. 

• Laten we teruggaan naar gratis TON. Nu, bij het bezoeken van de site, is het voor een leek niet erg duidelijk hoe deze nuttig kan zijn en hoe hij deze moet gebruiken. Wat is vanuit het oogpunt van de programmeurs het belangrijkste idee van Free TON? 
• Mijn mening is dat het idee van Free TON is om eindelijk mensen te leren hoe ze blockchain-technologie kunnen gebruiken. Tegenwoordig wordt blockchain geassocieerd met tokens en met het ontvangen van speculatieve inkomsten of grijze en zwarte schema's. Een paar jaar geleden verscheen Ethereum en iedereen dacht dat slimme contracten eindelijk naar de massa zouden komen. En Free TON is een hoogtechnologisch platform voor ontwikkelaars om verschillende snelle DEFI-applicaties te schrijven die nuttig zullen zijn voor alle mensen. 

Daarnaast laat Free TON, als project, duidelijk zien hoe je samen een project kunt managen, zonder één centrum of kantoor. Dit is in feite haar filosofische missie. Blockchain en slimme contracttechnologie worden natuurlijk soms gebruikt waar ze niet nodig of inefficiënt zijn. Maar dit heeft een goed effect op de markt - er komen veel sterke spelers bij. Blockchain is handig overal waar u snelle, goedkope transacties nodig heeft, wanneer u grote hoeveelheden gegevens moet overdragen en analyseren, wanneer u de mogelijkheid van informatievervalsing moet uitsluiten, rechten moet bevestigen en in veel andere gevallen.

• Gratis TON, gemaakt voor mensen en zeer breed te gebruiken, is nog steeds alleen bekend bij professionals: programmeurs en investeerders. Waarom?
• In feite is Free TON het technologisch meest geavanceerde gedecentraliseerde ecosysteem ter wereld. Maar alleen professionals weten er nog echt van. Waarom? Omdat programmeurs - grofweg gesproken - tussenpersonen zijn tussen een persoon en een computer of ander apparaat of technologie. Gratis TON is een project voor mensen, er zullen hier veel nuttige en interessante toepassingen zijn. Maar om het een project voor mensen te laten worden, moeten programmeurs het invullen. 

Tegenwoordig is Free TON nog steeds een project voor programmeurs en wordt de TON Crystal-munt nog steeds op een beperkt aantal beurzen verhandeld. Er was veel lawaai toen het TON-project van Durov werd afgesloten, en het feit dat Free TON werd gelanceerd, werd niet algemeen aangekondigd. Het project stond in de schaduw van al deze hype rond de SEC. De erkenning van Free TON is slechts een kwestie van tijd. Onlangs vestigden de ontwikkelaars van de Chinese blockchain in staatseigendom de aandacht op Free TON - en dit is natuurlijk erkenning. 

• Gratis TON is een gedecentraliseerd project en streeft naar absolute decentralisatie. Vind je het prettig om in dergelijke omstandigheden te werken of kom je makkelijker naar het kantoor van de klant? 
• Decentralisatie heeft zijn voor- en nadelen - het is niet de hemel op aarde. Het grootste nadeel is een vrij lang besluitvormings- en stemproces, maar dit is te verhelpen met de ontwikkeling van het project. En het belangrijkste voordeel is dat niemand de regels van het spel kan komen veranderen. Zo'n systeem is beschermd tegen misbruik, fraude of censuur. 

• Waar gaat Free TON naar toe in termen van programmeren? 
• Het belangrijkste dat kan worden gezien, is de verschijning van DEX - een gedistribueerde cryptocurrency-uitwisseling waar je TIP-3-afgeleide tokens kunt verhandelen, inwisselen voor TON Crystal, en waar bruggen met Ethereum-tokens worden gemaakt. Dit is wat veel gebruikers nu verwachten. Iedereen wil zijn eigen tokens uitgeven, ook NFT's. 

• Waarom groeit de TON Crystal-snelheid nu niet, terwijl alle altcoins groeien? 
• Gratis TON gaat niet over PR, het is een diep technologisch platform. Zodra gebruikers dit begrijpen en applicaties gaan gebruiken, zal de groei native plaatsvinden, zonder hype.

• Vertel een paar woorden over het technologische voordeel van Free TON vandaag? 
• De twee belangrijkste voordelen zijn snelheid en schaalbaarheid. Snelheid is de hoge doorvoer van de blockchain dankzij de TIP-3-standaard. Nu is deze blockchain de snelste ter wereld. En over schaalbaarheid. U kunt zelf zien wat er met Ethereum gebeurt - transacties worden langzamer, kosten stijgen. Gratis TON zal bijna oneindig schaalbaar zijn zonder de eindgebruikers in gevaar te brengen. 

Afrekenen PrimeXBT
Handel met de officiële CFD-partners van AC Milan
Bron: https://coinpedia.org/news/free-ton-advanced-decentralized-platform/