StarkNet нь Каирын програмчлалын хэлийг шинэчилж, хөгжүүлэгчдийг нэвтрүүлэхэд түлхэц болно

Ethereum layer-2 масштабын платформ StarkNet нь Web3 хөгжүүлэлтийг хөгжүүлэгчдэд хүртээмжтэй болгохын тулд Каир дахь дотоод кодчилолын хэлээ шинэчлэн засварлав.

Cointelegraph-тай хуваалцсан мэдэгдэлд Cairo 1.0-ийн шинэчлэлтүүдийг тоймлон харуулсан бөгөөд энэ нь алдартай програмчлалын хэлний Rust-ийн шинж чанарыг дуурайлган сурталчилсан байна. Энэхүү шинэчлэл нь ерөнхий кодчиллын туршлагатай хөгжүүлэгчдэд StarkNet-ийн Ethereum давхарга-2 сүлжээнд төвлөрсөн бус програмуудыг үүсгэж эхлэх боломжийг олгох зорилготой юм.

StarkWare-ийн үүсгэн байгуулагч, ерөнхийлөгч Эли Бен-Сассон Cointelegraph-т хэлэхдээ, давхарга-2 хөгжүүлэлтийг өөр өөр гарал үүсэлтэй хөгжүүлэгчдэд илүү хүртээмжтэй болгох нь Каирыг шинэчлэх гол шалтгаан болсон:

"Үндсэн жолооч нь аюулгүй байдал, ашиглахад хялбар байсан бөгөөд их засвар хийх нь ердийн хэлний суурьтай хөгжүүлэгчдэд оруулгыг устгах гайхалтай боломжийг олгосон."

5-р сарын XNUMX-ны нээлтэд дурдсан техникийн үзүүлэлтүүд нь синтакс болон хэлний сайжруулсан бүтэц, нэгдмэл төрлийн систем, ойлгомжтой номын сан, оновчтой код, өгөгдлийн төрлүүдийн тодорхойлолтыг шаарддаг хүчтэй бичих зэрэг Каирын хэлний олон сайжруулалтыг багтаасан болно.

StarkNet нь Сиерра буюу Safe Intermediate Representation гэсэн үгийн товчлолыг Каирын их засварын гол нэмэлт болгон онцолжээ. Sierra нь Cairo 1.0 болон Cairo байт кодын хооронд шинэ завсрын төлөөллийн давхарга болж ажилладаг.

Бен-Сассоны тайлбарласнаар Сьерра бол зөвшөөрөлгүй сүлжээг баталгаажуулах чухал тал юм. Шинэчлэлт нь буцаагдсан гүйлгээг StarkNet блокуудад оруулах боломжийг олгож, протоколд "крипто-эдийн засгийн нарийн төвөгтэй механизм" нэмэхээс зайлсхийхэд тусалдаг.

Холбогдох: StarkNet нь Каир 1.0-ийг нээлттэй эх сурвалж болгож, олон нийтийн хяналтыг бий болгох эхний алхам юм

Бен-Сассон хэлэхдээ, Сиерра нь StarkNet-д "Ethereum-ийн бүрэн цензур-эсэргүүцлийг өвлөн авах" боломжийг олгох бөгөөд голчлон Sequencer-ийн үйлчилгээг үгүйсгэх халдлагаас хамгаална.

As өмнө нь Cointelegraph мэдээлж байсан, Бен-Сассон анхдагч болсон zk-STARK бусад компьютерийн эрдэмтдийн хамт криптограф. Мэдлэгийн Тэг мэдлэгийн масштабтай ил тод аргументууд нь аюулгүй байдал, өргөтгөх чадвар, квант тооцоололд тэсвэртэй байдлыг хангахын тулд гүйлгээний өгөгдлийг шифрлэж, баталгаажуулдаг нотлох систем юм.

StarkNet-ийн мэдээлснээр Каир бол нийт үнэ цэнийн түгжээгээрээ хамгийн алдартай дөрөв дэх ухаалаг гэрээний хэл юм. Энэ нь 300 сая гаруй гүйлгээг боловсруулж, 90 сая үл тохиромжгүй жетон гаргаж, Ethereum дээр хийгдсэн 790 сая долларын арилжааг хөнгөвчлөх програмуудын суурь юм.