Bulletproofs+ Ipinaliwanag: Paano Pinaliit ng Monero ang Laki ng Transaksyon

Ang isa sa mga pinaka-makabagong karagdagan sa protocol ng Monero sa mga nakaraang taon ay ang Bulletproofs+, isang advanced na cryptographic na teknolohiya na nagpapababa ng laki ng transaksyon ng Monero nang dramatiko habang pinapanatili ang kumpletong privacy. Para sa mga gumagamit ng Monero, nangangahulunan ito ng mas mababang bayarin, mas mabilis na pag-verify ng transaksyon, at mas maliit na espasyo sa disk para sa mga node. Para sa buong Monero network, nangangahulunan ito ng mas mahusay na scalability.

Ngunit kung ano talaga ang Bulletproofs+, at paano nito nagawa ang lahat ng ito nang hindi sinasacrifice ang privacy? Sa artikulong ito, tatalakayin natin ang teknolohiya sa likod ng Bulletproofs+ sa isang paraan na naiintindihan ng kahit sino, kahit na walang malalim na kaalaman sa cryptography.

Ang Background: Bakit Kailangan ang Bulletproofs?

Para maunawaan ang Bulletproofs+, kailangan muna nating maunawaan ang problemang sinusubukan nitong lutasin. Ang Monero ay gumagamit ng Ring Confidential Transactions (RingCT) upang itago ang mga halaga ng transaksyon. Ang RingCT ay gumagamit ng mga Pedersen commitments upang mapatunayan na ang halaga ng mga input sa isang transaksyon ay katumbas ng halaga ng mga output nang hindi inihahayag ang mga aktwal na halaga.

Ngunit may isang problema: paano malalaman ng network na ang halaga ng isang output ay hindi negatibo? Sa mga simpleng tuntunin, paano malalaman ng lahat na ang nagpadala ay hindi naglikha ng pera mula sa wala sa pamamagitan ng pagpasok ng isang negatibong halaga? Ito ang tinatawag na range proof problem.

Ang Orihinal na Solusyon: Borromean Range Proofs

Ang unang bersyon ng RingCT ay gumamit ng mga Borromean ring signatures bilang range proofs. Ang mga ito ay gumagawa ng trabaho ngunit may malaking disbentahe: ang laki nila ay lumago nang linearly kasama ang bilang ng mga output sa isang transaksyon. Para sa isang tipikal na transaksyon na may dalawang output, isa para sa tatanggap at isa para sa change, ang range proof ay maaaring maging ilang kilobytes na may laki, na nagpapataas ng mga bayarin at nagpapabagal sa blockchain.

Ang Pagpapakilala ng Bulletproofs

Noong 2017, isang koponan ng mga mananaliksik ang naglathala ng isang revolutionary na papel na nagpapakita ng isang bagong uri ng cryptographic na katibayan na tinatawag na Bulletproofs. Ang mga Bulletproof ay nagpatunay na maaaring gumawa ng range proofs na ang laki ay logarithmically na lumalaki kaysa linearly. Nangangahulunan ito na ang range proof para sa isang transaksyon na may 1000 outputs ay hindi 1000x mas malaki kaysa sa isa na may 1 output, kundi kaunti lamang na mas malaki. Ito ay isang malaking pagbabago.

Ang Monero ay nag-implement ng Bulletproofs noong Oktubre 2018, na nagresulta sa isang pagbaba ng 80 porsyento sa average na laki ng transaksyon. Ang mga bayarin ay bumaba ng halos kaparehas na halaga, na ginagawang mas abot-kaya ang Monero para sa mga ordinaryong gumagamit.

Ang Pagpasok ng Bulletproofs+

Noong 2020, isang koponan na kinabibilangan ng Sarang Noether ng Monero Research Lab ay naglathala ng isang papel na nagpapabuti pa sa orihinal na Bulletproofs protocol. Ang bagong bersyong ito, na tinatawag na Bulletproofs+, ay nag-aalok ng karagdagang 5-7 porsyentong pagbaba sa laki ng proof kaysa sa orihinal na Bulletproofs, na may karagdagang mga benepisyo sa bilis ng pag-verify.

