სმარტ კონტრაქტების შესავალი

ამ სტატიაში განვიხილავთ რა არის ჭკვიანი კონტრაქტები, რა არის ისინი, გავეცნობით სხვადასხვა ჭკვიანი კონტრაქტის პლატფორმებს, მათ მახასიათებლებს და ასევე განვიხილავთ, თუ როგორ მუშაობს ისინი და რა უპირატესობების მოტანა შეუძლიათ. ეს მასალა ძალიან გამოადგება იმ მკითხველს, ვინც კარგად არ იცნობს ჭკვიანი კონტრაქტების თემას, მაგრამ უნდა დაუახლოვდეს მის გაგებას.

რეგულარული კონტრაქტი vs. ჭკვიანი კონტრაქტი

სანამ დეტალებს ჩავუღრმავდებით, ავიღოთ მაგალითი ქაღალდზე მითითებულ ჩვეულებრივ კონტრაქტსა და ციფრულად გამოსახულ სმარტ კონტრაქტს შორის განსხვავებების შესახებ.

როგორ მუშაობდა ეს ჭკვიანი კონტრაქტების გამოჩენამდე? წარმოიდგინეთ ადამიანთა ჯგუფი, რომელსაც სურს დააწესოს გარკვეული წესები და პირობები ფასეულობების განაწილებისთვის, ასევე გარკვეული მექანიზმი ამ განაწილების მოცემული წესებისა და პირობების მიხედვით განხორციელების გარანტირებისთვის. შემდეგ ისინი იკრიბებოდნენ, ამზადებდნენ ფურცელს, რომელზედაც ჩაწერდნენ საიდენტიფიკაციო დეტალებს, ტერმინებს, მნიშვნელობებს, თარიღებს აწერდნენ და ხელს აწერდნენ. ეს ხელშეკრულება ასევე დამოწმებული იყო სანდო მხარის მიერ, როგორიცაა ნოტარიუსი. გარდა ამისა, ეს ადამიანები წავიდნენ სხვადასხვა მიმართულებით ასეთი ხელშეკრულების ქაღალდის ასლით და დაიწყეს გარკვეული მოქმედებების შესრულება, რომლებიც შეიძლება არ შეესაბამებოდეს თავად ხელშეკრულებას, ანუ მათ გააკეთეს ერთი რამ, მაგრამ ქაღალდზე დადასტურდა, რომ რაღაც უნდა გაეკეთებინათ. სრულიად განსხვავებული. და როგორ გამოვიდეთ ამ სიტუაციიდან? ფაქტობრივად, ჯგუფის ერთ-ერთმა წევრმა უნდა აიღოს ეს ნაშრომი, აიღოს გარკვეული მტკიცებულებები, წაიყვანოს სასამართლოში და მიაღწიოს შესაბამისობას ხელშეკრულებასა და რეალურ ქმედებებს შორის. ხშირად ძნელია ამ ხელშეკრულების სამართლიანი შესრულება, რაც იწვევს უსიამოვნო შედეგებს.

რა შეიძლება ითქვას ჭკვიან კონტრაქტებზე? ისინი აერთიანებენ როგორც ხელშეკრულების პირობების დაწერის შესაძლებლობას, ასევე მათი მკაცრი განხორციელების მექანიზმს. თუ პირობები დაყენებულია და შესაბამისი გარიგება ან მოთხოვნა გაფორმებულია, მაშინ ამ მოთხოვნის ან გარიგების მიღების შემდეგ, პირობების შეცვლა ან მათ შესრულებაზე ზემოქმედება აღარ არის შესაძლებელი.

არსებობს ერთი ვალიდატორი ან მთელი ქსელი, ისევე როგორც მონაცემთა ბაზა, რომელიც ინახავს ყველა ჭკვიან კონტრაქტს, რომელიც იყო წარდგენილი შესასრულებლად მკაცრი ქრონოლოგიური თანმიმდევრობით. ასევე მნიშვნელოვანია, რომ ეს მონაცემთა ბაზა უნდა შეიცავდეს ყველა პირობას ჭკვიანი კონტრაქტის შესასრულებლად. გარდა ამისა, მან უნდა გაითვალისწინოს ის ღირებულება, რომლის განაწილებაც აღწერილია ხელშეკრულებაში. თუ ეს ეხება რომელიმე ციფრულ ვალუტას, მაშინ ეს მონაცემთა ბაზამ უნდა გაითვალისწინოს.

სხვა სიტყვებით რომ ვთქვათ, ჭკვიანი კონტრაქტის ვალიდიატორებს უნდა ჰქონდეთ წვდომა ყველა იმ მონაცემზე, რომელზედაც მოქმედებს ჭკვიანი კონტრაქტი. მაგალითად, ერთი მონაცემთა ბაზა უნდა იყოს გამოყენებული ციფრული ვალუტების, მომხმარებლის ნაშთების, მომხმარებლის ტრანზაქციებისა და დროის ანაბეჭდების ერთდროულად აღრიცხვისთვის. შემდეგ, სმარტ კონტრაქტში, პირობა შეიძლება იყოს მომხმარებლის ბალანსი გარკვეულ ვალუტაში, გარკვეული დროის დადგომა ან გარკვეული ტრანზაქციის განხორციელების ფაქტი, მაგრამ მეტი არაფერი.

ჭკვიანი კონტრაქტის განმარტება

ზოგადად, თავად ტერმინოლოგია გამოიგონა მკვლევარმა ნიკ საბომ და პირველად გამოიყენა 1994 წელს და დაფიქსირდა 1997 წელს სტატიაში, რომელიც აღწერს ჭკვიანი კონტრაქტების იდეას.

ჭკვიანი კონტრაქტები გულისხმობს, რომ შესრულებულია ღირებულების განაწილების გარკვეული ავტომატიზაცია, რაც შეიძლება დამოკიდებული იყოს მხოლოდ იმ პირობებზე, რომლებიც წინასწარ არის განსაზღვრული. უმარტივესი ფორმით, ის ჰგავს ხელშეკრულებას მკაცრად განსაზღვრული პირობებით, რომელსაც ხელს აწერენ გარკვეული მხარეები.

ჭკვიანი კონტრაქტები შექმნილია იმისთვის, რომ მინიმუმამდე დაიყვანოს ნდობა მესამე მხარის მიმართ. ზოგჯერ სრულიად გამორიცხულია გადაწყვეტილების მიმღები ცენტრი, რომელზეც ყველაფერია დამოკიდებული. გარდა ამისა, ასეთი კონტრაქტების აუდიტი უფრო ადვილია. ეს არის ასეთი სისტემის დიზაინის ზოგიერთი მახასიათებლის შედეგი, მაგრამ ყველაზე ხშირად ჭკვიანი კონტრაქტით ჩვენ გვესმის დეცენტრალიზებული გარემო და ფუნქციების არსებობა, რაც ყველას საშუალებას აძლევს გააანალიზოს მონაცემთა ბაზა და ჩაატაროს კონტრაქტების შესრულების სრული აუდიტი. ეს უზრუნველყოფს დაცვას მონაცემთა რეტროაქტიული ცვლილებებისგან, რაც გამოიწვევს ცვლილებებს თავად ხელშეკრულების შესრულებაში. სმარტ კონტრაქტის შექმნისა და გაშვებისას პროცესების უმეტესობის დიგიტალიზაცია ხშირად ამარტივებს მათი განხორციელების ტექნოლოგიასა და ღირებულებას.

მარტივი მაგალითი - Escrow სერვისი

მოდით შევხედოთ ძალიან მარტივ მაგალითს. ეს დაგეხმარებათ უფრო ახლოს გაეცნოთ ჭკვიანი კონტრაქტების ფუნქციონირებას, ასევე უკეთ გაიგოთ, თუ რა შემთხვევებში უნდა გამოიყენოთ ისინი.

