Zcash-ის დეველოპერები და დამოუკიდებელი ორგანიზაცია Shielded Labs ახალი „დაცული ფულის“ (shielded pool) შექმნის შესაძლებლობას განიხილავენ. ინიციატივა მიზნად ისახავს ქსელში მიწოდების ვერიფიკაციის ნდობის აღდგენას, მას შემდეგ, რაც Orchard-ის პროტოკოლში სერიოზული ხარვეზი გამოვლინდა.

შვეიცარიაში ბაზირებული Shielded Labs-ის განცხადებით, ახალი პოლი დანერგავს „turnstile accounting“-ის მექანიზმს. ეს მომხმარებლებს საშუალებას მისცემს, უფრო მარტივად გადაამოწმონ იმ სახსრების მთლიანობა, რომლებიც Orchard-ის ფულიდან გადის. დეტალური გეგმა და მისი გავლენა ქსელზე მომდევნო კვირაში გახდება ცნობილი.

Zcash Open Development Lab-ის (ZODL) დამფუძნებელმა ჯოშ სუიჰარტმა აღნიშნა, რომ მეორე Orchard-ის ფულის იდეა შესაძლოა ივლისის ბოლოს დაგეგმილი NU7 განახლების ნაწილი გახდეს. თუმცა, საბოლოო გადაწყვეტილება ჯერ მიღებული არ არის და საზოგადოებრივი განხილვის საგანს წარმოადგენს.

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

ბაზრის რეაქცია და ფასების ვარდნა

ინციდენტის საჯაროდ გახმაურების შემდეგ, ZEC-ის ფასი მკვეთრად შემცირდა. პარასკევს კრიპტოვალუტის ღირებულება დღიური მაქსიმუმიდან, 550.30 დოლარიდან, 264.80 დოლარამდე დაეცა, რაც თითქმის 50%-იან ვარდნას ნიშნავს. მიუხედავად იმისა, რომ ფასი მოგვიანებით 308 დოლარის ფარგლებში დასტაბილურდა, ვარდნა კრიპტო-საზოგადოებისთვის შესამჩნევი იყო.

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

უსაფრთხოების ახალი სტანდარტები

მომხდარმა ინციდენტმა კრიპტო-საზოგადოებაში „ფორმალური ვერიფიკაციის“ (formal verification) აუცილებლობაზე დისკუსია განაახლა. ეს მეთოდი მათემატიკური მტკიცებულებების გამოყენებით ამოწმებს, შეესაბამება თუ არა პროგრამული უზრუნველყოფა დადგენილ წესებს.

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