BlockStream heeft eenvoud vrijgegeven, een geavanceerde slimme contractentaal die speciaal is ontworpen voor Bitcoin. Adam Back is de Bitcoin -cypherpunk die Blockstream’s ontwikkeling van vloeistof leidde.
Eenvoud is het thema van een Cointelegraph -aankondiging op donderdag. Slimme contracten Vloeistof integreert vloeistof. De beweging is een belangrijke stap in de transformatie van bitcoin.BTC() is geëvolueerd van een veilige winkel naar een foundation die kan worden geprogrammeerd voor gedecentraliseerde financiële systemen.
SimplicityHL werd ook gelanceerd door het bedrijf, wat een implementatie is op een hoger abstractieniveau dat het gemakkelijker maakt om te ontwikkelen.
BlockStream vertelde Cointelegraph dat dit de versie van taal is die ze gebruiken. “Is hier en bruikbaar vandaag”, met een webgebaseerde ontwikkelingsomgeving.
Verschillende benaderingen voor verschillende architectuur
Het komt grotendeels vanwege de verschillende architecturen die ten grondslag liggen aan de blockchains van Ethereum en de eenvoud.
Verwant: Starkware -onderzoekers stellen slimme contracten voor Bitcoin met Collidervm voor
Soliditeit werd ontwikkeld om het Ethereum -netwerk te ondersteunen. Ethereum virtuele machine. De staat is de overeengekomen momentopname door een netwerk van alle opgeslagen accountgegevens en saldi voor een bepaald blok.
Bitcoin gebruikt de Onuitgesproken transactie -output (UTXO) architectuurHet Ethereum -netwerk maakt gebruik van een status die wordt gedeeld door het hele netwerk. Het verschil is te zien in de slimme contracten van Simplicity. Een Blockstream -vertegenwoordiger zei: “Niet vertrouwen op de wereldwijde staat is een grote verschuiving.” “Elk beetje staatsstaat dat uw contractbehoeften moeten reizen met de transactie.”
Onderzoekers van BlockStream zeiden dat soliditeitsontwikkelaars zouden moeten stoppen met het lezen van variabelen die wereldwijd beschikbaar zijn en de nodige informatie voor elke stap zouden bieden. Twee slimme contracten kunnen geen variabelen delen of in een dergelijk systeem worden vermeld. Alles moet expliciet worden doorgegeven binnen de transacties. De vertegenwoordiger van het bedrijf legde echter uit dat de aanpak ook positieve effecten heeft:
“Zelfs als er iets misgaat, wordt alleen het specifieke deel van de transactiegrafiek van uw contract beïnvloed. Het is een andere mindset dan de wereldwijde staat, maar het leidt uiteindelijk tot veiliger en meer ingesloten contracten per ontwerp.”
Blockstream beweert ook dat logica on-chain geen recursie vereist, of lussen zonder grenzen.
Verwant: Een diepe duik in de vijf populaire slimme contractontwikkelingsplatforms en hun vergelijking
Slimme contracttalen worden meer domeinspecifiek.
Eenvoud heeft zich aangesloten bij een groeiend aantal programmeertalen voor slimme contracten die zich richten op specifieke domeinen.
Noir, een programmeertaal uitgegeven De deadline voor het schrijven van nul-kennisbewijzen en het verifiëren van ze in 2022 was aangenomen De ontwikkelaars van Aztec, de privacy-eerste Ethereum Layer-2 die in 2023 wordt uitgebracht.
De Smart Contract Language Noir is ontworpen voor applicaties die privacy beschermen en ZK -bewijzen integreren in de architectuur.
Leo is een ander voorbeeld. Het is een programmeertaal voor slimme contracten die ZK Proof Systems creëert, met een nauw gerelateerde syntaxis.
Vyper, een taal die compatibel is met Ethereum’s EVM, is ontworpen voor Ethereum. verminderen Het aanvalsoppervlak wordt nu gebruikt door verschillende toonaangevende Ethereum -gedecentraliseerde financiën (DEFI), protocollen.
https://www.youtube.com/watch?v=tzdgwhx2xts
Tijdschrift: ZK-proofs brengen slimme contracten naar Bitcoin-Bitcoinos en Starknet
“DagelijksCrypto is niet verantwoordelijk voor alle activiteiten die u buiten de dagelijkse crypto uitvoert.”