ის ასევე შეიძლება განხორციელდეს ბიტკოინის გამოყენებით, თუმცა ამჟამად ბიტკოინს ძნელად შეიძლება ეწოდოს ჭკვიანი კონტრაქტების სრულფასოვანი პლატფორმა. ასე რომ, ჩვენ გვყავს მყიდველი და გვაქვს ონლაინ მაღაზია. მომხმარებელს სურს შეიძინოს მონიტორი ამ მაღაზიიდან. უმარტივეს შემთხვევაში, მყიდველი ასრულებს და აგზავნის გადახდას, ხოლო ონლაინ მაღაზია იღებს მას, ადასტურებს და შემდეგ აგზავნის საქონელს. თუმცა, ამ სიტუაციაში საჭიროა დიდი ნდობა - მყიდველი უნდა ენდოს ონლაინ მაღაზიას მონიტორის მთელი ღირებულებით. ვინაიდან ონლაინ მაღაზიას შეიძლება ჰქონდეს დაბალი რეპუტაცია მყიდველის თვალში, არსებობს რისკი, რომ რაიმე მიზეზით, გადახდის მიღების შემდეგ, მაღაზია უარს იტყვის მომსახურებაზე და არ გაუგზავნის საქონელს მყიდველს. აქედან გამომდინარე, მყიდველი სვამს კითხვას (და, შესაბამისად, ონლაინ მაღაზია სვამს ამ კითხვას) რა შეიძლება იქნას გამოყენებული ამ შემთხვევაში, რათა მინიმუმამდე დაიყვანოს ასეთი რისკები და გახდეს ასეთი ტრანზაქციები უფრო საიმედო.

ბიტკოინის შემთხვევაში შესაძლებელია მყიდველს და გამყიდველს შუამავლის დამოუკიდებლად შერჩევა. ბევრი ადამიანია ჩართული საკამათო საკითხების გადაწყვეტაში. და ჩვენს მონაწილეებს შეუძლიათ აირჩიონ შუამავლების ზოგადი სიიდან ის, ვისაც ენდობიან. ისინი ერთად ქმნიან 2-დან 3 მრავალხელმოწერის მისამართს, სადაც არის სამი გასაღები და ორი ხელმოწერა ნებისმიერი ორი გასაღებით საჭიროა ამ მისამართიდან მონეტების დასახარჯად. ერთი გასაღები მყიდველს ეკუთვნის, მეორე ონლაინ მაღაზიას, მესამე კი მედიატორს. და ასეთ მრავალხელმოწერის მისამართზე მყიდველი გამოგიგზავნით მონიტორის გადასახდელად საჭირო თანხას. ახლა, როდესაც გამყიდველი ხედავს, რომ ფული გარკვეული დროით დაბლოკილია მრავალ ხელმოწერის მისამართზე, რომელიც მასზეა დამოკიდებული, მას შეუძლია უსაფრთხოდ გაგზავნოს მონიტორი ფოსტით.

შემდეგი, მყიდველი იღებს ამანათს, ამოწმებს საქონელს და იღებს გადაწყვეტილებას საბოლოო შესყიდვის შესახებ. ის შეიძლება მთლიანად დაეთანხმოს მოწოდებულ სერვისს და გააფორმოს ტრანზაქცია თავისი გასაღებით, სადაც გადასცემს მონეტებს მრავალხელმოწერის მისამართიდან გამყიდველს, ან შეიძლება უკმაყოფილო იყოს რაღაცით. მეორე შემთხვევაში, ის დაუკავშირდება შუამავალს, რათა მოაწყოს ალტერნატიული ტრანზაქცია, რომელიც სხვაგვარად გაანაწილებს ამ მონეტებს.

ვთქვათ მონიტორი ცოტა ნაკაწრი ჩამოვიდა და კომპლექტში არ იყო კომპიუტერთან დასაკავშირებელი კაბელი, თუმცა ონლაინ მაღაზიის ვებსაიტზე წერია რომ კაბელი კომპლექტში უნდა იყოს ჩართული. შემდეგ მყიდველი აგროვებს აუცილებელ მტკიცებულებებს, რათა დაამტკიცოს შუამავლისთვის, რომ იგი მოტყუებული იყო ამ სიტუაციაში: ის იღებს საიტის ეკრანის სურათებს, უღებს ფოტოს ფოსტის ქვითარს, უღებს ფოტოს ნაკაწრებს მონიტორზე და აჩვენებს, რომ ბეჭედი იყო გატეხილია და კაბელი გამოყვანილია. ონლაინ მაღაზია თავის მხრივ აგროვებს მის მტკიცებულებებს და გადასცემს მედიატორს.

შუამავალი დაინტერესებულია ერთდროულად დააკმაყოფილოს როგორც მყიდველის აღშფოთება, ასევე ონლაინ მაღაზიის ინტერესები (რატომ მოგვიანებით გახდება ცნობილი). ის წარმოადგენს ტრანზაქციას, რომელშიც მონეტები მრავალხელმოწერის მისამართიდან გარკვეული პროპორციით დაიხარჯება მყიდველს, ონლაინ მაღაზიასა და შუამავალს შორის, რადგან ის თავისთვის იღებს ნაწილს, როგორც ჯილდო თავისი შრომისთვის. ვთქვათ, მთლიანი თანხის 90% მიდის გამყიდველზე, 5% მედიატორზე და 5% კომპენსაცია მყიდველზე. შუამავალი ამ ტრანზაქციას თავისი გასაღებით აწერს ხელს, მაგრამ მისი გამოყენება ჯერ არ შეიძლება, რადგან ორი ხელმოწერაა საჭირო, მაგრამ მხოლოდ ერთი ღირს. ის უგზავნის ასეთ ტრანზაქციას როგორც მყიდველს, ასევე გამყიდველს. თუ ერთი მათგანი მაინც დაკმაყოფილდება მონეტების გადანაწილების ამ ოფციით, მაშინ ტრანზაქცია წინასწარ იქნება ხელმოწერილი და განაწილდება ქსელში. მის დასადასტურებლად საკმარისია, რომ გარიგების ერთ-ერთი მხარე დაეთანხმოს შუამავლის ვარიანტს.

მნიშვნელოვანია თავიდანვე შეარჩიოთ შუამავალი ისე, რომ ორივე მონაწილემ ენდობოს მას. ამ შემთხვევაში ის იმოქმედებს ერთის ან მეორის ინტერესებისგან დამოუკიდებლად და ობიექტურად შეაფასებს სიტუაციას. თუ შუამავალი არ იძლევა მონეტების განაწილების ვარიანტს, რომელიც დააკმაყოფილებს მინიმუმ ერთ მონაწილეს, მაშინ, ერთად შეთანხმების შემდეგ, როგორც მყიდველს, ასევე ონლაინ მაღაზიას შეუძლიათ გაგზავნონ მონეტები ახალ მრავალხელმოწერის მისამართზე, მათი ორი ხელმოწერით. ახალი მრავალხელმოწერის მისამართი შედგენილი იქნება სხვა მედიატორთან ერთად, რომელიც შეიძლება იყოს უფრო კომპეტენტური ამ საკითხში და უკეთესი ვარიანტის შეთავაზება.

მაგალითად საერთო საცხოვრებლით და მაცივრით

მოდით შევხედოთ უფრო რთულ მაგალითს, რომელიც უფრო ნათლად აჩვენებს ჭკვიანი კონტრაქტის შესაძლებლობებს.

ვთქვათ, არის სამი ბიჭი, რომლებიც ახლახან გადავიდნენ იმავე საერთო საცხოვრებლის ოთახში. სამივენი დაინტერესებულნი არიან თავიანთი ოთახისთვის მაცივრის ყიდვით, რომელიც ერთად გამოიყენებენ. ერთ-ერთმა მათგანმა ნებაყოფლობით შეაგროვა მაცივრის საყიდლად საჭირო თანხა და გამყიდველთან მოლაპარაკება. თუმცა, ისინი სულ ახლახან შეხვდნენ ერთმანეთს და მათ შორის საკმარისი ნდობა არ არის. ცხადია, ორი მათგანი რისკავს მესამეს ფულის მიცემით. გარდა ამისა, მათ უნდა მიაღწიონ შეთანხმებას გამყიდველის არჩევისას.

მათ შეუძლიათ გამოიყენონ ესქროს სერვისი, ანუ აირჩიონ შუამავალი, რომელიც მონიტორინგს გაუწევს ტრანზაქციის შესრულებას და გადაჭრის საკამათო საკითხებს, თუ რაიმე წარმოიქმნება. შემდეგ, შეთანხმდნენ, აფორმებენ ჭკვიან კონტრაქტს და ადგენენ მასში გარკვეულ პირობებს.

