ნულოვანი ცოდნის მტკიცებულებები: ბლოკჩეინის კონფიდენციალურობის გაძლიერება

გგონია, რომ სტინგის სიმღერაში ცხოვრობ? იმაში, რომელიც ამბობს: “ყოველი სუნთქვა, რომელიც შენ იღებ, ყოველი მოძრაობა, რომელიც შენ აკეთებ, მე შენზე ვაკვირდები”? ამ დღეებში, ჩანს, რომ ყოველთვის არის ვინმე, ვინც შენს ყოველ ნაბიჯს აკვირდება - პირდაპირი მნიშვნელობით. მაღაზიაში წახვალ და შენი ბანკი იცის, რა იყიდე, რამდენი დახარჯე და სად გააკეთე ეს. შენი სმარტფონის GPS ყოველ წამს აკვირდება შენ的位置, CCTV კამერები მუდმივად შენზე აკვირდებიან საზოგადოებაში, და შენი ISP, ინტერნეტ მომსახურების მიმწვდელი, შენს ონლაინ ჩვევებს მტაცებლის მსგავსად აკვირდება. ასე რომ, თუ ეს ყველაფერი რეალითი შოუსავით გეჩვენება, შესაძლოა მართლაც ასე იყოს, მაგრამ უგლამუროდ!

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

რა არის ნულოვანი ცოდნის მტკიცებულებები?

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

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

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

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

რატომ ნულოვანი ცოდნის მტკიცებულებები?

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

Walmart-ის სისტემა შემდეგ დაშიფრავს და ვერიფიცირებს მას, თქვენი რეალური ბალანსის ან ტრანზაქციის ისტორიის ნახვის გარეშე. ეს არის ისე, როგორც თუ ვინმე იტყოდა: “მენდეთ, მე ეს მაქვს დაფარული,” რეალურად არ აჩვენებს ქვითრებს ან არ ამჟღავნებს რაიმე მგრძნობიარე დეტალებს. ასე რომ, თქვენ ყიდულობთ და მიდიხართ, და არც ერთი ადამიანი მსოფლიოში, გარდა Walmart-ისა, არ იცის, რა იყიდეთ და რამდენი გადაიხადეთ.

თუ მტკიცება არის ნულოვანი ცოდნის მტკიცება, ის ყოველთვის სრულად დააკმაყოფილებს ამ სამ ძირითად თვისებას:

1. სრულყოფილება: თუ განცხადება მართალია, honest prover შეუძლია დაარწმუნოს honest verifier ამ ფაქტში. სხვა სიტყვებით, თუ თქვენ ნამდვილად გაქვთ საკმარისი ფული, შეგიძლიათ დაარწმუნოთ Walmart, რომ შეგიძლიათ დაფაროთ ხარჯი.
2. ხარისხი: თუ განცხადება ცრუა, არანაირი dishonest prover ვერ დაარწმუნებს honest verifier-ს, რომ ეს მართალია, გარდა მცირე ალბათობით. სხვა სიტყვებით, თუ თქვენ არ გაქვთ საკმარისი ფული, ვერ მოატყუებთ Walmart-ს, რომ თქვენ გაქვთ, გარდა მცირე შანსით.
3. ნულოვანი ცოდნა: verifier არაფერს სწავლობს გარდა იმისა, რომ განცხადება მართალია; დამატებითი ინფორმაცია საფუძვლური მონაცემების შესახებ არ გამოიხატება. სხვა სიტყვებით, Walmart იცის, რომ შეგიძლიათ გადაიხადოთ, მაგრამ არ გაიგებს სხვა დეტალებზე თქვენი ბანკის ანგარიშის ან ტრანზაქციის ისტორიის შესახებ. ნულოვანი ცოდნის მტკიცებები არის საბოლოო ტექნოლოგიური ნინჯები პირადობის დაცვისთვის ბლოკჩეინში, მაგრამ ZKP-ის გამოყენებები არის უხილავი და ძალიან სასარგებლო, სადაც უსაფრთხოება და ეფექტურობა მნიშვნელოვანია. გსურთ დაამტკიცოთ თქვენი ასაკი, თქვენი მთელი ცხოვრების ისტორიის გამჟღავნების გარეშე? ZKP-ები თქვენს მხარეს არიან. ვინმე გსურთ გაგიზიაროთ კონფიდენციალური მონაცემები, როგორიცაა ფინანსური აუდიტები, ყველა დეტალის გამჟღავნების გარეშე? ZKP-ები თქვენს მხარეს არიან. მიწოდების ჯაჭვში, ZKP-ები ასევე ადასტურებენ, რომ პროდუქტები და მომწოდებლები კანონიერია, ვაჭრობის საიდუმლოებების გამჟღავნების გარეშე. ღრუბლოვან კომპიუტინგში, ისინი უზრუნველყოფენ, რომ გამოთვლები სწორად შესრულდეს, ასე რომ, არ მოგიწვდებათ ყველაფერი ორჯერ შეამოწმოთ. და რა თქმა უნდა, ბლოკჩეინის სამყაროში, ZKP-ები ინახავენ თქვენს კრიპტო ტრანზაქციებს პირადულად. ისინი ასევე აძლევენ სმარტ კონტრაქტებს გააკეთონ მათი საქმე, მგრძნობიარე ინფორმაციის გამჟღავნების გარეშე. არ გაქვთ წარმოდგენა, რაზე ვსაუბრობთ? მოგვიანებით შევეხებით ყველა ამ ფანტასტიურ ტერმინს, მაგრამ პირველ რიგში, მოდით გავარკვიოთ, როგორ მუშაობენ ZKP-ები.

