Blockstream Simplicity дебют кылган Биткойндин Ethereumдин Solidityге жообу

Blockstream, Биткойндун Liquid деген экинчи катмар протоколун иштеп чыккан жана Биткойн шифропанк Адам Бак башында турган, Биткойн үчүн иштелип чыккан жаңы акылдуу келишимдер тили Simplicityди ишке киргизди.

Cointelegraph менен бөлүшкүн бейшемби күнүнүн жарыялоосуна ылайык, Simplicity акылдуу келишимдери Liquidге интеграцияланат. Компания бул кадам Биткойнду коопсуз баалуулук сактоодон децентрализацияланган финанстын программалана турган негизине айлантууда алга жылгандыгын айтты.

Компания ошондой эле SimplicityHLди таануу кылды, бул тилдин жогорку деңгээлдеги ишке ашырылышы, абстракцияны көбөйтүү менен иштеп чыгууну жеңилдетет.

Blockstreamдин өкүлү Cointelegraphка бул тилдин версиясы "азыр бул жерде жана бүгүн колдонууга даяр", веб-интеграцияланган иштеп чыгуу чөйрөсү дагы бар экенин айтты.

Simplicity Ethereumдин Solidity тилинен айырмаланат, негизинен эки блокчейндин ар кандай негизги архитектураларына байланыштуу.

Бул Ethereum жана Bitcoin тармактарынын ар кандай мамилелери жана ар кандай архитектураларынан келип чыгат, Solidity Ethereum Virtual Machine үчүн иштелип чыккан. Мамлекет бул тармактын макулдашкан эсептердин баланстарынын жана берилген блоктогу сакталган маалыматтардын сүрөтү.

Bitcoin колдонулбаган транзакция чыгышы (UTXO) архитектурасын колдонот, ал эми Ethereum тармагы тармактык көлөмдөгү мамлекетти колдонот. Бул айырма Simplicity акылдуу келишимдери кандай иштешинде көрүнөт, Blockstreamдин өкүлү "глобалдык мамлекетке таянган эмес чоң өзгөрүү" деп айткан. "Сиздин келишимиңиз керек болгон мамлекеттин ар бир бити транзакция менен бирге жүрүшү керек."

Иштеп чыгуучулар ошондой эле рекурсияны же чексиз циклдарды колдонууга мүмкүн болбойт, Blockstreamдин айтымында, булар ончейн логикасы үчүн зарыл эмес.

Simplicity предметге багытталган акылдуу келишимдерди программалоо тилдеринин көбөйгөн тизмесине кошулат.

Noir, 2022-жылы нөлдүк билимдик далилдерди (ZK-proofs) жазган жана текшерген үчүн чыгарылган программалоо тили, 2023-жылы келечектеги конфиденциалдыкты биринчи кезекте койгон Ethereum экинчи катмары Aztecтин иштеп чыгуучулары тарабынан кабыл алынды.

Noir өзүнүн архитектурасына ZK-proofs терең интеграцияланган конфиденциалдыкты сактоочу колдонмолор үчүн атайын курулган акылдуу келишимдерди программалоо тили болуп калды.

Дагы бир мисал - Leo, бул дагы ZK-proof системаларын түзгөн акылдуу келишимдерди программалоо тили, тыгыз байланышкан синтаксис жана конфиденциалдыкты эске алуу менен.

Ethereumдин Vyper бул EVM-совместимдүү тил, атаандаштык бетин азайтуу үчүн иштелип чыккан, азыр кээ бир алдыңкы Ethereum децентрализацияланган финансы (DeFi) протоколдору тарабынан колдонулуп жатат.