პირველი პირობა არის ის, რომ გარკვეულ დრომდე, ვთქვათ, ერთი კვირის განმავლობაში, შესაბამისმა სმარტ კონტრაქტის ანგარიშმა უნდა მიიღოს სამი გადახდა გარკვეული მისამართებიდან გარკვეული თანხისთვის. თუ ეს არ მოხდა, ჭკვიანი კონტრაქტი წყვეტს შესრულებას და უბრუნებს მონეტებს ყველა მონაწილეს. თუ პირობა დაკმაყოფილებულია, მაშინ დაყენებულია გამყიდველისა და შუამავლის იდენტიფიკატორების მნიშვნელობები და შემოწმდება პირობა, რომ ყველა მონაწილე ეთანხმება გამყიდველისა და შუამავლის არჩევანს. როდესაც ყველა პირობა დაკმაყოფილდება, მაშინ თანხები გადაირიცხება მითითებულ მისამართებზე. ამ მიდგომას შეუძლია დაიცვას მონაწილეები ნებისმიერი მხრიდან თაღლითობისგან და ზოგადად გამორიცხავს ნდობის აუცილებლობას.

ამ მაგალითში ჩვენ ვხედავთ იმ პრინციპს, რომ თითოეული პირობის შესასრულებლად პარამეტრების ეტაპობრივად დაყენების ეს შესაძლებლობა საშუალებას გაძლევთ შექმნათ ნებისმიერი სირთულისა და წყობილი დონის სიღრმის სისტემები. გარდა ამისა, თქვენ შეგიძლიათ ჯერ განსაზღვროთ პირველი პირობა სმარტ კონტრაქტში და მხოლოდ მისი შესრულების შემდეგ შეგიძლიათ დააყენოთ პარამეტრები შემდეგი პირობისთვის. სხვა სიტყვებით რომ ვთქვათ, პირობა ოფიციალურად არის დაწერილი და მისი პარამეტრების დაყენება უკვე შესაძლებელია მისი მუშაობის დროს.

ჭკვიანი კონტრაქტების კლასიფიკაცია

კლასიფიკაციისთვის შეგიძლიათ დააყენოთ კრიტერიუმების სხვადასხვა ჯგუფი. თუმცა, ტექნოლოგიების განვითარების მომენტში ოთხი მათგანი აქტუალურია.

ჭკვიანი კონტრაქტები შეიძლება გამოირჩეოდეს მათი შესრულების გარემოთი, რომელიც შეიძლება იყოს ცენტრალიზებული ან დეცენტრალიზებული. დეცენტრალიზაციის შემთხვევაში, ჩვენ გვაქვს ბევრად უფრო დიდი დამოუკიდებლობა და შეცდომების შემწყნარებლობა ჭკვიანი კონტრაქტების შესრულებისას.

ისინი ასევე შეიძლება გამოირჩეოდნენ პირობების დაყენებისა და შესრულების პროცესით: ისინი შეიძლება იყოს თავისუფლად პროგრამირებადი, შეზღუდული ან წინასწარ განსაზღვრული, ანუ მკაცრად აკრეფილი. როდესაც ჭკვიანი კონტრაქტის პლატფორმაზე მხოლოდ 4 კონკრეტული სმარტ კონტრაქტია, მათთვის პარამეტრების დაყენება შესაძლებელია ნებისმიერი გზით. შესაბამისად, მათი დაყენება გაცილებით მარტივია: ჩვენ ვირჩევთ კონტრაქტს სიიდან და გადავცემთ პარამეტრებს.

ინიციაციის მეთოდის მიხედვით, არსებობს ავტომატიზირებული სმარტ კონტრაქტები, ანუ როდესაც ხდება გარკვეული პირობები, ისინი თვითშესრულებულია და არის კონტრაქტები, რომლებშიც მითითებულია პირობები, მაგრამ პლატფორმა ავტომატურად არ ამოწმებს მათ შესრულებას; ამისათვის ისინი ცალკე უნდა დაიწყოს.

გარდა ამისა, ჭკვიანი კონტრაქტები განსხვავდება მათი კონფიდენციალურობის დონით. ისინი შეიძლება იყოს მთლიანად ღია, ნაწილობრივ ან მთლიანად კონფიდენციალური. ეს უკანასკნელი ნიშნავს, რომ მესამე მხარის დამკვირვებლები ვერ ხედავენ ჭკვიანი კონტრაქტების პირობებს. თუმცა, კონფიდენციალურობის თემა ძალიან ფართოა და უმჯობესია განიხილოს იგი მიმდინარე სტატიისგან ცალკე.

ქვემოთ უფრო დეტალურად განვიხილავთ პირველ სამ კრიტერიუმს, რათა მეტი სიცხადე მივიღოთ მიმდინარე თემის გაგებაში.

ჭკვიანი კონტრაქტები გაშვების დროით

შესრულების გარემოდან გამომდინარე, განასხვავებენ ცენტრალიზებულ და დეცენტრალიზებულ ჭკვიანი კონტრაქტის პლატფორმებს. ცენტრალიზებული ციფრული კონტრაქტების შემთხვევაში გამოიყენება ერთი სერვისი, სადაც არის მხოლოდ ერთი ვალიდატორი და შეიძლება იყოს სარეზერვო და აღდგენის სერვისი, რომელიც ასევე იმართება ცენტრალურად. არსებობს ერთი მონაცემთა ბაზა, რომელიც ინახავს ყველა საჭირო ინფორმაციას ჭკვიანი კონტრაქტის პირობების დასაყენებლად და ღირებულების გასანაწილებლად, რომელიც გათვალისწინებულია სწორედ ამ სერვისის მონაცემთა ბაზაში. ასეთ ცენტრალიზებულ სერვისს ჰყავს კლიენტი, რომელიც ადგენს პირობებს გარკვეული მოთხოვნებით და იყენებს ასეთ კონტრაქტებს. პლატფორმის ცენტრალიზებული ბუნების გამო, ავთენტიფიკაციის მექანიზმები შეიძლება ნაკლებად უსაფრთხო იყოს, ვიდრე კრიპტოვალუტაში.

მაგალითად, შეგვიძლია ავიღოთ მობილური საკომუნიკაციო პროვაიდერები (სხვადასხვა მობილური ოპერატორი). ვთქვათ, გარკვეული ოპერატორი ინახავს ტრაფიკის ცენტრალიზებულ ჩანაწერს თავის სერვერებზე, რომელიც შეიძლება გადაიცეს სხვადასხვა ფორმატში, მაგალითად: ხმოვანი ზარების, SMS გადაცემის, მობილური ინტერნეტ ტრაფიკის სახით და სხვადასხვა სტანდარტების მიხედვით, ასევე აწარმოებს ჩანაწერებს. სახსრების მომხმარებელთა ბალანსზე. შესაბამისად, მობილური კავშირგაბმულობის პროვაიდერს შეუძლია გააფორმოს კონტრაქტები გაწეული მომსახურების აღრიცხვისა და მათი გადახდის სხვადასხვა პირობებით. ამ შემთხვევაში, მარტივია ისეთი პირობების დაყენება, როგორიცაა „გააგზავნეთ SMS ამა თუ იმ კოდით ამა თუ იმ ნომერზე და მიიღებთ ტრაფიკის განაწილების ამა და ასეთ პირობებს“.

კიდევ ერთი მაგალითი შეიძლება მოვიყვანოთ: ტრადიციული ბანკები ინტერნეტ ბანკინგის გაფართოებული ფუნქციონირებით და ძალიან მარტივი კონტრაქტებით, როგორიცაა რეგულარული გადახდები, შემომავალი გადახდების ავტომატური კონვერტაცია, პროცენტის ავტომატური გამოქვითვა მითითებულ ანგარიშზე და ა.შ.

