აგრეგირებული მტკიცებულება

განსაზღვრება

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

blockchain-ის კონტექსტში აგრეგირებული მტკიცებულების ტექნიკები გამოიყენება ვალიდაციის მონაცემების შეკუმშვისთვის, on-chain კვალი/ზედნაშენის შესამცირებლად და გამოთვლითი ხარჯების დასაკლებად. ისინი შეიძლება გამოიყენებოდეს ხელმოწერებზე, ნულოვანი ცოდნის მტკიცებულებებზე (zero-knowledge proofs) ან სხვა მტკიცებულების სისტემებზე, რომლებიც აგრეგაციისთვის ხელსაყრელ სტრუქტურებს უჭერენ მხარს. ძირითადი თვისებაა, რომ აგრეგირებული მტკიცებულება რჩება სანდო: თუ რომელიმე საწყისი განცხადება მცდარი იყოს, გაერთიანებული მტკიცებულება ვერ გაივლის ვალიდაციას.

კონტექსტი და გამოყენება

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

სხვადასხვა მტკიცებულების სისტემა აგრეგაციას სხვადასხვა გზით უჭერს მხარს — მაგალითად, მრავალი ხელმოწერის აგრეგირებით სხვადასხვა მონაწილიდან, ან რამდენიმე ნულოვანი ცოდნის მტკიცებულების (zero-knowledge proofs) გაერთიანებით განცალკევებულ გამოთვლებზე. აგრეგირებული მტკიცებულების სქემის დიზაინი უნდა აბალანსებდეს მოკლეობას (succinctness), ვალიდაციის ხარჯს და აგრეგირებული ობიექტის გენერირების სირთულეს. როგორც მექანიზმი, ის წარმოადგენს საბაზისო სამშენებლო ბლოკს უფრო მასშტაბირებადი კონსენსუსის (consensus), მონაცემთა ხელმისაწვდომობის და კონფიდენციალურობის შემანარჩუნებელი კონსტრუქციებისთვის blockchain-სა და მასთან დაკავშირებულ კრიპტოგრაფიულ (cryptography) სისტემებში.