Ang Monero ay nag-implement ng Bulletproofs+ sa network upgrade ng Agosto 2022, na nagdulot ng karagdagang pagbaba sa mga bayarin at laki ng transaksyon.

Paano Gumagana ang Bulletproofs+ sa Teknikal na Antas

Ang Bulletproofs+ ay isang non-interactive zero-knowledge proof system. Ang zero-knowledge ay nangangahulugang ang prover (ang nagpadala ng transaksyon) ay maaaring patunayan sa verifier (ang network) na ang isang pahayag ay totoo nang hindi nagbubunyag ng anumang karagdagang impormasyon tungkol sa pahayag na iyon.

Sa kaso ng Monero range proofs, ang pahayag ay: Ang halaga ng output na ito ay nasa pagitan ng zero at ang maximum na halaga ng XMR. Ang Bulletproofs+ ay nagbibigay-daan sa nagpadala na patunayan ito nang walang inihahayag na aktwal na halaga.

Mga Pangunahing Bahagi

Ang Bulletproofs+ ay gumagamit ng ilang mga cryptographic na primitibo:

• Pedersen Commitments: Isang uri ng cryptographic commitment scheme na nagbibigay-daan sa nagpadala na mag-commit sa isang halaga nang hindi pa ito inihahayag. Ang commitment ay later ma-verify nang hindi inihahayag ang halaga.
• Inner Product Arguments: Ang puso ng Bulletproofs protocol. Nagbibigay-daan ito sa isang prover na patunayan na ang inner product ng dalawang mga vector ay katumbas ng isang naibigay na halaga, na ang laki ng proof ay log ng laki ng mga vector.
• Elliptic Curve Cryptography: Ang lahat ng operasyon ay isinasagawa sa elliptic curves, na nagbibigay ng mataas na antas ng seguridad sa relatibong maliit na laki ng key.

Batch Verification

Isa sa mga karagdagang benepisyo ng Bulletproofs+ ay ang kakayahang mag-verify ng maraming proofs nang sabay-sabay sa isang prosesong tinatawag na batch verification. Sa halip na i-verify ang bawat proof nang hiwalay, ang mga node ay maaaring mag-verify ng daan-daang proofs nang sabay-sabay na may mas mababang computational cost kaysa sa pag-verify ng bawat isa nang hiwalay. Ito ay nagpapabilis ng blockchain syncing at nagpababa ng computational load sa mga node.

Ang Epekto ng Bulletproofs+ sa Monero Network

Bawas sa Laki ng Transaksyon

Ang pinakamalinaw na epekto ng Bulletproofs+ ay ang pagbaba sa average na laki ng transaksyon ng Monero. Bago ang Bulletproofs (gamit ang Borromean range proofs), ang isang tipikal na Monero transaksyon ay maaaring maging 13-15 KB na may laki. Matapos ang Bulletproofs, ito ay bumaba sa halos 2.5 KB. Sa Bulletproofs+, ito ay bumaba pa nang higit, na nagbibigay ng karagdagang 5-7 porsyentong pagbaba.

Para sa isang network na nagpoproseso ng maraming libo-libong transaksyon bawat araw, ang cumulative savings ay napakalaki. Nangangahulunan ito ng mas maliit na blockchain, mas mababa ang bandwidth para sa mga node, at mas mabilis na sync times para sa mga bagong node.

Pagbaba sa Mga Bayarin

Ang mga bayarin sa Monero ay base sa laki ng transaksyon sa bytes. Sa mas maliit na mga transaksyon, ang mga gumagamit ay nagbabayad ng mas mababang bayarin. Ang pagbaba ng 80 porsyento sa laki mula sa Borromean patungo sa Bulletproofs ay nag-translate sa katulad na pagbaba sa mga bayarin. Ang karagdagang pagbaba mula sa Bulletproofs+ ay nagdagdag pa sa mga savings na ito.