თუ ვსაუბრობთ ჭკვიან კონტრაქტებზე დეცენტრალიზებული აღსრულების გარემოსთან, მაშინ ჩვენ გვყავს ვალიდატორების ჯგუფი. იდეალურ შემთხვევაში, ნებისმიერს შეუძლია გახდეს ვალიდატორი. მონაცემთა ბაზის სინქრონიზაციის პროტოკოლისა და კონსენსუსის მიღწევის გამო, ჩვენ გვაქვს საერთო მონაცემთა ბაზა, რომელიც ახლა ინახავს ყველა ტრანზაქციას მკაცრად აღწერილი კონტრაქტებით და არა პირობითი მოთხოვნებით, რომელთა ფორმატები ხშირად იცვლება და არ არის ღია სპეციფიკაცია. აქ ტრანზაქციები შეიცავს ინსტრუქციებს ხელშეკრულების მკაცრი სპეციფიკაციის მიხედვით შესასრულებლად. ეს სპეციფიკაცია ღიაა და, შესაბამისად, პლატფორმის მომხმარებლებს თავად შეუძლიათ ჭკვიან კონტრაქტების აუდიტი და დამოწმება. აქ ჩვენ ვხედავთ, რომ დეცენტრალიზებული პლატფორმები აღემატება ცენტრალიზებულს დამოუკიდებლობისა და ხარვეზების ტოლერანტობის თვალსაზრისით, მაგრამ მათი დიზაინი და შენარჩუნება ბევრად უფრო რთულია.

სმარტ კონტრაქტები პირობების დადგენისა და შესრულების მეთოდით

ახლა მოდით უფრო ახლოს მივხედოთ, თუ როგორ შეიძლება განსხვავდებოდეს ჭკვიანი კონტრაქტები მათი დაწესებისა და პირობების შესრულების მიხედვით. აქ ჩვენ ყურადღებას ვაქცევთ ჭკვიან კონტრაქტებს, რომლებიც შემთხვევით პროგრამირებადია და ტურინგის დასრულებული. ტურინგის სრული ჭკვიანი კონტრაქტი საშუალებას გაძლევთ დააყენოთ თითქმის ნებისმიერი ალგორითმი, როგორც პირობები კონტრაქტის შესრულებისთვის: ჩაწერეთ ციკლები, ზოგიერთი ფუნქციები ალბათობების გამოსათვლელად და მსგავსი - პირდაპირ თქვენი ელექტრონული ხელმოწერის ალგორითმებამდე. ამ შემთხვევაში ვგულისხმობთ ლოგიკის ჭეშმარიტად თვითნებურ წერას.

ასევე არსებობს თვითნებური ჭკვიანი კონტრაქტები, მაგრამ არა ტურინგის სრული კონტრაქტები. ეს მოიცავს ბიტკოინს და ლაიტკოინს საკუთარი სკრიპტით. ეს ნიშნავს, რომ თქვენ შეგიძლიათ გამოიყენოთ მხოლოდ გარკვეული ოპერაციები ნებისმიერი თანმიმდევრობით, მაგრამ თქვენ აღარ შეგიძლიათ დაწეროთ მარყუჟები და საკუთარი ალგორითმები.

გარდა ამისა, არსებობს ჭკვიანი კონტრაქტის პლატფორმები, რომლებიც ახორციელებენ წინასწარ განსაზღვრულ სმარტ კონტრაქტებს. მათ შორისაა Bitshares და Steemit. Bitshares-ს აქვს მთელი რიგი ჭკვიანი კონტრაქტები ვაჭრობის, ანგარიშის მართვის, თავად პლატფორმის მართვისა და მისი პარამეტრებისთვის. Steemit არის მსგავსი პლატფორმა, მაგრამ ის აღარ არის ორიენტირებული ტოკენების გაცემაზე და ვაჭრობაზე, როგორიცაა Bitshares, არამედ ბლოგინგზე, ანუ ის ინახავს და ამუშავებს შინაარსს დეცენტრალიზებული გზით.

თვითნებური ტურინგის სრული კონტრაქტები მოიცავს Ethereum პლატფორმას და RootStock-ს, რომელიც ჯერ კიდევ დამუშავების პროცესშია. ამიტომ, ქვემოთ ცოტა უფრო დეტალურად ვისაუბრებთ Ethereum ჭკვიანი კონტრაქტის პლატფორმაზე.

ჭკვიანი კონტრაქტები ინიცირების მეთოდით

ინიცირების მეთოდიდან გამომდინარე, ჭკვიანი კონტრაქტები ასევე შეიძლება დაიყოს მინიმუმ ორ ჯგუფად: ავტომატური და მექანიკური (არა ავტომატიზირებული). ავტომატიზებულებს ახასიათებთ ის ფაქტი, რომ ყველა ცნობილი პარამეტრისა და პირობების გათვალისწინებით, ჭკვიანი კონტრაქტი მთლიანად ავტომატურად სრულდება, ანუ არ საჭიროებს რაიმე დამატებითი ტრანზაქციის გაგზავნას და დამატებით საკომისიოს დახარჯვას ყოველი მომდევნო შესრულებაზე. თავად პლატფორმას აქვს ყველა მონაცემი, რომ გამოთვალოს როგორ დასრულდება ჭკვიანი კონტრაქტი. ლოგიკა იქ არ არის თვითნებური, არამედ წინასწარ განსაზღვრული და ეს ყველაფერი პროგნოზირებადია. ანუ, თქვენ შეგიძლიათ წინასწარ შეაფასოთ ჭკვიანი კონტრაქტის შესრულების სირთულე, გამოიყენოთ მისთვის რაიმე სახის მუდმივი საკომისიო და მისი განხორციელების ყველა პროცესი უფრო ეფექტურია.

ჭკვიანი კონტრაქტებისთვის, რომლებიც თავისუფლად არის დაპროგრამებული, შესრულება არ არის ავტომატიზირებული. ასეთი ჭკვიანი კონტრაქტის დასაწყებად, ფაქტობრივად, ყოველ ნაბიჯზე თქვენ უნდა შექმნათ ახალი ტრანზაქცია, რომელიც გამოიძახებს შესრულების შემდეგ ეტაპზე ან სმარტ კონტრაქტის შემდეგ მეთოდს, გადაიხდით შესაბამის საკომისიოს და დაელოდეთ ტრანზაქციის დადასტურებას. შესრულება შეიძლება წარმატებით დასრულდეს თუ არა, რადგან ჭკვიანი კონტრაქტის კოდი თვითნებურია და შეიძლება გამოჩნდეს არაპროგნოზირებადი მომენტები, როგორიცაა მარადიული მარყუჟი, ზოგიერთი პარამეტრისა და არგუმენტის ნაკლებობა, დაუმუშავებელი გამონაკლისები და ა.შ.

Ethereum ანგარიშები

Ethereum ანგარიშის ტიპები

მოდით შევხედოთ რა ტიპის ანგარიშები შეიძლება იყოს Ethereum პლატფორმაზე. აქ მხოლოდ ორი ტიპის ანგარიშებია და სხვა ვარიანტები არ არსებობს. პირველ ტიპს ეწოდება მომხმარებლის ანგარიში, მეორე არის კონტრაქტის ანგარიში. მოდით გაერკვნენ, თუ როგორ განსხვავდებიან ისინი.

მომხმარებლის ანგარიში კონტროლდება მხოლოდ ელექტრონული ხელმოწერის პირადი გასაღებით. ანგარიშის მფლობელი აგენერირებს საკუთარ საკვანძო წყვილს ელექტრონული ხელმოწერისთვის ECDSA (ელიპტური მრუდის ციფრული ხელმოწერის ალგორითმის) ალგორითმის გამოყენებით. მხოლოდ ამ გასაღებით ხელმოწერილ ტრანზაქციას შეუძლია ამ ანგარიშის მდგომარეობის შეცვლა.

ცალკე ლოგიკაა გათვალისწინებული ჭკვიანი კონტრაქტის ანგარიშზე. მისი კონტროლი შესაძლებელია მხოლოდ წინასწარ განსაზღვრული პროგრამული კოდით, რომელიც მთლიანად განსაზღვრავს სმარტ კონტრაქტის ქცევას: როგორ მართავს ის თავის მონეტებს გარკვეულ პირობებში, რომელი მომხმარებლის ინიციატივით და რა დამატებითი პირობებით განაწილდება ეს მონეტები. თუ პროგრამის კოდში დეველოპერების მიერ არ არის გათვალისწინებული ზოგიერთი პუნქტი, შეიძლება წარმოიშვას პრობლემები. მაგალითად, სმარტ კონტრაქტმა შეიძლება მიიღოს გარკვეული მდგომარეობა, რომელშიც ის არ მიიღებს შემდგომი შესრულების დაწყებას რომელიმე მომხმარებლისგან. ამ შემთხვევაში, მონეტები ფაქტობრივად გაიყინება, რადგან ჭკვიანი კონტრაქტი არ ითვალისწინებს ამ მდგომარეობიდან გასვლას.