ინტერაქტიული და არაინტერაქტიული მტკიცებები

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

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

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

ბლოკჩეინის ტერმინებში:

• ინტერაქტიული მტკიცება: prover და verifier შორის უკან და წინ ურთიერთობების სერია, მსგავსი თქვენი მეგობრის, რომელიც უყურებს როგორ აცხობთ.
• არაინტერაქტიული მტკიცება: ერთი, წინასწარ შექმნილი მტკიცება, რომელიც შეიძლება დამოუკიდებლად დამოწმდეს, როგორც მეგობარს ნამცხვრის ნაჭრის შეთავაზება. ინტერაქტიული მტკიცების კარგი მაგალითი, რომელიც ინტეგრირებულია ბლოკჩეინში არის TrueBit, პროტოკოლი, რომელიც საშუალებას აძლევს off-chain გამოთვლას Ethereum სმარტ კონტრაქტებისთვის. იგი იყენებს ინტერაქტიულ ვერიფიკაციის თამაშს off-chain გამოთვლების სისწორის შესამოწმებლად. Prover წარადგენს გამოთვლის შედეგს, და ნებისმიერი ადამიანი შეიძლება გაასაჩივროს ეს შედეგი, თამაშით ინტერაქტიულ ვერიფიკაციის თამაშში. თამაში მოიცავს გამოთვლის ნაბიჯ-ნაბიჯ გაწვდას, სადაც prover და challenger ინტერაქტიულად კამათობენ სწორი შესრულების შესახებ. ამ თამაშის საბოლოო შედეგი განსაზღვრავს, მიიღება თუ არა შედეგი on-chain.

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

1988 წელს, Manuel Blum, Paul Feldman და Silvio Micali შეთავაზეს პირველი არაინტერაქტიული ნულოვანი ცოდნის მტკიცებები, სადაც prover და verifier აქვთ საერთო გასაღები (CRS). ასე მუშაობს. თქვენ (prover) და თქვენი მეგობარი (verifier) შეთანხმდებით საერთო რეცეპტზე (CRS). თქვენ აცხობთ ნამცხვარს (შექმნით მტკიცებას) რეცეპტის მიხედვით. თქვენი მეგობარი დააგემოვნებს ნამცხვარს (ამოწმებს მტკიცებას). თუ ეს ლიმონის და რძის გემოს აქვს, ისინი იციან, რომ თქვენ რეცეპტის მიხედვით იმოქმედეთ. ბლოკჩეინის ტერმინებში, ორივე მხარე გენერირებს საჯარო მნიშვნელობას, რომელიც ცნობილია როგორც prover და verifier, CRS. Prover გენერირებს კრიპტოგრაფიულ ობიექტს (მტკიცება). Verifier ამოწმებს, თუ მტკიცება შეესაბამება CRS-ს.

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

არაინტერაქტიული ნულოვანი ცოდნის მტკიცებების ტიპები: ZK-SNARKs, ZK-STARKs

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

ZK-SNARKs

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

