Blockstream lancerer Simplicity
Blockstream, udvikleren af Bitcoins lag-2 protokol Liquid og ledet af Bitcoin-cypherpunk Adam Back, har lanceret Simplicity, et nyt smart contract-sprog designet til Bitcoin. Ifølge en meddelelse fra torsdag, der blev delt med Cointelegraph, vil Simplicity smart contracts blive integreret i Liquid. Virksomheden udtaler, at dette skridt markerer en fremgang i at transformere Bitcoin fra en sikker værdilager til en programmerbar platform for decentraliseret finans.
Introduktion af SimplicityHL
Virksomheden introducerede også SimplicityHL, en højere niveau implementering af sproget, der letter udviklingen med øget abstraktion. En repræsentant fra Blockstream fortalte Cointelegraph, at denne version af sproget “er her og brugbar i dag,” med et web-baseret integreret udviklingsmiljø også tilgængeligt.
Forskelle mellem Simplicity og Solidity
Simplicity adskiller sig fra Ethereums Solidity-sprog primært på grund af de forskellige underliggende arkitekturer af de to blockchains. Dette skyldes de forskellige tilgange og arkitekturer af Ethereum- og Bitcoin-netværkene, hvor Solidity er udviklet til Ethereum Virtual Machine. State er netværkets aftalte snapshot af alle kontobalancer og gemte data på et givet blok. Bitcoin udnytter den ubrugte transaktionsoutput (UTXO) arkitektur, mens Ethereum-netværket anvender en netværksomspændende state. Denne forskel manifesterer sig i, hvordan Simplicity smart contracts fungerer.
En repræsentant fra Blockstream sagde, at “det at ikke stole på den globale state er et stort skift.” “Hver bit af state, din kontrakt har brug for, skal rejse med transaktionen.”
Ændringer i udviklernes tilgang
Blockstreams forskere sagde, at Solidity-udviklere skal bryde deres vane med at læse fra globalt tilgængelige variabler og i stedet give alle nødvendige oplysninger ved hvert trin. I et sådant system kan to smart contracts ikke dele state eller referere til de samme variabler; alt skal eksplicit overføres inden for transaktioner.
Alligevel forklarede virksomhedens repræsentanter, at denne tilgang også har en positiv indvirkning: “Selv hvis noget går galt, er det kun din kontrakts specifikke del af transaktionsgrafen, der påvirkes. Det er en anden tankegang sammenlignet med den globale state, men det fører i sidste ende til sikrere og mere afgrænsede kontrakter ved design.”
Begrænsninger i Simplicity
Udviklere vil heller ikke kunne bruge rekursion eller ubegrænsede løkker, som Blockstream hævder ikke er nødvendige for on-chain logik.
Andre domænespecifikke smart contract-sprog
Simplicity slutter sig til en voksende liste af domænespecifikke smart contract-programmeringssprog. Noir, et programmeringssprog udgivet i 2022 til at skrive og verificere zero-knowledge proofs (ZK-beviser), blev i 2023 vedtaget af udviklerne af det kommende privacy-first Ethereum lag-2 Aztec. Noir er blevet et smart contract-programmeringssprog, der specifikt er bygget til privatlivsbevarende applikationer, der integrerer ZK-beviser dybt i deres arkitektur. Et andet eksempel er Leo, et smart contract-programmeringssprog, der også skaber ZK-bevis systemer med nært beslægtet syntaks og privatliv for øje. Ethereums Vyper er et EVM-kompatibelt sprog designet til at reducere angrebsoverfladen, som nu bruges af nogle førende Ethereum decentraliserede finans (DeFi) protokoller.
