Kā CLSAG uzlabos Monero efektivitāti

Kā protokols, Monero pašlaik ir pastāvīgas inovācijas stāvoklī. Izmantojot pētījumus gan ķēdē, gan ārpus ķēdes risinājumos, Monero kopiena meklē jomas, kuras jāuzlabo, lai padarītu Monero privātāku, vieglāk paplašināmu un pieejamu visiem. Viens no pēdējiem jauninājumiem ir saistāmās gredzenveida parakstu shēmas MLSAG aizstāšana ar ievietošanas nomaiņu CLSAG, kas nozīmē Concise Linkable Spontaneous Anonymous Group.

Virspusējā līmenī CLSAG ieviešana par 25% samazinās izplatītākos 2 ievades, 2 izvades darījumus. Mēs arī redzēsim par 10% mazāku apstiprināšanas laiku.

Bet kas īsti ir CLSAG? Ko tas dara un kā tas atšķiras no vecās versijas MLSAG? Atvēlēsim minūti, lai atgādinātu sev par to, kāpēc un kā tiek izmantoti gredzenveida paraksti, lai mēs varētu labāk izprast šo jēdzienu. Gredzenveida paraksti nodrošina neinteraktīvus, neatšķiramus ievades datus, izmantojot parakstītāja atlasītas iepriekšējo izvadu anonimitātes grupas. Īsāk sakot, tas ļauj lietotājam slēpt savus pārskaitījumā izmantotos rezultātus starp nesaistītiem rezultātiem, un viņi to visu var izdarīt, nevienam citam nepiedaloties. Viss, kas jums nepieciešams, ir blokķēdes kopija. Katra no šīm izvadēm var būt īstā nosūtītā ar vienlīdz lielu varbūtību, tādējādi slēpjot metadatus par sūtītāju.

Tomēr tas rada nelielas problēmas. Kā būtu, ja lietotājs izveidotu gredzena parakstu tikai ar mānekļa izvadiem? Kā lai kāds zinātu, ka nezināmajam sūtītājam nav tiesību nosūtīt kādu no tiem? Vai šis lietotājs varētu tērēt viltotu naudu? Atbilde ir nē. Gredzenveida paraksts ietver metodi, lai pierādītu, ka vismaz viens no izvadiem pieder nezināmam sūtītājam, neatklājot, kurš tas ir. Faktiski gan CLSAG, gan MLSAG (turpmāk SAG) ir daļa no gredzena paraksta, kas to pierāda. Interesanti, ka tajā pašā laikā tas pierāda, ka darījuma summa, kaut arī slēpjas aiz konfidenciāliem pārskaitījumiem (RingCT), ir līdzsvarā. Tas, ka SAG pierāda divas lietas - ka viena izvade pieder kādam gredzena dalībniekam un ka darījums ir līdzsvarots - arī ir izmēra un pārbaudes ietaupījumu pamatā. Ja tas kļūst mulsinoši, neuztraucieties, mēs drīzumā nonāksim pie jautras un viegli saprotamas analoģijas.

Vecā parakstu shēma MLSAG (multilayed Linkable Spontaneous Anonymous Group) pierāda iepriekš minētās divas lietas gredzenveida parakstā, taču tā dara katru atsevišķi. Atsevišķu aprēķinu izmantošana parakstīšanas un saistību atslēgām nozīmē lēnākas darbības. Mūsdienīgs dators var veikt šos aprēķinus dažās milisekundēs, kas nešķiet daudz, un vienam pārskaitījumam tā arī nav. Bet, ja ņemam vērā Monero blokķēdē veikto pārskaitījumu skaitu un to, ka makam, kas sinhronizējas no nulles, būs jālejupielādē un jāpārbauda katrs no tiem, baiti un milisekundes ātri sakrājas.

CLSAG apvieno matemātiku, kas nepieciešama, lai pierādītu abus vienā, kā arī aprēķina abus vienlaikus, turklāt tas tiek darīts drošā veidā. Ko nozīmē drošā veidā? Lai to noskaidrotu un, cerams, padarītu visu saprotamu, aplūkosim šo solīto jautro analoģiju.

Pieņemsim, ka jums ir jāiet gan uz pārtikas preču veikalu, gan datortehnikas veikalu, lai paņemtu divas dažādas lietas: pārtiku un toksiskas tīrīšanas ķimikālijas. Jūs nevēlaties, lai tie sajaucas, jo, ja ķīmiskās vielas izlīs uz pārtikas, tā kļūs neēdama. Jūs nolemjat būt īpaši drošs un braukt no savas mājas uz pārtikas veikalu, nopirkt pārtiku un pēc tam doties atpakaļ uz savu māju. Tikai pēc pārtikas izkraušanas jūs atkal iekāpjat automašīnā, braucat uz datortehnikas veikalu un atpakaļ uz māju ar ķimikālijām. Jūs esat veicis divus atsevišķus braucienus, lai nodrošinātu visu pirkumu drošību. Lai gan tas patiešām ir droši, tas ir neefektīvi. Tas atspoguļo MLSAG, kur tiek glabātas divas dažādas matemātiskas kopas un veikti divi dažādi “izbraucieni”, lai tās aprēķinātu.

Tomēr jūs nolemjat, ka vēlaties to izdarīt ātrāk. Šādi tiek izniekots pārāk daudz laika. Protams, to darot vienu vai divas reizes, jūs nepalaidīsiet garām visu dzīvi, taču, darot to atkal un atkal, stundas sakrājas. Jūs sākat domāt, vai tā vietā varat veikt vienu braucienu. No jūsu mājas uz pārtikas veikalu, tad uz datortehnikas veikalu un atpakaļ uz mājām. Jūs nevarat vienkārši iemest visu savā automašīnā. Tas nav droši. Tā vietā jūs savā automašīnā iezīmējat dažādas vietas dažādām lietām un pārliecināties, ka viss stabili atrodas savās vietās. To darot, jūs varat droši doties vienā braucienā uz abiem veikaliem un turēt lietas tālāk viena no otras. Tas apzīmē CLSAG. Tagad pārskaitījumā ir saglabāta tikai viena matemātikas kopa, lai pierādītu šīs divas lietas, un tas tiek darīts tā, ka tā netraucē viena otrai. Braucieni joprojām ir jāveic, taču jūs esat diezgan krasi samazinājis to skaitu.

Tas viss izklausās diezgan aizraujoši. Vai ir iespējams atrast citus īsceļus vai citus veidus, kā ietaupīt laiku un vietu? Atbilde ir jā un nē. Saskaņā ar pašreizējiem MRL pētniekiem, visticamāk, nav iespējams turpināt modificēt SAG tipa konstrukcijas, lai nodrošinātu labāku izmēru vai ātrumu; tomēr citas konstrukcijas, piemēram, Arcturus, Omniring, RCT3 vai Triptych, rada daudz labākas izmēra paplašināšanas un pārbaudes priekšrocības, izmantojot dažādas matemātiskās metodes. Tomēr katrai no šīm "nākamās paaudzes" pieejām neskaidra parakstītāja protokoliem ir savi kompromisi ieviešanas detaļās, un tiek veikta aktīva izpēte un izmeklēšana.

Galu galā, Monero vienmēr rada jauninājumus.