როგორ იქმნება ანგარიშები Ethereum-ზე

მომხმარებლის ანგარიშის შემთხვევაში, მფლობელი დამოუკიდებლად ქმნის გასაღების წყვილს ECDSA-ს გამოყენებით. მნიშვნელოვანია აღინიშნოს, რომ Ethereum იყენებს ზუსტად იგივე ალგორითმს და ზუსტად იგივე ელიფსურ მრუდს ელექტრონული ხელმოწერებისთვის, როგორც Bitcoin, მაგრამ მისამართი გამოითვლება ოდნავ განსხვავებული გზით. აქ ორმაგი ჰეშირების შედეგი აღარ გამოიყენება, როგორც ბიტკოინში, მაგრამ ერთჯერადი ჰეშინგი უზრუნველყოფილია Keccak ფუნქციით 256 ბიტიანი სიგრძით. ყველაზე ნაკლებად მნიშვნელოვანი ბიტი მოწყვეტილია მიღებული მნიშვნელობიდან, კერძოდ, გამომავალი ჰეშის მნიშვნელობის ყველაზე ნაკლებად მნიშვნელოვანი 160 ბიტი. შედეგად, ჩვენ ვიღებთ მისამართს Ethereum-ში. სინამდვილეში, ის იკავებს 20 ბაიტს.

გთხოვთ გაითვალისწინოთ, რომ Ethereum-ში ანგარიშის იდენტიფიკატორი დაშიფრულია ექვსკუთხედში, საკონტროლო ჯამის გამოყენების გარეშე, განსხვავებით ბიტკოინისა და მრავალი სხვა სისტემისგან, სადაც მისამართი დაშიფრულია საბაზისო 58 ნომრის სისტემაში, საკონტროლო ჯამის დამატებით. ეს ნიშნავს, რომ ფრთხილად უნდა იყოთ Ethereum-ში ანგარიშის იდენტიფიკატორებთან მუშაობისას: იდენტიფიკატორში ერთი შეცდომაც კი გარანტირებულია მონეტების დაკარგვამდე.

არსებობს მნიშვნელოვანი ფუნქცია და ის არის, რომ მომხმარებლის ანგარიში მონაცემთა ბაზის ზოგად დონეზე იქმნება იმ მომენტში, როდესაც ის იღებს პირველ შემოსულ გადახდას.

ჭკვიანი კონტრაქტის ანგარიშის შექმნა სულ სხვა მიდგომას იღებს. თავდაპირველად, ერთ-ერთი მომხმარებელი წერს სმარტ კონტრაქტის საწყის კოდს, რის შემდეგაც კოდი გადადის Ethereum პლატფორმისთვის სპეციალური შემდგენელის მეშვეობით და იღებს ბაიტეკოდს საკუთარი Ethereum ვირტუალური მანქანისთვის. მიღებული ბაიტიკოდი მოთავსებულია ტრანზაქციის სპეციალურ ველში. ის დამოწმებულია ინიციატორის ანგარიშის სახელით. შემდეგი, ეს ტრანზაქცია ვრცელდება მთელ ქსელში და ათავსებს ჭკვიანი კონტრაქტის კოდს. ტრანზაქციისა და, შესაბამისად, ხელშეკრულების შესრულებისთვის საკომისიო ამოღებულია ინიციატორის ანგარიშის ნაშთიდან.

თითოეული ჭკვიანი კონტრაქტი აუცილებლად შეიცავს საკუთარ კონსტრუქტორს (ამ კონტრაქტის). ის შეიძლება იყოს ცარიელი ან შეიძლება ჰქონდეს შინაარსი. კონსტრუქტორის შესრულების შემდეგ, იქმნება ჭკვიანი კონტრაქტის ანგარიშის იდენტიფიკატორი, რომლის გამოყენებით შეგიძლიათ გაგზავნოთ მონეტები, გამოიძახოთ გარკვეული ჭკვიანი კონტრაქტის მეთოდები და ა.შ.

Ethereum ტრანზაქციის სტრუქტურა

უფრო გასაგებად, ჩვენ დავიწყებთ Ethereum ტრანზაქციის სტრუქტურისა და ჭკვიანი კონტრაქტის კოდის მაგალითს.

Ethereum ტრანზაქცია შედგება რამდენიმე ველისაგან. პირველი მათგანი, ნონსია, არის ტრანზაქციის გარკვეული სერიული ნომერი, რომელიც ეხება თავად ანგარიშს, რომელიც მას ავრცელებს და არის მისი ავტორი. ეს აუცილებელია იმისათვის, რომ განვასხვავოთ ორმაგი ტრანზაქცია, ანუ გამოირიცხოს შემთხვევა, როდესაც ერთი და იგივე გარიგება ორჯერ მიიღება. იდენტიფიკატორის გამოყენებით, თითოეულ ტრანზაქციას აქვს უნიკალური ჰეშის მნიშვნელობა.

შემდეგი მოდის სფერო, როგორიცაა გაზის ფასი. ეს მიუთითებს ფასზე, რომლითაც Ethereum-ის საბაზისო ვალუტა გარდაიქმნება გაზად, რომელიც გამოიყენება ჭკვიანი კონტრაქტის შესრულებისა და ვირტუალური მანქანის რესურსის გამოყოფისთვის. Რას ნიშნავს?

ბიტკოინში საკომისიო იხდის პირდაპირ საბაზო ვალუტას - თავად ბიტკოინს. ეს შესაძლებელია მათი გამოთვლის მარტივი მექანიზმის წყალობით: ჩვენ მკაცრად ვიხდით ტრანზაქციაში შემავალი მონაცემების რაოდენობას. Ethereum-ში სიტუაცია უფრო რთულია, რადგან ძალიან რთულია ტრანზაქციის მონაცემების მოცულობის დაყრდნობა. აქ ტრანზაქცია ასევე შეიძლება შეიცავდეს პროგრამის კოდს, რომელიც შესრულდება ვირტუალურ მანქანაზე და ვირტუალური მანქანის თითოეულ ოპერაციას შეიძლება ჰქონდეს განსხვავებული სირთულე. ასევე არსებობს ოპერაციები, რომლებიც ანაწილებენ მეხსიერებას ცვლადებისთვის. მათ ექნებათ საკუთარი სირთულე, რაზეც იქნება დამოკიდებული თითოეული ოპერაციის გადახდა.

თითოეული ოპერაციის ღირებულება გაზის ეკვივალენტში იქნება მუდმივი. იგი სპეციალურად არის დანერგილი თითოეული ოპერაციის მუდმივი ღირებულების დასადგენად. ქსელში დატვირთვის მიხედვით შეიცვლება გაზის ფასი, ანუ კოეფიციენტი, რომლის მიხედვითაც საბაზო ვალუტა გადაიქცევა ამ დამხმარე ერთეულში საკომისიოს გადასახდელად.

Ethereum-ში ტრანზაქციის კიდევ ერთი მახასიათებელია: ბაიტეკოდი, რომელსაც ის შეიცავს ვირტუალურ მანქანაში შესასრულებლად, შესრულდება მანამ, სანამ არ დასრულდება რაიმე შედეგით (წარმატებით ან წარუმატებლობით) ან სანამ არ ამოიწურება გამოყოფილი მონეტების გარკვეული რაოდენობა საკომისიოს გადასახდელად. . ეს არის იმისათვის, რომ თავიდან ავიცილოთ სიტუაცია, როდესაც რაიმე შეცდომის შემთხვევაში, გამგზავნის ანგარიშიდან ყველა მონეტა დაიხარჯა საკომისიოდ (მაგალითად, ვირტუალურ მანქანაში დაწყებული რაღაც მარადიული ციკლი), არსებობს შემდეგი ველი - გაზის დაწყება (ხშირად უწოდებენ გაზის ლიმიტს) - ის განსაზღვრავს მონეტების მაქსიმალურ რაოდენობას, რომელიც გამგზავნს სურს დახარჯოს გარკვეული ტრანზაქციის დასასრულებლად.

