ნულოვანი ცოდნის მტკიცებულებების (ZKP) ხალხისთვის „გასაგებად და მისაწვდომად“ გაკეთება აუცილებელია იმისთვის, რომ Ethereum-ის ეკოსისტემა „ღია და მისასალმებელი“ იყოს მათემატიკის ხარისხის მქონე ადამიანებისთვის, წერს Ethereum-ის თანადამფუძნებელი ვიტალიკ ბუტერინი 26 ოქტომბერს ტვიტერზე.
ZKP-ებს ხშირად უწოდებენ "მთვარის მათემატიკას" მათი სირთულის გამო.
მე ძალიან ბედნიერი ვარ, რომ Ethereum-ს აქვს ისეთი ძლიერი კულტურა, რომ ცდილობს მთელი ჩვენი მთვარის მათემატიკა რაც შეიძლება გასაგები და ხელმისაწვდომი გახდეს ხალხისთვის. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) ოქტომბერი 26, 2022
ბუტერინმა დასძინა, რომ „დეცენტრალიზაცია არ მოითხოვს დანებებას და დოქტორის წოდებას „ეს შავი ყუთია, ჩვენ ჭკვიანები ვართ, გვერწმუნეთ“.
გადახვევა, ნულოვანი ცოდნის ფენის 2 Ethereum სკალირების ხსნარი, ახსნილი წაკითხვა როგორ მუშაობს პოლინომიური ვალდებულებების სქემები, რამდენიმე ZKP-ის მნიშვნელოვანი ნაწილი და როგორ შეუძლიათ მათ დაეხმარონ Ethereum-ის მასშტაბირებას.
პოლინომები არის მათემატიკური გამონათქვამები, რომლებიც წარმოადგენენ ორზე მეტ ალგებრულ ტერმინს. Scroll ბლოგის მიხედვით, მრავალწევრებს შეუძლიათ დიდი მონაცემების ეფექტურად წარმოდგენა.
ვალდებულების სქემა არის კრიპტოგრაფიული პროტოკოლი, რომელშიც ადამიანი იღებს ვალდებულებას შეტყობინებას და ინახავს მას დამალული, მაგრამ შეუძლია გაგზავნოს მოგვიანებით. თუმცა, შემსრულებელს არ შეუძლია შეცვალოს გზავნილი მას შემდეგ, რაც მან დაასრულა იგი, რაც ვალდებულების სქემებს სავალდებულოს ხდის.
პოლინომიური ვალდებულების სქემაში, მესიჯის ნაცვლად პოლინომი ევალება. პოლინომიური ვალდებულების სქემა აკმაყოფილებს ნორმალური ვალდებულებების სქემების ყველა თვისებას. მაგრამ მას აქვს დამატებითი მახასიათებელი, რომელიც საშუალებას აძლევს კომიტერს დაამტკიცოს, რომ მან დაიკავა გარკვეული პოლინომი, რომელიც აკმაყოფილებს საჭირო თვისებებს თავად მრავალწევრის გამოვლენის გარეშე.
KZG Scaling Ethereum-ში
მიუხედავად იმისა, რომ არსებობს სხვადასხვა პოლინომიური ვალდებულების სქემა, ქეით-ზავერუჩა-გოლდბერგი (KZG) პოპულარულია ბლოკჩეინის სივრცეში და გამოიყენება Scroll-ის მტკიცებულების სისტემებით. KZG ასევე უნდა იყოს ინტეგრირებული Ethereum-ში Proto-Danksharding-ით, რომელიც განხორციელდება EIP-4844, რომელიც შემოთავაზებული იყო 2022 წლის თებერვალში.
Proto-Danksharding არის stop-gap გადაწყვეტა, სანამ Danksharding არ განხორციელდება, რამაც შეიძლება გააძვიროს შეკრებების გამოყენება. Proto-Danksharding წარმოგიდგენთ ტრანზაქციის ახალ ტიპს, სახელწოდებით "blob-carrying ტრანზაქცია". ეს ტრანზაქციები შეიცავს 128 კბ მონაცემთა ბლოკს, რომელზე წვდომა შეუძლებელია Ethereum-ის შესრულების ფენიდან. ამის ნაცვლად, Ethereum-დან ხელმისაწვდომი იქნება მხოლოდ მონაცემთა ბლოკის ვალდებულება.
მონაცემთა blob წარმოდგენილია როგორც პოლინომი და მრავალწევრი ვალდებულების სქემა KZG გამოიყენება მონაცემთა მიმართ ვალდებულების შესაქმნელად. ეს საშუალებას აძლევს მონაცემთა blob-ის თვისებების გადამოწმებას მონაცემთა მთლიანი ბლოკის გამოვლენის გარეშე.
ამრიგად, KZG-ის გამოყენებას შეუძლია მონაცემთა ხელმისაწვდომობის შერჩევის (DAS) ჩართვა, რომელიც განხორციელდება სრული Danksharding-ის გზაზე. DAS არსებითად საშუალებას აძლევს ვალიდატორებს უზრუნველყონ მონაცემთა ბლოკის ხელმისაწვდომობა და სისწორე, მთლიანი მონაცემთა ბლოკის წაკითხვის გარეშე.
ეს, თავის მხრივ, მნიშვნელოვნად შეუწყობს ხელს Ethereum-ის მასშტაბურობის გაზრდას, რადგან ვალიდატორებს სჭირდებათ ნაკლები მონაცემები.
წყარო: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/