Para sa mga regular na gumagamit ng Monero, nangangahulunan ito ng mas abot-kayang transaksyon, lalo na para sa mga maliliit na pagbabayad kung saan ang mga bayarin ay maaaring maging makabuluhang bahagi ng kabuuang halaga ng transaksyon.

Pagpapabuti ng Scalability

Ang Monero ay nagpapanatili ng isang dynamic block size, na nangangahulugang ang mga bloke ay maaaring lumaki kung ang demand ay tumataas. Ngunit ang mas maliit na mga transaksyon ay nangangahulunan na mas maraming transaksyon ang makakasama sa bawat bloke, na nagpapabuti sa effective throughput ng network nang hindi kinakailangang dagdagan ang block size. Ito ay nagbibigay sa Monero ng mas mahusay na scalability nang hindi nag-aalok ng anumang privacy.

Bulletproofs+ Kumpara sa Iba pang Privacy Tech

Versus Bitcoin Taproot

Ang Bitcoin Taproot upgrade ay nagpabuti rin sa privacy at laki ng transaksyon, ngunit sa isang pundamental na kaibahang paraan. Ang Taproot ay nagpapabuti sa privacy ng mga kumplikadong transaksyon tulad ng mga multi-signature transactions sa pamamagitan ng pagpapahintulot sa kanila na magmukhang katulad ng mga simpleng transaksyon. Gayunpaman, ang lahat ng mga halaga at addresses ay nananatiling visible sa Bitcoin blockchain. Ang Bulletproofs+ ng Monero, sa kabilang banda, ay nagtatago ng mga halaga nang ganap, na nagbibigay ng mas malakas na proteksyon sa privacy.

Versus Zcash zk-SNARKs

Ang Zcash ay gumagamit ng zk-SNARKs para sa mga shielded transactions. Ang mga zk-SNARK ay nagbibigay ng mas maliit na proof sizes kaysa Bulletproofs para sa ilang uri ng mga computation, ngunit ang kanilang setup ay nangangailangan ng isang trusted setup ceremony na, kung makompromiso, maaaring payagan ang isang attacker na lumikha ng pekeng coins nang hindi ito natutuklas. Ang Bulletproofs+ ay walang trusted setup requirement, na ginagawa itong mas ligtas at mas decentralized.

Versus Ethereum ZK-Rollups

Ang Ethereum ay gumagamit ng iba-ibang ZK-proof systems para sa mga Layer 2 na solusyon tulad ng zkSync at StarkNet. Ang mga sistemang ito ay nag-optimize para sa iba-ibang layunin kaysa sa Bulletproofs+ ng Monero. Ang mga ZK-rollup ay pangunahing ginawa para sa scalability, hindi para sa privacy. Ang Bulletproofs+ ay espesipikong na-optimize para sa range proofs sa isang privacy-preserving cryptocurrency context.

Ang Patuloy na Pananaliksik at Hinaharap na Pag-unlad

FCMP++ (Full-Chain Membership Proofs)

Ang Monero Research Lab ay kasalukuyang nagtatrabaho sa isang bagong teknolohiya na tinatawag na Full-Chain Membership Proofs o FCMP++. Ang teknolohiyang ito ay magpapalit sa kasalukuyang ring signature mechanism ng Monero ng isang mas malakas na sistema na nagbibigay ng cryptographic na garantiya na ang nagpadala ng isang transaksyon ay isa sa lahat ng mga gumagamit ng Monero sa buong kasaysayan ng blockchain, hindi lamang sa isang maliit na set ng mga decoy.

Kapag naipatupad na ang FCMP++, ang mga ring proofs ay maaaring pagsamahin sa mga Bulletproofs+ na range proofs para sa isang mas compact at mas mahusay na sistema sa kabuuan.

Iba pang mga Pag-unlad