შემდეგი ველი ე.წ დანიშნულების მისამართი. ეს მოიცავს მონეტების მიმღების მისამართს ან კონკრეტული ჭკვიანი კონტრაქტის მისამართს, რომლის მეთოდებსაც გამოიძახებენ. ამის შემდეგ მოდის მოედანი ღირებულება, სადაც შეყვანილია მონეტების რაოდენობა, რომელიც იგზავნება დანიშნულების მისამართზე.

შემდეგი არის საინტერესო ველი ე.წ მონაცემები, სადაც მთელი სტრუქტურა ჯდება. ეს არ არის ცალკე ველი, არამედ მთელი სტრუქტურა, რომელშიც არის განსაზღვრული ვირტუალური მანქანის კოდი. აქ შეგიძლიათ განათავსოთ თვითნებური მონაცემები - ამისათვის არსებობს ცალკეული წესები.

და ბოლო ველი ე.წ ხელმოწერა. იგი ერთდროულად შეიცავს როგორც ამ ტრანზაქციის ავტორის ელექტრონულ ხელმოწერას, ასევე საჯარო გასაღებს, რომლითაც ეს ხელმოწერა გადამოწმდება. საჯარო გასაღებიდან შეგიძლიათ მიიღოთ ამ ტრანზაქციის გამგზავნის ანგარიშის იდენტიფიკატორი, ანუ ცალსახად იდენტიფიციროთ გამგზავნის ანგარიში თავად სისტემაში. ჩვენ გავარკვიეთ მთავარი ტრანზაქციის სტრუქტურაზე.

მაგალითი ჭკვიანი კონტრაქტის კოდი Solidity-სთვის

მოდით ახლა უფრო დეტალურად განვიხილოთ უმარტივესი ჭკვიანი კონტრაქტი მაგალითის გამოყენებით.

contract Bank {
    address owner;
    mapping(address => uint) balances;
    
    function Bank() {
        owner = msg.sender;
    }

    function deposit() public payable {
        balances[msg.sender] += msg.value;
    }

    function withdraw(uint amount) public {
        if (balances[msg.sender] >= amount) {
            balances[msg.sender] -= amount;
            msg.sender.transfer(amount);
        }
    }

    function getMyBalance() public view returns(uint) {
        return balances[msg.sender];
    }

    function kill() public {
        if (msg.sender == owner)
            selfdestruct(owner);
    }
}

ზემოთ მოცემულია გამარტივებული კოდი, რომელსაც შეუძლია შეინახოს მომხმარებლების მონეტები და დააბრუნოს ისინი მოთხოვნის შემთხვევაში.

ასე რომ, არსებობს ბანკის სმარტ კონტრაქტი, რომელიც ასრულებს შემდეგ ფუნქციებს: აგროვებს მონეტებს თავის ბალანსზე, ანუ როდესაც ტრანზაქცია დადასტურდება და ასეთი სმარტ კონტრაქტი დაიდება, იქმნება ახალი ანგარიში, რომელიც შეიძლება შეიცავდეს მონეტებს მის ბალანსზე; ის ახსოვს მომხმარებლებს და მათ შორის მონეტების განაწილებას; აქვს ნაშთების მართვის რამდენიმე მეთოდი, ანუ შესაძლებელია მომხმარებლის ბალანსის შევსება, ამოღება და შემოწმება.

მოდით გავიაროთ კოდის თითოეული ხაზი. ამ ხელშეკრულებას აქვს მუდმივი სფეროები. ერთ-ერთ მათგანს, ტიპის მისამართით, ჰქვია მფლობელი. აქ კონტრაქტი ახსოვს მომხმარებლის მისამართი, რომელმაც შექმნა ეს ჭკვიანი კონტრაქტი. გარდა ამისა, არსებობს დინამიური სტრუქტურა, რომელიც ინარჩუნებს შესაბამისობას მომხმარებლის მისამართებსა და ნაშთებს შორის.

ამას მოჰყვება ბანკის მეთოდი - მას აქვს იგივე სახელი, როგორც ხელშეკრულება. შესაბამისად, ეს არის მისი კონსტრუქტორი. აქ მფლობელის ცვლადს ენიჭება იმ პირის მისამართი, რომელმაც ეს ჭკვიანი კონტრაქტი ქსელში მოათავსა. ეს ერთადერთია, რაც ხდება ამ კონსტრუქტორში. ანუ msg ამ შემთხვევაში არის ზუსტად ის მონაცემი, რომელიც გადაეცა ვირტუალურ მანქანას ამ კონტრაქტის მთელი კოდის შემცველ ტრანზაქციასთან ერთად. შესაბამისად, msg.sender არის ამ ტრანზაქციის ავტორი, რომელიც მასპინძლობს ამ კოდს. ის იქნება ჭკვიანი კონტრაქტის მფლობელი.

დეპოზიტის მეთოდი საშუალებას გაძლევთ გადარიცხოთ გარკვეული რაოდენობის მონეტები კონტრაქტის ანგარიშზე ტრანზაქციის გზით. ამ შემთხვევაში, სმარტ კონტრაქტი, რომელიც იღებს ამ მონეტებს, ტოვებს მათ ბალანსზე, მაგრამ ნაშთების სტრუქტურაში აფიქსირებს ვინ იყო ზუსტად ამ მონეტების გამგზავნი, რათა იცოდეს ვის ეკუთვნის ისინი.

შემდეგ მეთოდს ეწოდება ამოღება და მას სჭირდება ერთი პარამეტრი - მონეტების რაოდენობა, რომლის ამოღებაც ვინმეს სურს ამ ბანკიდან. ეს ამოწმებს არის თუ არა საკმარისი მონეტები მომხმარებლის ბალანსში, რომელიც ამ მეთოდს უწოდებს მათ გასაგზავნად. თუ ისინი საკმარისია, მაშინ სმარტ კონტრაქტი თავად უბრუნებს მონეტების ამ რაოდენობას აბონენტს.

შემდეგ მოდის მომხმარებლის მიმდინარე ბალანსის შემოწმების მეთოდი. ვინც ამ მეთოდს გამოიძახებს, გამოყენებული იქნება სმარტ კონტრაქტში ამ ბალანსის აღსადგენად. აღსანიშნავია, რომ ამ მეთოდის მოდიფიკატორი არის view. ეს ნიშნავს, რომ თავად მეთოდი არანაირად არ ცვლის თავისი კლასის ცვლადებს და ის რეალურად მხოლოდ წაკითხვის მეთოდია. ამ მეთოდის გამოსაძახებლად არ იქმნება ცალკე ტრანზაქცია, არ არის გადახდილი საკომისიო და ყველა გამოთვლა ხდება ადგილობრივად, რის შემდეგაც მომხმარებელი იღებს შედეგს.

მოკვლის მეთოდი საჭიროა ჭკვიანი კონტრაქტის მდგომარეობის გასანადგურებლად. და აქ არის დამატებითი შემოწმება, არის თუ არა ამ მეთოდის დამრეკი ამ ხელშეკრულების მფლობელი. თუ ასეა, მაშინ კონტრაქტი თვითგანადგურება ხდება და განადგურების ფუნქცია იღებს ერთ პარამეტრს - ანგარიშის იდენტიფიკატორს, რომელზეც კონტრაქტი გაუგზავნის მის ბალანსზე დარჩენილ ყველა მონეტას. ამ შემთხვევაში, დარჩენილი მონეტები ავტომატურად გადავა კონტრაქტის მფლობელის მისამართზე.

როგორ მუშაობს სრული კვანძი Ethereum ქსელში?

მოდით შევხედოთ სქემატურად, როგორ სრულდება ასეთი ჭკვიანი კონტრაქტები Ethereum პლატფორმაზე და როგორ მუშაობს სრული ქსელის კვანძი.

Ethereum ქსელის სრულ კვანძს უნდა ჰქონდეს მინიმუმ ოთხი მოდული.
პირველი, როგორც ნებისმიერი დეცენტრალიზებული პროტოკოლისთვის, არის P2P ქსელის მოდული - მოდული ქსელის კავშირისა და სხვა კვანძებთან მუშაობისთვის, სადაც ხდება ბლოკების, ტრანზაქციების და სხვა კვანძების შესახებ ინფორმაციის გაცვლა. ეს არის ტრადიციული კომპონენტი ყველა დეცენტრალიზებული კრიპტოვალუტისთვის.