1. ნულოვანი ცოდნა: ეს ნიშნავს, რომ verifier შეუძლია დაადასტუროს, რომ განცხადება მართალია, არ იცის ამის შესახებ არაფერი სხვა. მხოლოდ განცხადების სიმართლე ან ცრუობა გამოიხატება - დამატებითი დეტალების საჭიროება არ არის.
2. მოკლე: მტკიცება უფრო მცირე და სწრაფად დასამოწმებელია, ვიდრე საიდუმლო ინფორმაცია, რომელზეც ის დაფუძნებულია. ეს არის როგორც წიგნის გარეშე მოკლე მიმოხილვა.
3. არაინტერაქტიული: განსხვავებით იმ უკან და წინ ინტერაქტიული მტკიცებებისგან, ZK-SNARKs არის ერთჯერადი გარიგება. Prover და verifier მხოლოდ ერთხელ ურთიერთობენ, რაც პროცესს ბევრად უფრო ეფექტურს ხდის.
4. არგუმენტი: მტკიცება არის მყარი, რაც ნიშნავს, რომ თითქმის შეუძლებელია მოატყუო. თუ განცხადება ცრუა, არანაირი მექანიკური prover ვერ დაარწმუნებს verifier-ს სხვაგვარად.
5. (ცოდნის) შესახებ: Prover ვერ შექმნის მტკიცებას, არ იცის საიდუმლო ინფორმაცია (რომელიც ზოგჯერ მოწმეა). მოწმის გარეშე, არ არსებობს გზა ვალიდური მტკიცების გენერაციისთვის.

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

რომელიც უზრუნველყოფს, რომ "რეცეპტი" როგორც უნიკალური, ისე უსაფრთხო იყოს, რამდენიმე "მზარეული" ერთად მუშაობს რეცეპტის საიდუმლო ინგრედიენტის შესაქმნელად - რაც ბლოკჩეინის ტერმინოლოგიით ცნობილია როგორც CRS. როდესაც ისინი დაასრულებენ CRS-ის შექმნას, ისინი "შეუნარჩუნებენ" რეცეპტს, რათა თავიდან აიცილონ მისი არასათანადო გამოყენება. პრობლემა ის არის, რომ ეს პროცესი დამოკიდებულია იმაზე, რომ ყველა მზარეული ნამდვილად გაანადგურებს თავის ნაწილს საიდუმლოს. მაგრამ რა მოხდება, თუ ვინმე მათგან ამას არ გააკეთებს? აქ შედის ZK-STARKs (Zero-Knowledge Scalable Transparent Arguments of Knowledge)

ZK-STARKs

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

1. ნულოვანი ცოდნა: როგორც ZK-SNARKs-ის შემთხვევაში, ვერიფიკატორი შეუძლია დაადასტუროს განცხადების სიმართლე, არ იცოდეს მასზე არაფერი სხვა. მტკიცებულება მხოლოდ იმას აჩვენებს, არის თუ არა განცხადება მართალი თუ მცდარი - დამატებითი დეტალები არ იზიარება.
2. მასშტაბური: ZK-STARKs შექმნილია დიდი რაოდენობის მონაცემების ეფექტურად მართვისთვის. მტკიცებულება რჩება მოკლე და სწრაფად ვერიფიცირებად, მაშინაც კი, როდესაც მონაცემების სირთულე იზრდება - როგორც მთელი ბიბლიოთეკის ერთ გვერდზე შეჯამება.
3. გამჭვირვალე: განსხვავებით ZK-SNARKs-ისგან, რომელიც საჭიროებს ნდობით აღჭურვილ მოწყობას, ZK-STARKs არ ეყრდნობა რაიმე საიდუმლო პარამეტრებს. მათი გამჭვირვალობა ნიშნავს, რომ სისტემის უსაფრთხოება არ არის დამოკიდებული დამალულ ან მგრძნობიარე ინფორმაციაზე.
4. არგუმენტი: მტკიცებულება უკიდურესად მტკიცე და საიმედოა. თუ განცხადება მცდარია, პრაქტიკულად შეუძლებელია არაკეთილსინდისიერი მტკიცებულების მტკიცება ვერიფიკატორისთვის.
5. (საიდუმლო) ცოდნა: ზუსტად ისე, როგორც ZK-SNARKs-ის შემთხვევაში, მტკიცებულებას უნდა ჰქონდეს საიდუმლო ინფორმაცია (ან მოწმე), რათა შექმნას ვალიდური მტკიცებულება. ამ ცოდნის გარეშე, ვალიდური მტკიცებულების წარმოება შეუძლებელია.

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

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