Ang mga mananaliksik ay patuloy na naghahanap ng mga paraan upang mapabuti ang kahusayan ng Bulletproofs. Ang mga ideya tulad ng aggregation (pagsasama ng maraming proofs sa isa) at mga espesyalisadong circuit optimization ay maaaring magbigay ng karagdagang mga pagbaba sa laki at pagpapabilis ng verification sa hinaharap.

Paano Nakakaapekto ang Bulletproofs+ sa mga Ordinaryong Gumagamit ng Monero

Para sa karaniwang gumagamit ng Monero, ang Bulletproofs+ ay gumagana sa background nang walang anumang aksyon na kinakailangan mula sa kanilang panig. Ang mga wallet software ay awtomatikong gumagamit ng Bulletproofs+ kapag gumagawa ng mga transaksyon, at ang mga node ay awtomatikong nag-ve-verify ng mga Bulletproof+ proofs kapag nagpoproseso ng mga transaksyon.

Ang mga nakikitang benepisyo para sa mga ordinaryong gumagamit ay:

• Mas mababang bayarin sa transaksyon
• Mas mabilis na pag-sync ng blockchain para sa mga bagong gumagamit
• Mas maliit na storage requirements para sa mga nagpapatakbo ng full node
• Mas mabilis na pag-verify ng transaksyon sa mga mobile wallet

Teknikal na FAQ tungkol sa Bulletproofs+

Ligtas ba ang Bulletproofs+?

Oo. Ang Bulletproofs+ ay base sa mga well-established na cryptographic na primitive at ang protocol ay na-audit ng maraming mga independenteng mananaliksik. Ang security proof nito ay hindi nangangailangan ng anumang trusted setup, na nangangahulugang walang toxic waste na maaaring makompromiso ang seguridad ng sistema.

Posible bang Malaman ang mga Nakatagong Halaga?

Hindi. Ang Bulletproofs+ ay nagbibigay ng zero-knowledge property, nangangahuluyang ang isang verifier ay walang natututo tungkol sa aktwal na halaga mula sa proof, maliban sa katotohanan na ang halaga ay nasa valid range. Ang seguridad nito ay base sa discrete logarithm problem, na sa kasalukuyan ay itinuturing na hindi malulutas nang praktikal ng kahit anong kilalang algorithm.

Nakakaapekto ba ang Bulletproofs+ sa Decentralization?

Sa positibong paraan. Sa pamamagitan ng pagbabago ng mga transaksyon na mas maliit, ang Bulletproofs+ ay nagpapababa ng computational at storage requirements para sa pagpapatakbo ng isang Monero node, na nagiging mas madali ang pag-join sa network at nag-aambag sa decentralization nito.

Konklusyon

Ang Bulletproofs+ ay kumakatawan sa isang mahalagang technical achievement sa kasaysayan ng Monero at ng privacy cryptocurrency sa kabuuan. Sa pamamagitan ng paggamit ng advanced cryptographic techniques, pinapanatili ng Monero ang ganap na privacy ng transaksyon habang patuloy na nagpapabuti ng kahusayan, pagbabawas ng mga bayarin, at pagpapabuti ng scalability.

Para sa mga gumagamit ng Monero, ang Bulletproofs+ ay nangangahulugang ang kanilang mga pribadong transaksyon ay hindi lamang mas ligtas, ngunit mas abot-kaya at mas mabilis din kaysa dati. At para sa buong Monero network, ito ay nangangahulugang isang mas sustainable at scalable na kinabukasan na hindi kinakailangang isakripisyo ang privacy na nagpapakilala sa Monero mula sa iba pang mga cryptocurrency.

Ang patuloy na pananaliksik ng Monero Research Lab at ng mas malawak na cryptographic community ay nagtitiyak na ang mga teknikal na pundasyon ng Monero ay patuloy na magiging state-of-the-art, habang pinapanatili ang mataas na pamantayan ng privacy at decentralization na inaasahan ng mga gumagamit ng Monero.