შემდეგი, ჩვენ გვაქვს ბლოკჩეინის მონაცემების შესანახი მოდული, დამუშავება, პრიორიტეტული ფილიალის არჩევა, ბლოკების დამატება, ბლოკების გაუქმება, ამ ბლოკების ვალიდაცია და ა.შ.

მესამე მოდულს ჰქვია EVM (Ethereum ვირტუალური მანქანა) - ეს არის ვირტუალური მანქანა, რომელიც იღებს ბაიტეკოდს Ethereum ტრანზაქციებიდან. ეს მოდული იღებს კონკრეტული ანგარიშის მიმდინარე მდგომარეობას და ცვლის მის მდგომარეობას მიღებული ბაიტიკოდის საფუძველზე. ვირტუალური მანქანის ვერსია თითოეულ ქსელის კვანძზე უნდა იყოს იგივე. გამოთვლები, რომლებიც ხდება Ethereum-ის თითოეულ კვანძზე, ზუსტად იგივეა, მაგრამ ისინი ხდება ასინქრონულად: ვიღაც ამოწმებს და იღებს ამ ტრანზაქციას ადრე, ანუ ახორციელებს მასში შემავალ ყველა კოდს, ვიღაც კი მოგვიანებით. შესაბამისად, როდესაც ტრანზაქცია იქმნება, ის ნაწილდება ქსელში, კვანძები იღებენ მას და გადამოწმების დროს, ისევე, როგორც Bitcoin Script შესრულებულია ბიტკოინში, აქ სრულდება ვირტუალური მანქანის ბაიტიკოდი.

ტრანზაქცია დამოწმებულად ითვლება, თუ მასში შემავალი ყველა კოდი შესრულებულია, გარკვეული ანგარიშის ახალი მდგომარეობა გენერირებულია და შეინახება მანამ, სანამ გაირკვევა, გამოყენებულია თუ არა ეს ტრანზაქცია. თუ გარიგება გამოიყენება, მაშინ ეს მდგომარეობა ითვლება არა მხოლოდ დასრულებულად, არამედ მიმდინარე. არსებობს მონაცემთა ბაზა, რომელიც ინახავს თითოეული ანგარიშის მდგომარეობას თითოეული ქსელის კვანძისთვის. იმის გამო, რომ ყველა გამოთვლა ხდება ერთნაირად და ბლოკჩეინის მდგომარეობა იგივეა, მონაცემთა ბაზა, რომელიც შეიცავს ყველა ანგარიშის მდგომარეობას, ასევე იქნება იგივე თითოეული კვანძისთვის.

ჭკვიანი კონტრაქტების მითები და შეზღუდვები

რაც შეეხება შეზღუდვებს, რომლებიც არსებობს Ethereum-ის მსგავსი ჭკვიანი კონტრაქტის პლატფორმებისთვის, შეიძლება აღინიშნოს შემდეგი:

• კოდის შესრულება;
• მეხსიერების გამოყოფა;
• ბლოკჩეინის მონაცემები;
• გადახდების გაგზავნა;
• ახალი კონტრაქტის შექმნა;
• დარეკეთ სხვა კონტრაქტებზე.

მოდით შევხედოთ შეზღუდვებს, რომლებიც დაწესებულია ვირტუალურ მანქანაზე და, შესაბამისად, გავაქარწყლოთ რამდენიმე მითი ჭკვიანი კონტრაქტების შესახებ. ვირტუალურ მანქანაზე, რომელიც შეიძლება იყოს არა მხოლოდ Ethereum-ში, არამედ მსგავს პლატფორმებზეც, შეგიძლიათ შეასრულოთ მართლაც თვითნებური ლოგიკური ოპერაციები, ანუ ჩაწეროთ კოდი და ის იქ შესრულდება, შეგიძლიათ დამატებით გამოყოთ მეხსიერება. თუმცა, საფასური იხდის ცალ-ცალკე თითოეული ოპერაციისთვის და გამოყოფილი მეხსიერების ყოველი დამატებითი ერთეულისთვის.

შემდეგი, ვირტუალურ მანქანას შეუძლია წაიკითხოს მონაცემები ბლოკჩეინის მონაცემთა ბაზიდან, რათა გამოიყენოს ეს მონაცემები, როგორც გამომწვევი ამა თუ იმ ჭკვიანი კონტრაქტის ლოგიკის შესასრულებლად. ვირტუალურ მანქანას შეუძლია შექმნას და გაგზავნოს ტრანზაქციები, მას შეუძლია შექმნას ახალი კონტრაქტები და სხვა სმარტ კონტრაქტების გამოძახების მეთოდები, რომლებიც უკვე გამოქვეყნებულია ქსელში: არსებული, ხელმისაწვდომი და ა.შ.

ყველაზე გავრცელებული მითი არის ის, რომ Ethereum-ის ჭკვიან კონტრაქტებს შეუძლიათ გამოიყენონ ინფორმაცია ნებისმიერი ინტერნეტ რესურსიდან თავისი პირობებით. სიმართლე ის არის, რომ ვირტუალურ მანქანას არ შეუძლია გაუგზავნოს ქსელის მოთხოვნა ინტერნეტში არსებულ ზოგიერთ გარე საინფორმაციო რესურსზე, ანუ შეუძლებელია ჭკვიანი კონტრაქტის დაწერა, რომელიც ანაწილებს ღირებულებას მომხმარებლებს შორის იმისდა მიხედვით, თუ როგორია ამინდი გარეთ, ან ვინ მოიგო რაიმე ჩემპიონატი, ან იმის მიხედვით, თუ რა სხვა ინციდენტი მოხდა გარე სამყაროში, რადგან ინფორმაცია ამ ინციდენტების შესახებ უბრალოდ არ არის თავად პლატფორმის მონაცემთა ბაზაში. ანუ ბლოკჩეინზე ამის შესახებ არაფერია. თუ ის იქ არ გამოჩნდება, მაშინ ვირტუალური მანქანა ვერ გამოიყენებს ამ მონაცემებს ტრიგერად.

Ethereum-ის უარყოფითი მხარეები

ჩამოვთვალოთ ძირითადი. პირველი მინუსი არის ის, რომ არის გარკვეული სირთულეები Ethereum-ში ჭკვიანი კონტრაქტების შემუშავების, შემუშავებისა და ტესტირებისას (Ethereum იყენებს Solidity ენას ჭკვიანი კონტრაქტების დასაწერად). მართლაც, პრაქტიკა აჩვენებს, რომ ყველა შეცდომის ძალიან დიდი პროცენტი ეკუთვნის ადამიანურ ფაქტორს. ეს რეალურად მართალია უკვე დაწერილი Ethereum ჭკვიანი კონტრაქტებისთვის, რომლებსაც აქვთ საშუალო ან უფრო მაღალი სირთულე. თუ მარტივი სმარტ კონტრაქტებისთვის შეცდომის ალბათობა მცირეა, მაშინ რთულ სმარტ კონტრაქტებში ძალიან ხშირად არის შეცდომები, რომლებიც იწვევს სახსრების ქურდობას, მათ გაყინვას, სმარტ კონტრაქტების მოულოდნელად განადგურებას და ა.შ. ბევრი ასეთი შემთხვევა უკვე არსებობს. ცნობილია.

მეორე მინუსი არის ის, რომ თავად ვირტუალური მანქანა არ არის სრულყოფილი, რადგან ის ასევე დაწერილია ხალხის მიერ. მას შეუძლია შეასრულოს თვითნებური ბრძანებები და ამაში მდგომარეობს დაუცველობა: რიგი ბრძანებების კონფიგურაცია შესაძლებელია გარკვეული გზით, რაც გამოიწვევს წინასწარ გაუთვალისწინებელ შედეგებს. ეს ძალიან რთული სფეროა, მაგრამ უკვე არსებობს რამდენიმე კვლევა, რომელიც აჩვენებს, რომ ეს დაუცველობა არსებობს Ethereum ქსელის მიმდინარე ვერსიაში და მათ შეუძლიათ მრავალი ჭკვიანი კონტრაქტის წარუმატებლობა გამოიწვიოს.