ნულოვანი ცოდნის მტკიცებულების პროტოკოლები

ზკკეშ:

1. რა არის ეს: ზკკეშ არის კონფიდენციალურობაზე ორიენტირებული კრიპტოვალუტა, რომელიც იყენებს ნულოვანი ცოდნის მტკიცებულებებს, კერძოდ zk-SNARKs (ნულოვანი ცოდნის მოკლე არაინტერაქტიული არგუმენტები ცოდნის შესახებ), რათა უზრუნველყოს სრულად კონფიდენციალური ტრანზაქციები.
2. როგორ მუშაობს: ზკკეშში zk-SNARKs საშუალებას აძლევს მომხმარებლებს დაამტკიცონ, რომ აქვთ თანხები ტრანზაქციის გასაკეთებლად, თანხის ან გამგზავნის/მიღების დეტალების გამჟღავნების გარეშე. ასე რომ, შეგიძლიათ გააგზავნოთ ან მიიღოთ თანხები, while keeping all transactional details confidential.
3. ბაზრის კაპიტალიზაცია: 2024 წლის აგვისტოს მდგომარეობით, ზკკეშის ბაზრის კაპიტალიზაცია დაახლოებით 1.3 მილიარდი დოლარია.
4. ტოკენის ღირებულება: ზკკეშის (ZEC) მიმდინარე ფასი დაახლოებით 50.00 დოლარია.
5. რატომ არის ეს მნიშვნელოვანი: ზკკეში ფინანსურ კონფიდენციალურობას მოაქვს ბლოკჩეინზე, რაც მომხმარებლებს საშუალებას აძლევს გააკეთონ ტრანზაქციები, არ გაამჟღავნონ მგრძნობიარე ინფორმაცია, რაც მნიშვნელოვანია კონფიდენციალურობის მიმართ მგრძნობიარე პირებისთვის და ინსტიტუტებისთვის.

რეილგუნი:

1. რა არის ეს: რეილგუნი არის ეთერიუმის 2-ე ფენის კონფიდენციალურობის პროტოკოლი, რომელიც იყენებს ნულოვანი ცოდნის მტკიცებულებებს, რათა უზრუნველყოს კონფიდენციალური ტრანზაქციები და სმარტ კონტრაქტების ურთიერთქმედება.
2. როგორ მუშაობს: რეილგუნი იყენებს zk-SNARKs-ს, რათა უზრუნველყოს ტრანზაქციები და სმარტ კონტრაქტების ოპერაციები კონფიდენციალური. ეს საშუალებას აძლევს მომხმარებლებს განახორციელონ დეცენტრალიზებული ფინანსური (DeFi) აქტივობები, როგორიცაა ვაჭრობა და სესხი, მათი ტრანზაქციების და ანგარიშების ბალანსების კონფიდენციალურობის შენარჩუნებით.
3. ბაზრის კაპიტალიზაცია: 2024 წლის აგვისტოს მდგომარეობით, რეილგუნის ბაზრის კაპიტალიზაცია დაახლოებით 150 მილიონი დოლარია.
4. ტოკენის ღირებულება: რეილგუნის (RAIL) მიმდინარე ფასი დაახლოებით 1.20 დოლარია.
5. რატომ არის ეს მნიშვნელოვანი: რეილგუნი კონფიდენციალურობას მოაქვს ეთერიუმზე დაფუძნებულ DeFi პლატფორმებზე, რომლებიც არ გააჩნიათ კონფიდენციალურობა, ასე რომ მომხმარებლებს შეუძლიათ ჰქონდეთ კონფიდენციალურობა და დაცვა ზედამხედველობისგან ბლოკჩეინზე.

ტორნადო კეშ:

