Ухамсартай гэрээ

Iroha гүйлгээ нь Executable ашиг ачааллыг гүйцэтгэдэг. Одоогийн мэдээллийн загварын дагуу:

• Executable::Instructions: Iroha тусгай зааварчилгааны дараалалтай багц
• Executable::ContractCall: ашиглалтанд оруулсан гэрээний үлгэрэнд дуудлага шалгаруулах .
• Executable::Ivm: Iroha VM байт код
• Executable::IvmProved: Iroha VM байт код нь урьдчилан тооцоолсон заавар суулгасан болон батлах үүрэг гүйцэтгэгчтэй

Kotodama нь Iroha-гийн дээд түвшний ухаалаг гэрээний хэл юм. .ko эх файл нь детерминист IVM байткод руу хөрвүүлэгдэж, байршуулалтад зориулан .to артефакт хэлбэрээр хадгалагддаг. Kotodama зөвхөн IVM-д зориулагдсан. Энэ нь RISC-V эсвэл WebAssembly-д зориулагдаагүй.

Эхний хувилбар зөвхөн ABI хувилбар 1-ийг дэмжинэ. syscall болон pointer-ABI бодлогыг гэрээг хүлээн авах, гүйцэтгэх үед ямар ч нөхцөлгүйгээр мөрддөг; ажиллах үеийн нийцтэй байдлыг солих тохиргоо байхгүй.

Сайн гэрээг хэзээ ашиглах вэ?

Транзакцийг шууд илэрхийлэх боломжтой тохиолдолд хэвийн зааварчилгаа ашигла:

• бүртгэлтэй эсвэл бүртгэлгүй зүйл
• Хөдөлмөр, тээвэрлэлтийн хөрөнгө
• шинэчилсэн метабараа
• тусгай зөвшөөрлийг олгох эсвэл цуцлах
• цахилгаан шуурхай
• зах зээлийн параметр тогтоох

Транзакцын хувьд статистикийн заавар сувгаар илэрхийлэх хэцүү багцтай логик хэрэгтэй бол ухаалаг гэрээ ашиглах, эсвэл хэрэглэгдэж буй гэрээний үлгэр жишээг сүлжээгээр дуудлах ёстой үед.

IVM Хөдөлмөрийн хэрэгсэл

Executable::Ivm нь түүхий IVM байт кодтой байдаг. Нодлууд энэ байткодыг зангилааны зориулалттай гүйлгээний цагийн хязгаар дотор гүйцэтгэдэг. Байткодыг жижиг, тодорхойлогч хэвээр үлдээх; гэрээ бүтээн байгуулалтын нэг хэсэг бөгөөд үүнтэй холбоотойгоор тохиролцоонд нөлөөлдөг.

Executable::IvmProved нь баталгаажуулах урсгалд зориулагдсан бөгөөд:

• IVM байт код
• тодорхойлолт заалын давхарт
• гүйцэтгэх үйл явдлын үүрэг
• Газны бодлогын үүрэг

Энэ нь баталгааг гүйцэтгэсэн байткодтой холбодог. Хөгжлийн бодлогын дагуу баталгаажуулагчид баталгааг шалгаж, аюулгүй байдлын нэмэлт хяналтаар дахин тоглох боломжтой.

Хөдөлмөрийн гэрээний дуудлага

Executable::ContractCall нэвтрүүлсэн гэрээний үлгэр жишээг хаягаар дурддаг. Гэрээний код нь тусдаа бүртгэгдсэн тохиолдолд үүнийг ашиглаж, гүйлгээ нь байт-кодыг үргэлж хэрэглэхээс өөрчлөхөөр дамжуулан дурдах ёстой.

Үйл ажиллагааны удирдамж

• Гэрээний үйл ажиллагаа нь орон нутгийн холын цагийн цаг, хөтөч файл системийн байдал, сүлжээний дуудлага эсвэл бусад оршин тогтногчдын өгөгдлөөр хамаарахгүй байх ёстой.
• Хэрэглэгчийн ачааллыг компакт байлгах нь транзакцын хэмжээг нэмэгдүүлж, блок өргөн дэлгэрүүлэх зардлыг нэмэгдүүлнэ.
• Тодруулсан захирамжийг томоохон номын сангийн өөрчлөлтийн тулд илүү дуртай. Тэднийг хяналт тавих нь хялбар, гүйцэтгэх нь хямд байдаг.
• Гэрээний шинэчлэл болон бүртгэлийн зөвшөөрлийг өндөр эрсдэлтэй үйл ажиллагааны хяналт гэж үзээрэй.

Дараахь мэдээллийг үзнэ үү:

• Сургалтууд
• Тэггерүүд
• Тусгай зөвшөөрөл
• Мэдээллийн загварын схема