კიდევ ერთი დიდი სირთულე, ის შეიძლება ჩაითვალოს მინუსად. ეს მდგომარეობს იმაში, რომ თქვენ შეგიძლიათ პრაქტიკულად ან ტექნიკურად მიხვიდეთ დასკვნამდე, რომ თუ შეადგინებთ ხელშეკრულების ბაიტეკოდს, რომელიც შესრულდება ვირტუალურ მანქანაზე, შეგიძლიათ განსაზღვროთ ოპერაციების გარკვეული რიგი. როდესაც ერთად შესრულდება, ეს ოპერაციები მნიშვნელოვნად დატვირთავს ვირტუალურ მანქანას და შეანელებს მას არაპროპორციულად იმ საფასურის მიმართ, რომელიც გადაიხადეს ამ ოპერაციების შესრულებისთვის.

წარსულში, უკვე იყო Ethereum-ის განვითარების პერიოდი, როდესაც ბევრმა ბიჭმა, ვინც დეტალურად ესმოდა ვირტუალური მანქანის ფუნქციონირებას, აღმოაჩინა ასეთი დაუცველობა. ფაქტობრივად, ტრანზაქციებმა იხდიდა ძალიან მცირე გადასახადს, მაგრამ პრაქტიკულად შეანელა მთელი ქსელი. ამ პრობლემების გადაჭრა ძალიან რთულია, რადგან აუცილებელია, პირველ რიგში, მათი დადგენა, მეორეც, ამ ოპერაციების შესრულების ფასის კორექტირება და, მესამე, მყარი ჩანგლის განხორციელება, რაც გულისხმობს ქსელის ყველა კვანძის ახალ ვერსიაზე განახლებას. პროგრამული უზრუნველყოფის და შემდეგ ამ ცვლილებების ერთდროული გააქტიურება.

რაც შეეხება Ethereum-ს, ჩატარდა ბევრი კვლევა, დაგროვდა დიდი პრაქტიკული გამოცდილება: დადებითიც და უარყოფითიც, მაგრამ მაინც რჩება სირთულეები და დაუცველობები, რომლებიც მაინც უნდა მოგვარდეს როგორმე.

ასე რომ, სტატიის თემატური ნაწილი დასრულებულია, მოდით გადავიდეთ კითხვებზე, რომლებიც საკმაოდ ხშირად ჩნდება.

ხშირად დასმული კითხვები

— თუ არსებული ჭკვიანი კონტრაქტის ყველა მხარეს სურს პირობების შეცვლა, შეუძლიათ გააუქმონ ეს ჭკვიანი კონტრაქტი multisig-ის გამოყენებით და შემდეგ შექმნან ახალი ჭკვიანი კონტრაქტი მისი შესრულების განახლებული პირობებით?

პასუხი აქ ორგვარი იქნება. რატომ? რადგან, ერთის მხრივ, სმარტ კონტრაქტი განსაზღვრულია ერთხელ და ის აღარ გულისხმობს რაიმე ცვლილებას, მეორე მხრივ კი შეიძლება ჰქონდეს წინასწარ დაწერილი ლოგიკა, რომელიც ითვალისწინებს გარკვეული პირობების სრულ ან ნაწილობრივ შეცვლას. ანუ, თუ გსურთ შეცვალოთ რაიმე თქვენს სმარტ კონტრაქტში, მაშინ უნდა დაწეროთ პირობები, რომლითაც შეგიძლიათ განაახლოთ ეს პირობები. შესაბამისად, მხოლოდ ასეთი გონივრული წესით შეიძლება მოხდეს ხელშეკრულების განახლება. მაგრამ აქაც შეიძლება პრობლემები შეგექმნათ: დაუშვათ შეცდომა და მიიღოთ შესაბამისი დაუცველობა. ამიტომ, ასეთი ნივთები უნდა იყოს ძალიან დეტალური და ყურადღებით შემუშავებული და გამოცდილი.

— რა მოხდება, თუ შუამავალი დადებს შეთანხმებას ერთ-ერთ მონაწილე მხარესთან: ესქროუ თუ სმარტ კონტრაქტი? საჭიროა თუ არა შუამავალი სმარტ კონტრაქტში?

სმარტ კონტრაქტში შუამავალი არ არის საჭირო. შეიძლება არ არსებობდეს. თუ ესქროს შემთხვევაში, შუამავალი ერთ-ერთ მხარესთან შეთქმულებაში შედის, მაშინ დიახ, ეს სქემა მკვეთრად კარგავს მთელ თავის ღირებულებას. ამიტომ შუამავლები ისეა შერჩეული, რომ მათ ერთდროულად ენდობა ამ პროცესში ჩართული ყველა მხარე. შესაბამისად, თქვენ უბრალოდ არ გადარიცხავთ მონეტებს მრავალხელმოწერის მისამართზე შუამავლის საშუალებით, რომელსაც არ ენდობით.

— შესაძლებელია თუ არა Ethereum-ის ერთი ტრანზაქციის საშუალებით თქვენი მისამართიდან სხვადასხვა სამიზნე მისამართებზე მრავალი განსხვავებული ტოკენის გადატანა, მაგალითად, მისამართების გაცვლა, სადაც ხდება ამ ტოკენების ვაჭრობა?

ეს კარგი კითხვაა და ეხება Ethereum ტრანზაქციის მოდელს და რით განსხვავდება იგი ბიტკოინის მოდელისგან. და განსხვავება რადიკალურია. თუ Ethereum ტრანზაქციის მოდელში თქვენ უბრალოდ გადარიცხავთ მონეტებს, მაშინ ისინი გადაირიცხება მხოლოდ ერთი მისამართიდან მეორეზე, არანაირი ცვლილება, მხოლოდ თქვენს მიერ მითითებული კონკრეტული თანხა. სხვა სიტყვებით რომ ვთქვათ, ეს არ არის დაუხარჯავი შედეგების მოდელი (UTXO), არამედ ანგარიშებისა და შესაბამისი ნაშთების მოდელი. თეორიულად შესაძლებელია ერთდროულად რამდენიმე სხვადასხვა ტოკენის გაგზავნა ერთ ტრანზაქციაში, თუ თქვენ დაწერთ ეშმაკურ სმარტ კონტრაქტს, მაგრამ მაინც მოგიწევთ ბევრი ტრანზაქციის განხორციელება, კონტრაქტის შექმნა, შემდეგ მასში ტოკენების და მონეტების გადაცემა და შემდეგ შესაბამისი მეთოდის გამოძახება. . ეს მოითხოვს ძალისხმევას და დროს, ამიტომ პრაქტიკაში ეს ასე არ მუშაობს და Ethereum-ში ყველა გადახდა ხდება ცალკე ტრანზაქციებში.

— Ethereum-ის პლატფორმის შესახებ ერთ-ერთი მითი არის ის, რომ შეუძლებელია ისეთი პირობების აღწერა, რომლებიც დამოკიდებული იქნება გარე ინტერნეტ რესურსის მონაცემებზე, მაშ რა უნდა გავაკეთოთ მაშინ?

გამოსავალი იმაში მდგომარეობს, რომ სმარტ კონტრაქტს შეუძლია უზრუნველყოს ერთი ან რამდენიმე ე.წ. სანდო ორაკული, რომელიც აგროვებს მონაცემებს გარე სამყაროში არსებული მდგომარეობის შესახებ და გადასცემს მას ჭკვიან კონტრაქტებს სპეციალური მეთოდებით. თავად ხელშეკრულება ჭეშმარიტად მიიჩნევს მონაცემებს, რომლებიც მან მიიღო სანდო მხარეებისგან. მეტი საიმედოობისთვის, უბრალოდ შეარჩიეთ ორაკულების დიდი ჯგუფი და მინიმუმამდე შეამცირეთ მათი შეთქმულების რისკი. თავად კონტრაქტმა შეიძლება არ გაითვალისწინოს ორაკულების მონაცემები, რომლებიც ეწინააღმდეგება უმრავლესობას.

ამ თემას ეძღვნება ბლოკჩეინის ონლაინ კურსის ერთ-ერთი ლექცია - ”სმარტ კონტრაქტების შესავალი".

წყარო: www.habr.com