რატომ შეცვალა Pearl-მა კონსენსუსი ოთხჯერ 27 000 ბლოკში
Pearl-მა ამ კვირაში mainnet-ის 99 000-ე ბლოკი გადალახა და მასთან ერთად კონსენსუსის მეოთხე ცვლილება 27 065 ბლოკში. ოთხიდან ორი ჰარდფორკი იყო და ორი სოფტფორკი, რაც მნიშვნელოვანია იმისთვის, რა უნდა გაეკეთებინა მაინერს, მაგრამ არა იმისთვის, რატომ მოხდა რომელიმე მათგანი. ასე ახლოს განლაგებული ოთხი განახლება პრობლემებში მყოფ ჯაჭვს ჰგავს. სინამდვილეში თითქმის პირიქითაა. ბლოკების თანმიმდევრობით წაკითხული, ეს არ არის ოთხი ცალკე პრობლემა, ეს ერთი პრობლემაა, ოთხი მხრიდან მიდგომით, და ბოლო მათგანი მას ხურავს. ქვემოთ ყოველი სიმაღლე, წესი და ვერსია წაკითხულია თავად ჯაჭვის კონსენსუსის კოდიდან და არა განცხადებიდან.
რას სთხოვს Pearl მაინერს
დავიწყოთ იმით, რას სთხოვს Pearl მაინერს, რადგან მის გარეშე დანარჩენს აზრი არ აქვს. Pearl-მა mainnet 2026 წლის 27 აპრილს გაუშვა, როგორც პირველი დონის ქსელი, რომელიც თავს მატრიცების გამრავლებით იცავს და არა ჰეშირებით. გამრავლება იგივე მკვრივი წრფივი ალგებრაა, რომელზეც ხელოვნური ინტელექტის წვრთნა და ინფერენსი თითქმის მთელ დროს ხარჯავს. მაინერი GPU-ზე უშვებს ხმაურიან მატრიცულ გამრავლებას, შედეგს ჰეშავს ვალდებულებაში და ამ სამუშაოს ნულოვანი ცოდნის მტკიცებულებაში ახვევს, რათა ქსელმა ის იაფად შეამოწმოს. ქვედა საბაზისო ფენა განზრახ მოსაწყენია, Bitcoin-ის btcd ნოდის ფორკი, რათა ახალი იდეა ძველ და კარგად შესწავლილ საფუძველზე იდგეს.
რატომ არის მნიშვნელოვანი სამუშაოს ფორმა
ახლა ამ იდეის რთული ნაწილი. როცა სამუშაო ჰეშია, მისი შესრულების ზუსტად ერთი გზა არსებობს და ზუსტად ერთი რიცხვი, რომელიც ამბობს, რამდენად რთული იყო. როცა სამუშაო მატრიცული გამრავლებაა, მაინერმა მისი ფორმაც უნდა განაცხადოს: რამდენად დიდია მატრიცები და რამდენი დაბალი რანგის ხმაურია ჩართული. ჯაჭვი GPU-ს ვერასდროს ხედავს. ის ხედავს მტკიცებულებას და იმ სამუშაოს აღწერას, რომელსაც ეს მტკიცებულება ეხება. ოთხივე განახლება ამ აღწერას ეხება და იმას, რომ მისი ყოველი ნაწილის განცხადება რაღაც ღირდეს.
ბლოკი 71 935: ექსპერტთა ნარევის სერტიფიკატი
პირველმა, ჰარდფორკმა 71 935 ბლოკზე, მტკიცებულებები v1 სერტიფიკატიდან v2-ზე გადაიყვანა. განახლებას ჰქვია იმის მიხედვით, რისი აღწერაც შეუძლია ახალ სერტიფიკატს: ექსპერტთა ნარევი (mixture of experts), ფორმა, რომელსაც დიდ მოდელზე რეალური ინფერენსი იღებს, სადაც ყოველი ტოკენისთვის მრავალი ექსპერტიდან მხოლოდ რამდენიმე მუშაობს. მტკიცებულების ფორმატს, რომელსაც მხოლოდ ერთი დიდი მკვრივი გამრავლების აღწერა შეუძლია, ამის მხოლოდ ნაწილის აღწერა შეუძლია. v2 სერტიფიკატი ასევე შეიცავს ველს, რომელიც v1-ს არ ჰქონდა, ხმაურის რანგს, და სწორედ ამ ველმა გახადა მესამე განახლება საერთოდ შესაძლებელი.
ბლოკი 91 630: ჯერჯერობით მხოლოდ dense
მეორემ, სოფტფორკმა 91 630 ბლოკზე, ახლახან გაფართოებული კარი შეავიწროვა: ამ ბლოკიდან ქსელი უარყოფს ექსპერტთა ნარევის მტკიცებულებებს და მხოლოდ მკვრივს იღებს. ეს უკან დახევას ჰგავს, მაგრამ ასე არ არის. სერტიფიკატი v2-ზე დარჩა, ამიტომ ფორმატმა შეინარჩუნა ყველაფერი, რაც მოიპოვა; შეიცვალა ის, რომელი ფორმები ითვლება, სანამ ჯაჭვი ახალგაზრდაა. პროექტს დროის არჩევის მიზეზი არ გამოუქვეყნებია, ამიტომ აქ მკითხველს ეს უნდა ეთქვას და არა მოტივად შეფუთული ვარაუდი მიეწოდოს.
ბლოკი 96 251: რანგი აღარ იხდის
მესამე, სოფტფორკი 96 251 ბლოკზე, ის არის, რომლის რიცხვსაც მაინერი იგრძნობს. რანგი განსაზღვრავს, რამდენი დაბალი რანგის ხმაურია ჩართული გამრავლებაში, და ამ ფორკამდე სამიზნე, რომელიც შეარს უნდა გადაელახა, მარტივდებოდა ფილის ზომისა და სრული სკალარული ნამრავლის სიგრძის ნამრავლის პროპორციულად. ამიტომ რანგის აწევა პროპორციულად მარტივ სამიზნეს იძენდა, მაშინ როცა GPU მეტ რეალურ სამუშაოს არ ასრულებდა: ის ღილაკი, რომელიც წყვეტს, გამოთვლის რა ნაწილია ნამდვილი, იმავდროულად წყვეტდა, რამდენ შეარში გიხდიდნენ. ამ ბლოკიდან იგივე ზღვარი მასშტაბირდება ფილის ზომისა და სკალარული ნამრავლის სიგრძის ნამრავლით, გაყოფილით რანგზე გამრავლებულ 128-ზე, ხოლო 128-ზე დაბალი რანგი პირდაპირ უარიყოფა. ეს ორი გამოსახულება ზუსტად 128 გაყოფილი რანგზე ჯერ განსხვავდება, ამიტომ ეფექტი მაინერზე, რომელიც ჯერ კიდევ ძველ პარამეტრს იყენებს, არითმეტიკაა და არა შეფასება: რანგ 256-ზე სამიზნე იმავე სამუშაოსთვის ორჯერ უფრო რთულია, ვიდრე ადრე, ხოლო რანგ 1024-ზე რვაჯერ.
კონსენსუსის ცვლილებამ, რომელიც ამკაცრებს, რა ითვლება რეალურ სამუშაოდ, შეიძლება აპარატურაც გამოიყვანოს მწყობრიდან, რადგან გამკაცრებული წესი ბიტ-ბიტ უნდა შესრულდეს ნებისმიერ ბარათზე, რომელიც მას ასრულებს. დაკარგა თუ არა რომელიმე კონკრეტულმა GPU თაობამ Pearl-ის მხარდაჭერა ამ ფორკით, ეს თითოეული მაინინგის პროგრამის გამოშვების შენიშვნების საკითხია და არა ჯაჭვის, და ეს სტატია არცერთს არ ასახელებს, რადგან ჯაჭვის კოდი ბარათებზე არაფერს ამბობს. მაინც ღირს ამის შემოწმება, სანამ ერთი მონეტისთვის ბარათს იყიდით.
ბლოკი 99 000: seed ფორმაზეა მიბმული
მეოთხე, ჰარდფორკი 99 000 ბლოკზე, ყველაზე მცირე ცვლილებაა და ყველაზე ადვილად არასწორად აღსაწერი. ხმაური, რომელზეც მაინერი ამრავლებს, მტკიცებულების ორი Merkle ფესვიდან მიიღება. ამ ფორკამდე ეს ფესვები გამოყვანაში დაუმუშავებლად შედიოდა, ამიტომ ხმაური არ იყო დამოკიდებული მატრიცის ზომებზე, რომლებზეც მტკიცებულება ვალდებულებას იღებს. 99 000 ბლოკიდან თითოეული ფესვი ჯერ ერთ-ერთ ამ ზომასთან ირევა, ერთი მწკრივების რაოდენობასთან, მეორე სვეტების რაოდენობასთან, და მხოლოდ ამის შემდეგ ეშვება seed-ის ჯაჭვი. ამიტომ ხმაურის მოცემული ნაწილი ზუსტად ერთ განცხადებულ ფორმას ეკუთვნის. სერტიფიკატის განლაგება ბაიტ-ბაიტ იგივეა, რაც v2, და გადაცემისას კვლავ დაუმუშავებელი ფესვები მიდის; მხოლოდ ვერსიის ნომერი ირჩევს, რომელი გამოყვანა მოქმედებს, რის გამოც ამან მაინერს მხოლოდ ახალი ბინარული ფაილი მოსთხოვა.
რას ნიშნავს ოთხივე ერთად
ოთხივე მწკრივში დააყენეთ და ისინი ერთ წინადადებას ოთხნაირად ამბობენ. ჯაჭვს GPU-ს ყურება არ შეუძლია, ამიტომ ყველაფერი, რასაც მტკიცებულება თავის შესახებ ამტკიცებს, მისი განცხადება რაღაც უნდა ღირდეს. ექსპერტთა ნარევმა გააფართოვა, რისი აღწერაც შეუძლია მტკიცებულებას. მხოლოდ dense-მა შეავიწროვა, რა ითვლება, სანამ ჯაჭვი ახალგაზრდაა. რანგის ჯარიმამ განცხადების შიგნით ერთ ღილაკს მარტივი სამიზნის ყიდვა აუკრძალა. დამარილებულმა სიდმა ხმაურის ერთ ნაწილს ერთზე მეტი განცხადებული ფორმის მომსახურება აუკრძალა. ახალგაზრდა ჯაჭვი, რომელიც ამათ პირველ თვეებში პოულობს და 27 000 ბლოკში ასწორებს, უკეთესი ნიშანია, ვიდრე ახალგაზრდა ჯაჭვი, რომელმაც არცერთი იპოვა.
რას ნიშნავს ეს, თუ PRL-ს მაინინგს უწევთ
პრაქტიკული ნაწილი ყველასთვის, ვინც PRL-ს მაინინგს უწევს. ოთხივე ფიქსირებულ ბლოკზე გააქტიურდა გარდამავალი პერიოდის გარეშე და ოთხივე ერთნაირად ჩუმად ფუჭდება: მოძველებული მაინინგის პროგრამა აგრძელებს სრულიად ჯანსაღი ჰეშრეიტის ჩვენებას, მაშინ როცა მისი შეარები აღარაფრად ითვლება. თქვენს ეკრანზე ჰეშრეიტის რიცხვი ფორკის დღეს მტკიცებულება არ არის. ამის ნაცვლად უყურეთ მიღებული შეარების რაოდენობას და განაახლეთ ბლოკამდე და არა მის შემდეგ. თუ გაერთიანებულ მაინინგს ეწევით, დანაკარგი ორმაგდება, რადგან Pearl-ის არავალიდური შეარი არც დამხმარე ბლოკს ატარებს.
ჩვენს მხარეს თითოეული მათგანი თავისი ფორკის ბლოკამდე იყო მზად, ამიტომ მაინერისთვის ერთადერთი, რაც უნდა შეცვლილიყო, მაინინგის პროგრამის ბინარული ფაილი იყო. იგივე მისამართი, იგივე პორტი, იგივე საფულე.
საიდან არის ეს ციფრები
საიდან მოდის ციფრები, რათა ნებისმიერმა შეძლოს მათი შემოწმება და არა ჩვენი სიტყვის რწმენა: აქტივაციის ოთხი სიმაღლე, ბლოკის დრო და mainnet-ის გენეზისის დროის ნიშნული წაკითხულია ჯაჭვის საკუთარი ქსელის პარამეტრებიდან და გენეზისის განსაზღვრებიდან; რანგის წესი და 128 გაყოფილი რანგზე მაჩვენებელი წაკითხულია მტკიცებულების შემმოწმებლის სისწორის შემოწმებებიდან, სადაც ძველი და ახალი ზღვრები ერთმანეთის გვერდით დგას; ხოლო სერტიფიკატის ვერსიები და დამარილებული გამოყვანა წაკითხულია გადაცემის ფორმატიდან და seed-ის მოდულიდან. ყველაფერი, რასაც კოდი არ აცხადებს, ამ სტატიიდან ამოღებულია და არა შევსებული.