Blockstream lanserar Simplicity
Blockstream, utvecklaren av Bitcoins lager-2-protokoll Liquid och ledd av cypherpunk Adam Back, har lanserat Simplicity, ett nytt smart kontraktsspråk designat för Bitcoin. Enligt ett meddelande som delades på torsdag med Cointelegraph kommer Simplicity-smartkontrakt att integreras i Liquid. Företaget meddelade att detta steg markerar en framsteg i att omvandla Bitcoin från en säker värdebevarande till en programmerbar grund för decentraliserad finans.
Introduktion av SimplicityHL
Blockstream introducerade också SimplicityHL, en högre nivå av språket som underlättar enklare utveckling med ökad abstraktion. En representant från Blockstream berättade för Cointelegraph att denna version av språket ”är här och användbar idag,” med en webbaserad integrerad utvecklingsmiljö som också är tillgänglig.
Skillnader mellan Simplicity och Solidity
Simplicity skiljer sig från Ethereums Solidity-språk, främst på grund av de olika underliggande arkitekturerna hos de två blockkedjorna. Detta beror på de olika tillvägagångssätten och arkitekturerna hos Ethereum- och Bitcoin-näten, där Solidity utvecklades för Ethereum Virtual Machine. I Bitcoin används arkitekturen för oanvända transaktionsutgångar (UTXO), medan Ethereum-nätverket använder ett nätverksomfattande tillstånd. Denna skillnad visar sig i hur Simplicity-smartkontrakt fungerar.
”Att inte förlita sig på det globala tillståndet är en stor förändring.”
Blockstreams forskare förklarade att Solidity-utvecklare kommer att behöva bryta sin vana att läsa från globalt tillgängliga variabler och istället tillhandahålla all nödvändig information vid varje steg. I ett sådant system kan två smarta kontrakt inte dela tillstånd eller referera till samma variabler; allt måste uttryckligen överföras inom transaktioner.
Fördelar med det nya tillvägagångssättet
Trots dessa begränsningar förklarade företagets representanter att detta tillvägagångssätt också har en positiv inverkan:
”Även om något går fel, påverkas endast den specifika delen av transaktionsgrafen som ditt kontrakt har. Det är ett annat tankesätt jämfört med det globala tillståndet, men det leder i slutändan till säkrare och mer avgränsade kontrakt av design.”
Utvecklare kommer också inte att kunna använda rekursion eller obegränsade loopar, vilket Blockstream hävdar inte är nödvändigt för on-chain-logik.
Andra domänspecifika smarta kontraktsspråk
Simplicity går med i en växande lista av domänspecifika smarta kontraktsspråk. Noir, ett programmeringsspråk som släpptes 2022 för att skriva och verifiera zero-knowledge proofs (ZK-bevis), antogs 2023 av utvecklarna av det kommande integritetsfokuserade Ethereum lager-2 Aztec. Noir har blivit ett smart kontraktsspråk som specifikt är byggt för integritetsbevarande applikationer som integrerar ZK-bevis djupt i sin arkitektur. Ett annat exempel är Leo, ett smart kontraktsspråk som också skapar ZK-bevissystem med nära relaterad syntax och integritet i åtanke. Ethereums Vyper är ett EVM-kompatibelt språk designat för att minska attackytan, vilket nu används av några ledande Ethereum decentraliserade finans (DeFi) protokoll.