1. რა არის ეს: ტორნადო კეშ არის დეცენტრალიზებული კონფიდენციალურობის გადაწყვეტა ეთერიუმის ტრანზაქციებისთვის, რომელიც იყენებს zk-SNARKs-ს, რათა გაარღვიოს გამგზავნის და მიმღების შორის on-chain კავშირი, ასე რომ ტრანზაქციები არის კონფიდენციალური. 2. როგორ მუშაობს: მომხმარებლები დეპოზიტირებენ ეთერიუმს ან ERC-20 ტოკენებს ტორნადო კეშში, რომელიც აურევს თანხებს მათი წარმოშობის დასამალად. თანხის გამოტანა შესაძლებელია სხვა მისამართზე, ასე რომ, რთულია თანხების წყაროზე დაბრუნება.
2. ბაზრის კაპიტალიზაცია: 2024 წლის აგვისტოს მდგომარეობით, ტორნადო კეშის TVL დაახლოებით 400 მილიონი დოლარია, მაგრამ მას არ აქვს ტრადიციული ბაზრის კაპიტალიზაცია, როგორც სხვა ტოკენებს.
3. ტოკენის ღირებულება: ტორნადო კეშს არ აქვს ადგილობრივი ტოკენი; ეს არის პროტოკოლი, ვიდრე ტოკენზე დაფუძნებული პროექტი.
4. რატომ არის ეს მნიშვნელოვანი: ტორნადო კეშ უზრუნველყოფს მაღალი ტრანზაქციის კონფიდენციალურობას ეთერიუმზე, ასე რომ ეს ფასეულია მომხმარებლებისთვის, რომლებიც საჭიროებენ ანონიმურობას და სურთ ტრანზაქციის თვალთვალის თავიდან აცილება.

აზტეკი:

1. რა არის ეს: აზტეკი არის ეთერიუმის 2-ე ფენის კონფიდენციალურობის პროტოკოლი, რომელიც იყენებს zk-SNARKs-ს, რათა შესთავაზოს კონფიდენციალური ტრანზაქციები და სმარტ კონტრაქტების ურთიერთქმედება.
2. როგორ მუშაობს: აზტეკი Encrypts transaction data and uses zero-knowledge proofs to validate transactions without revealing sensitive information on the blockchain.
3. ბაზრის კაპიტალიზაცია: 2024 წლის აგვისტოს მდგომარეობით, აზტეკის ბაზრის კაპიტალიზაცია დაახლოებით 80 მილიონი დოლარია.
4. ტოკენის ღირებულება: AZT-ის მიმდინარე ფასი დაახლოებით 2.50 დოლარია.
5. რატომ არის ეს მნიშვნელოვანი: აზტეკი უზრუნველყოფს კონფიდენციალურობას DeFi-ზე ეთერიუმზე, ასე რომ მომხმარებლებს შეუძლიათ გააკეთონ ტრანზაქციები და ურთიერთქმედებები, არ გაამჟღავნონ მათი ფინანსები.

ზკსინკი:

1. რა არის ეს: ზკსინკი არის ეთერიუმის 2-ე ფენის მასშტაბირების გადაწყვეტა, რომელიც იყენებს zk-rollups-ს, რათა გააერთიანოს მრავალი ტრანზაქცია ერთ მტკიცებულებაში, რომელიც შემდეგ ეთერიუმის მთავარი ქსელზე იდება.
2. როგორ მუშაობს: ზკსინკი იყენებს zk-rollups-ს, რათა გაზარდოს ტრანზაქციის გამტარობა და შეამციროს საფასურები, მრავალი ტრანზაქციის ერთ მტკიცებულებაში შეკვრის გზით, რომელიც ეთერიუმზე დადასტურებულია. ეს ინარჩუნებს ეთერიუმის უსაფრთხოებას, ხოლო მასშტაბურობას აუმჯობესებს.
3. ბაზრის კაპიტალიზაცია: 2024 წლის აგვისტოს მდგომარეობით, ზკსინკის TVL დაახლოებით 1.2 მილიარდი დოლარია, მაგრამ მას არ აქვს ტრადიციული ბაზრის კაპიტალიზაცია, როგორც სხვა ტოკენებს.
4. ტოკენის ღირებულება: ზკსინკს აქვს ეკოსისტემის ტოკენები, მაგრამ მას არ აქვს დამოუკიდებელი ტოკენი, რომელიც დამოუკიდებლად ვაჭრობს.
5. რატომ არის ეს მნიშვნელოვანი: ზკსინკი ხდის ეთერიუმს უფრო მასშტაბურ და უფრო იაფად მომხმარებლებისთვის და დეველოპერებისთვის, ხოლო ეთერიუმის ქსელის უსაფრთხოებას ინარჩუნებს. ## ნულოვანი ცოდნის მტკიცებულებების მომავალი

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

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

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

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

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

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

შედეგი

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

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

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

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