ການເຮັດທຸລະກໍາທີ່ເປັນຄວາມລັບໃນ Monero, ຫຼືວິທີການໂອນສິ່ງທີ່ບໍ່ຮູ້ໄປຫາປາຍທາງທີ່ບໍ່ຮູ້ຈັກ

ພວກເຮົາສືບຕໍ່ຊຸດຂອງພວກເຮົາກ່ຽວກັບ Monero blockchain, ແລະບົດຄວາມໃນມື້ນີ້ຈະສຸມໃສ່ການ RingCT (Ring Confidential Transactions) protocol, ເຊິ່ງແນະນໍາການເຮັດທຸລະກໍາທີ່ເປັນຄວາມລັບແລະລາຍເຊັນແຫວນໃຫມ່. ແຕ່ຫນ້າເສຍດາຍ, ມີຂໍ້ມູນພຽງເລັກນ້ອຍໃນອິນເຕີເນັດກ່ຽວກັບວິທີການເຮັດວຽກ, ແລະພວກເຮົາໄດ້ພະຍາຍາມຕື່ມຂໍ້ມູນໃສ່ຊ່ອງຫວ່າງນີ້.

ພວກເຮົາຈະສົນທະນາກ່ຽວກັບວິທີການເຄືອຂ່າຍເຊື່ອງຈໍານວນການໂອນໂດຍໃຊ້ໂປໂຕຄອນນີ້, ເປັນຫຍັງພວກເຂົາຈຶ່ງປະຖິ້ມລາຍເຊັນຂອງວົງແຫວນ cryptonote ຄລາສສິກ, ແລະວິທີການເຕັກໂນໂລຢີນີ້ຈະພັດທະນາຕື່ມອີກ.

ເນື່ອງຈາກວ່າໂປໂຕຄອນນີ້ແມ່ນຫນຶ່ງໃນເຕັກໂນໂລຢີທີ່ສັບສົນທີ່ສຸດໃນ Monero, ຜູ້ອ່ານຈະຕ້ອງມີຄວາມຮູ້ພື້ນຖານຂອງການອອກແບບ blockchain ນີ້ແລະຄວາມຮູ້ທີ່ຜ່ານໄປຂອງ cryptography elliptic curve (ເພື່ອທົບທວນຄວາມຮູ້ນີ້, ທ່ານສາມາດອ່ານບົດທໍາອິດຂອງພວກເຮົາ. ບົດຄວາມທີ່ຜ່ານມາກ່ຽວກັບ ຫຼາຍລາຍເຊັນ).

ພິທີການ RingCT

ຫນຶ່ງໃນການໂຈມຕີທີ່ເປັນໄປໄດ້ກ່ຽວກັບສະກຸນເງິນ cryptonote ແມ່ນການວິເຄາະ blockchain ໂດຍອີງໃສ່ຄວາມຮູ້ກ່ຽວກັບຈໍານວນແລະເວລາຂອງທຸລະກໍາທີ່ສົ່ງ. ນີ້ອະນຸຍາດໃຫ້ ຮັດແຄບພື້ນທີ່ຊອກຫາທາງອອກທີ່ສົນໃຈຂອງຜູ້ໂຈມຕີ. ເພື່ອປົກປ້ອງການວິເຄາະດັ່ງກ່າວ, Monero ໄດ້ປະຕິບັດອະນຸສັນຍາການເຮັດທຸລະກໍາທີ່ບໍ່ເປີດເຜີຍຊື່ທີ່ປິດບັງຈໍານວນການໂອນຢູ່ໃນເຄືອຂ່າຍຢ່າງສົມບູນ.

ມັນເປັນມູນຄ່າທີ່ສັງເກດວ່າຄວາມຄິດຂອງການປິດບັງປະລິມານບໍ່ແມ່ນເລື່ອງໃຫມ່. ນັກພັດທະນາ Bitcoin Core Greg Maxwell ແມ່ນຫນຶ່ງໃນຜູ້ທໍາອິດທີ່ອະທິບາຍມັນຢູ່ໃນລາວ ບົດຄວາມ ທຸລະກຳທີ່ເປັນຄວາມລັບ. ການປະຕິບັດໃນປະຈຸບັນຂອງ RingCT ແມ່ນການດັດແກ້ທີ່ມີຄວາມເປັນໄປໄດ້ຂອງການນໍາໃຊ້ລາຍເຊັນວົງແຫວນ (ບໍ່ວ່າຈະບໍ່ມີພວກມັນ), ແລະນັ້ນແມ່ນວິທີທີ່ມັນມີຊື່ - Ring Confidential Transactions.

ໃນບັນດາສິ່ງອື່ນໆ, ໂປໂຕຄອນຊ່ວຍກໍາຈັດບັນຫາທີ່ມີການຜະສົມຜະສານຂີ້ຝຸ່ນ - ຜົນຜະລິດໃນຈໍານວນຂະຫນາດນ້ອຍ (ໂດຍປົກກະຕິໄດ້ຮັບໃນຮູບແບບຂອງການປ່ຽນແປງຈາກການເຮັດທຸລະກໍາ), ເຊິ່ງສ້າງບັນຫາຫຼາຍກ່ວາມູນຄ່າ.

ໃນເດືອນມັງກອນ 2017, ຄວາມແຂງກະດ້າງຂອງເຄືອຂ່າຍ Monero ໄດ້ເກີດຂຶ້ນ, ອະນຸຍາດໃຫ້ນໍາໃຊ້ທາງເລືອກໃນການເຮັດທຸລະກໍາທີ່ເປັນຄວາມລັບ. ແລະແລ້ວໃນເດືອນກັນຍາຂອງປີດຽວກັນ, ກັບຮຸ່ນ 6 hard fork, ການເຮັດທຸລະກໍາດັ່ງກ່າວໄດ້ກາຍເປັນອັນດຽວທີ່ອະນຸຍາດໃຫ້ຢູ່ໃນເຄືອຂ່າຍ.

RingCT ໃຊ້ກົນໄກຫຼາຍອັນພ້ອມກັນ: ລາຍເຊັນກຸ່ມທີ່ບໍ່ເປີດເຜີຍຕົວຕົນທີ່ເຊື່ອມໂຍງຫຼາຍຊັ້ນ (Multilayered Linkable Spontaneous Anonymous Group Signature, ຕໍ່ໄປນີ້ເອີ້ນວ່າ MLSAG), ໂຄງການຄໍາຫມັ້ນສັນຍາ (Pedersen ຄໍາຫມັ້ນສັນຍາ) ແລະຫຼັກຖານສະແດງໄລຍະ (ຄໍານີ້ບໍ່ມີການແປເປັນພາສາລັດເຊຍ). .

ອະນຸສັນຍາ RingCT ແນະນໍາສອງປະເພດຂອງທຸລະກໍາທີ່ບໍ່ເປີດເຜີຍຊື່: ງ່າຍດາຍແລະເຕັມ. wallet ຜະລິດຄັ້ງທໍາອິດໃນເວລາທີ່ທຸລະກໍາໃຊ້ຫຼາຍກ່ວາຫນຶ່ງ input, ທີສອງ - ໃນສະຖານະການກົງກັນຂ້າມ. ພວກມັນແຕກຕ່າງກັນໃນການກວດສອບຈໍານວນການເຮັດທຸລະກໍາແລະຂໍ້ມູນທີ່ເຊັນດ້ວຍລາຍເຊັນ MLSAG (ພວກເຮົາຈະສົນທະນາເພີ່ມເຕີມກ່ຽວກັບເລື່ອງນີ້ຂ້າງລຸ່ມນີ້). ຍິ່ງໄປກວ່ານັ້ນ, ການເຮັດທຸລະກໍາຂອງປະເພດເຕັມສາມາດຖືກສ້າງຂຶ້ນດ້ວຍຈໍານວນວັດສະດຸປ້ອນ, ບໍ່ມີຄວາມແຕກຕ່າງພື້ນຖານ. ໃນຫນັງສື "ສູນເຖິງ Monero" ໃນເລື່ອງນີ້, ມັນໄດ້ຖືກກ່າວວ່າການຕັດສິນໃຈທີ່ຈະຈໍາກັດການເຮັດທຸລະກໍາຢ່າງເຕັມທີ່ກັບວັດສະດຸປ້ອນຫນຶ່ງແມ່ນໄດ້ຖືກດໍາເນີນຢ່າງໄວວາແລະອາດຈະມີການປ່ຽນແປງໃນອະນາຄົດ.

ລາຍເຊັນ MLSAG

ຂໍໃຫ້ຈື່ໄວ້ວ່າສິ່ງທີ່ເຊັນເຂົ້າໃນການເຮັດທຸລະກໍາແມ່ນຫຍັງ. ແຕ່ລະທຸລະກໍາໃຊ້ຈ່າຍແລະສ້າງເງິນຈໍານວນຫນຶ່ງ. ການຜະລິດເງິນທຶນເກີດຂື້ນໂດຍການສ້າງຜົນຜະລິດທຸລະກໍາ (ການປຽບທຽບໂດຍກົງແມ່ນໃບບິນຄ່າ), ແລະຜົນຜະລິດທີ່ເຮັດທຸລະກໍາໃຊ້ຈ່າຍ (ຫຼັງຈາກທັງຫມົດ, ໃນຊີວິດຈິງພວກເຮົາໃຊ້ບັດທະນາຄານ) ກາຍເປັນວັດສະດຸປ້ອນ (ລະວັງ, ມັນງ່າຍທີ່ຈະສັບສົນ. ນີ້).

ວັດສະດຸປ້ອນອ້າງອີງຫຼາຍຜົນໄດ້ຮັບ, ແຕ່ໃຊ້ພຽງແຕ່ອັນດຽວ, ດັ່ງນັ້ນຈຶ່ງສ້າງ "smokescreen" ເພື່ອເຮັດໃຫ້ມັນຍາກທີ່ຈະວິເຄາະປະຫວັດການແປ. ຖ້າທຸລະກໍາມີຫຼາຍກວ່າຫນຶ່ງວັດສະດຸປ້ອນ, ຫຼັງຈາກນັ້ນໂຄງສ້າງດັ່ງກ່າວສາມາດເປັນຕົວແທນເປັນ matrix, ບ່ອນທີ່ແຖວເກັດທີ່ຢູ່ແມ່ນວັດສະດຸປ້ອນແລະຖັນແມ່ນຜົນຜະສົມຜະສານ. ເພື່ອພິສູດກັບເຄືອຂ່າຍວ່າທຸລະກໍາໃຊ້ຈ່າຍຜົນຜະລິດຂອງມັນຢ່າງແທ້ຈິງ (ຮູ້ລະຫັດລັບຂອງພວກເຂົາ), ວັດສະດຸປ້ອນໄດ້ຖືກເຊັນດ້ວຍລາຍເຊັນວົງ. ລາຍເຊັນດັ່ງກ່າວຮັບປະກັນວ່າຜູ້ລົງນາມໄດ້ຮູ້ກະແຈລັບສໍາລັບອົງປະກອບທັງຫມົດຂອງຄໍລໍາໃດໆ.

ທຸລະກຳທີ່ເປັນຄວາມລັບບໍ່ໄດ້ໃຊ້ແບບເກົ່າອີກຕໍ່ໄປ cryptonote ລາຍເຊັນວົງແຫວນ, ພວກມັນຖືກແທນທີ່ດ້ວຍ MLSAG - ສະບັບຂອງລາຍເຊັນວົງແຫວນຊັ້ນດຽວທີ່ຄ້າຍຄືກັນທີ່ດັດແປງສໍາລັບການປ້ອນຂໍ້ມູນຫຼາຍອັນ, LSAG.

ພວກມັນຖືກເອີ້ນວ່າ multilayer ເພາະວ່າພວກເຂົາເຊັນຫຼາຍ inputs ໃນເວລາດຽວກັນ, ແຕ່ລະອັນແມ່ນປະສົມກັບຫຼາຍໆອັນ, i.e. matrix ແມ່ນເຊັນ, ແລະບໍ່ແມ່ນແຖວດຽວ. ດັ່ງທີ່ພວກເຮົາຈະເຫັນຕໍ່ມາ, ນີ້ຈະຊ່ວຍປະຫຍັດຂະຫນາດລາຍເຊັນ.

ຂໍໃຫ້ເບິ່ງວິທີການລົງລາຍເຊັນຂອງວົງແຫວນ, ໂດຍໃຊ້ຕົວຢ່າງຂອງການເຮັດທຸລະກໍາທີ່ໃຊ້ 2 ຜົນໄດ້ຮັບທີ່ແທ້ຈິງແລະນໍາໃຊ້ m - 1 ແບບສຸ່ມຈາກ blockchain ສໍາລັບການປະສົມ. ໃຫ້ພວກເຮົາສະແດງລະຫັດສາທາລະນະຂອງຜົນໄດ້ຮັບທີ່ພວກເຮົາໃຊ້ເປັນ
, ແລະຮູບພາບທີ່ສໍາຄັນສໍາລັບພວກເຂົາຕາມຄວາມເຫມາະສົມ: ດັ່ງນັ້ນ, ພວກເຮົາໄດ້ຮັບ matrix ຂອງຂະຫນາດ 2 x ມ. ທໍາອິດ, ພວກເຮົາຈໍາເປັນຕ້ອງຄິດໄລ່ອັນທີ່ເອີ້ນວ່າສິ່ງທ້າທາຍສໍາລັບແຕ່ລະຄູ່ຂອງຜົນໄດ້ຮັບ:

ພວກເຮົາເລີ່ມຕົ້ນການຄິດໄລ່ດ້ວຍຜົນໄດ້ຮັບ, ເຊິ່ງພວກເຮົາໃຊ້ເວລາໂດຍໃຊ້ລະຫັດສາທາລະນະຂອງພວກເຂົາ:ແລະຕົວເລກແບບສຸ່ມດັ່ງນັ້ນ, ພວກເຮົາໄດ້ຮັບຄ່າດັ່ງຕໍ່ໄປນີ້:
, ທີ່ພວກເຮົາໃຊ້ເພື່ອຄິດໄລ່ສິ່ງທ້າທາຍ
ຄູ່ຕໍ່ໄປຂອງຜົນໄດ້ຮັບ (ເພື່ອເຮັດໃຫ້ມັນງ່າຍຕໍ່ການເຂົ້າໃຈສິ່ງທີ່ພວກເຮົາກໍາລັງປ່ຽນແທນທີ່, ພວກເຮົາໄດ້ເນັ້ນໃຫ້ເຫັນຄ່າເຫຼົ່ານີ້ໃນສີທີ່ແຕກຕ່າງກັນ). ທຸກໆຄ່າຕໍ່ໄປນີ້ຖືກຄິດໄລ່ເປັນວົງມົນໂດຍໃຊ້ສູດທີ່ໄດ້ໃຫ້ໄວ້ໃນຕົວຢ່າງທໍາອິດ. ສິ່ງສຸດທ້າຍທີ່ຈະຄິດໄລ່ແມ່ນສິ່ງທ້າທາຍສໍາລັບຄູ່ຂອງຜົນໄດ້ຮັບທີ່ແທ້ຈິງ.

ດັ່ງທີ່ພວກເຮົາສາມາດເຫັນໄດ້, ຖັນທັງຫມົດຍົກເວັ້ນຫນຶ່ງທີ່ມີຜົນໄດ້ຮັບທີ່ແທ້ຈິງໃຊ້ຕົວເລກທີ່ສ້າງຂຶ້ນແບບສຸ່ມ. ສຳ ລັບ π- ຖັນພວກເຮົາຍັງຕ້ອງການໃຫ້ເຂົາເຈົ້າ. ໃຫ້ຫັນປ່ຽນໃນ s:
ລາຍເຊັນຕົວມັນເອງແມ່ນ tuple ຂອງຄ່າທັງຫມົດເຫຼົ່ານີ້:

ຂໍ້ມູນນີ້ຈະຖືກຂຽນເຂົ້າໄປໃນທຸລະກໍາ.

ດັ່ງທີ່ພວກເຮົາສາມາດເຫັນໄດ້, MLSAG ມີພຽງແຕ່ຫນຶ່ງສິ່ງທ້າທາຍ c0, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານປະຫຍັດຂະຫນາດລາຍເຊັນ (ເຊິ່ງຕ້ອງການພື້ນທີ່ຫຼາຍແລ້ວ). ນອກຈາກນັ້ນ, ຜູ້ກວດກາໃດໆ, ການນໍາໃຊ້ຂໍ້ມູນ, ຟື້ນຟູຄ່າ c1,…, cm ແລະກວດເບິ່ງວ່າ. ດັ່ງນັ້ນ, ແຫວນຂອງພວກເຮົາຖືກປິດລົງແລະລາຍເຊັນໄດ້ຖືກກວດສອບແລ້ວ.

ສໍາລັບການເຮັດທຸລະກໍາ RingCT ຂອງປະເພດເຕັມ, ເສັ້ນຫນຶ່ງເພີ່ມເຕີມແມ່ນເພີ່ມໃສ່ matrix ດ້ວຍຜົນຜະລິດປະສົມ, ແຕ່ພວກເຮົາຈະເວົ້າກ່ຽວກັບເລື່ອງນີ້ຂ້າງລຸ່ມນີ້.

ຄໍາຫມັ້ນສັນຍາ Pedersen

ໂຄງການພັນທະ (ຄໍາຫມັ້ນສັນຍາໃນຄໍາສັບພາສາອັງກິດແມ່ນຖືກນໍາໃຊ້ເລື້ອຍໆ) ຖືກນໍາໃຊ້ເພື່ອໃຫ້ຝ່າຍຫນຶ່ງສາມາດພິສູດວ່າພວກເຂົາຮູ້ຄວາມລັບທີ່ແນ່ນອນ (ຈໍານວນ) ໂດຍບໍ່ມີການເປີດເຜີຍຕົວຈິງ. ຕົວຢ່າງ, ທ່ານມ້ວນຕົວເລກທີ່ແນ່ນອນໃສ່ລູກເຫຼັ້ມ, ພິຈາລະນາຄໍາຫມັ້ນສັນຍາແລະສົ່ງຕໍ່ໃຫ້ຝ່າຍກວດສອບ. ດັ່ງນັ້ນ, ໃນເວລານີ້ຂອງການເປີດເຜີຍຕົວເລກລັບ, ຜູ້ກວດສອບໄດ້ຄິດໄລ່ຄໍາຫມັ້ນສັນຍາຢ່າງເປັນອິດສະຫຼະ, ດັ່ງນັ້ນໃຫ້ແນ່ໃຈວ່າເຈົ້າບໍ່ໄດ້ຫລອກລວງລາວ.

ຄໍາຫມັ້ນສັນຍາ Monero ຖືກນໍາໃຊ້ເພື່ອຊ່ອນຈໍານວນການໂອນແລະນໍາໃຊ້ທາງເລືອກທົ່ວໄປທີ່ສຸດ - ຄໍາຫມັ້ນສັນຍາ Pedersen. ໂດຍວິທີທາງການ, ຄວາມຈິງທີ່ຫນ້າສົນໃຈ - ທໍາອິດນັກພັດທະນາໄດ້ສະເຫນີການປິດບັງປະລິມານໂດຍການປະສົມທໍາມະດາ, ນັ້ນແມ່ນ, ການເພີ່ມຜົນຜະລິດສໍາລັບປະລິມານທີ່ຕົນເອງມັກເພື່ອແນະນໍາຄວາມບໍ່ແນ່ນອນ, ແຕ່ຫຼັງຈາກນັ້ນພວກເຂົາໄດ້ປ່ຽນໄປສູ່ຄໍາຫມັ້ນສັນຍາ (ມັນບໍ່ແມ່ນຄວາມຈິງທີ່ວ່າພວກເຂົາໄດ້ບັນທຶກໄວ້. ຂະຫນາດການເຮັດທຸລະກໍາ, ດັ່ງທີ່ພວກເຮົາຈະເຫັນຂ້າງລຸ່ມນີ້).
ໂດຍທົ່ວໄປ, ຄໍາຫມັ້ນສັນຍາເບິ່ງຄືວ່ານີ້:
ບ່ອນໃດ C - ຄວາມ​ຫມາຍ​ຂອງ​ຄໍາ​ຫມັ້ນ​ສັນ​ຍາ​ຕົວ​ມັນ​ເອງ​, a - ຈໍາ​ນວນ​ທີ່​ເຊື່ອງ​ໄວ້​, H ເປັນຈຸດຄົງທີ່ຢູ່ໃນເສັ້ນໂຄ້ງຮູບສ້ວຍ (ເຄື່ອງກໍາເນີດເພີ່ມເຕີມ), ແລະ x — ບາງ​ປະ​ເພດ​ຂອງ​ຫນ້າ​ກາກ​ໂດຍ​ຕົນ​ເອງ​, ເປັນ​ປັດ​ໄຈ​ເຊື່ອງ​ການ​ຜະ​ລິດ​ໂດຍ​ສຸ່ມ​. ຫນ້າກາກແມ່ນຈໍາເປັນຢູ່ທີ່ນີ້ເພື່ອໃຫ້ພາກສ່ວນທີສາມບໍ່ສາມາດຄາດເດົາມູນຄ່າຂອງຄໍາຫມັ້ນສັນຍາໄດ້.

ເມື່ອຜົນຜະລິດໃຫມ່ຖືກສ້າງຂື້ນ, ກະເປົ໋າຈະຄິດໄລ່ຄໍາຫມັ້ນສັນຍາສໍາລັບມັນ, ແລະເມື່ອໃຊ້ຈ່າຍ, ມັນໃຊ້ເວລາທັງມູນຄ່າທີ່ຄິດໄລ່ໃນລະຫວ່າງການຜະລິດຫຼືຄິດໄລ່ຄືນໃຫມ່, ຂຶ້ນກັບປະເພດຂອງທຸລະກໍາ.

RingCT ງ່າຍດາຍ

ໃນກໍລະນີຂອງການເຮັດທຸລະກໍາ RingCT ງ່າຍດາຍ, ເພື່ອຮັບປະກັນວ່າທຸລະກໍາທີ່ສ້າງຜົນໄດ້ຮັບໃນຈໍານວນເທົ່າກັບຈໍານວນວັດສະດຸປ້ອນ (ບໍ່ໄດ້ຜະລິດເງິນອອກຈາກອາກາດບາງໆ), ມັນເປັນສິ່ງຈໍາເປັນທີ່ລວມຂອງຄໍາຫມັ້ນສັນຍາຂອງຄັ້ງທໍາອິດແລະທີສອງ. ພວກມັນຄືກັນ, ນັ້ນແມ່ນ:

ຄະນະກໍາມະການຄໍາຫມັ້ນສັນຍາພິຈາລະນາວ່າມັນແຕກຕ່າງກັນເລັກນ້ອຍ - ໂດຍບໍ່ມີຫນ້າກາກ:
ບ່ອນທີ່ a — ຈໍາ​ນວນ​ເງິນ​ຂອງ​ຄະ​ນະ​ກໍາ​ມະ​ການ​, ມັນ​ແມ່ນ​ສາ​ທາ​ລະ​ນະ​.

ວິທີການນີ້ອະນຸຍາດໃຫ້ພວກເຮົາພິສູດໃຫ້ພາກສ່ວນທີ່ອີງໃສ່ວ່າພວກເຮົາກໍາລັງໃຊ້ປະລິມານດຽວກັນໂດຍບໍ່ມີການເປີດເຜີຍໃຫ້ເຂົາເຈົ້າ.

ເພື່ອເຮັດໃຫ້ສິ່ງທີ່ຊັດເຈນຂຶ້ນ, ໃຫ້ເບິ່ງຕົວຢ່າງ. ສົມມຸດວ່າການເຮັດທຸລະກໍາໃຊ້ສອງຜົນຜະລິດ (ຫມາຍຄວາມວ່າພວກມັນກາຍເປັນວັດສະດຸປ້ອນ) ຂອງ 10 ແລະ 5 XMR ແລະສ້າງສາມຜົນຜະລິດທີ່ມີມູນຄ່າ 12 XMR: 3, 4 ແລະ 5 XMR. ໃນເວລາດຽວກັນ, ລາວຈ່າຍຄ່າຄະນະກໍາມະການ 3 XMR. ດັ່ງນັ້ນ, ຈໍານວນເງິນທີ່ໃຊ້ບວກກັບຈໍານວນເງິນທີ່ສ້າງຂຶ້ນແລະຄະນະກໍາມະການແມ່ນເທົ່າກັບ 15 XMR. ໃຫ້ພະຍາຍາມຄິດໄລ່ຄໍາຫມັ້ນສັນຍາແລະເບິ່ງຄວາມແຕກຕ່າງຂອງຈໍານວນຂອງພວກເຂົາ (ຈື່ຄະນິດສາດ):

ໃນທີ່ນີ້ພວກເຮົາເຫັນວ່າສໍາລັບສົມຜົນທີ່ຈະ converge, ພວກເຮົາຕ້ອງການຜົນລວມຂອງຫນ້າກາກຂາເຂົ້າແລະຜົນຜະລິດຈະຄືກັນ. ເພື່ອເຮັດສິ່ງນີ້, ກະເປົາເງິນຈະສ້າງແບບສຸ່ມ x1, y1, y2 ແລະ y3, ແລະສ່ວນທີ່ເຫຼືອ x2 ການ​ຄິດ​ໄລ່​ດັ່ງ​ນີ້​:

ການນໍາໃຊ້ຫນ້າກາກເຫຼົ່ານີ້, ພວກເຮົາສາມາດພິສູດໃຫ້ຜູ້ກວດສອບໃດໆທີ່ພວກເຮົາບໍ່ໄດ້ສ້າງລາຍໄດ້ຫຼາຍກ່ວາທີ່ພວກເຮົາໃຊ້, ໂດຍບໍ່ມີການເປີດເຜີຍຈໍານວນ. ຕົ້ນສະບັບ, ແມ່ນບໍ?

RingCT ເຕັມ

ໃນການເຮັດທຸລະກໍາ RingCT ເຕັມ, ການກວດສອບຈໍານວນການໂອນແມ່ນສັບສົນຫຼາຍ. ໃນການເຮັດທຸລະກໍາເຫຼົ່ານີ້, wallet ບໍ່ໄດ້ຄິດໄລ່ຄໍາຫມັ້ນສັນຍາສໍາລັບວັດສະດຸປ້ອນ, ແຕ່ໃຊ້ຄໍານວນທີ່ຄິດໄລ່ເມື່ອພວກເຂົາຖືກສ້າງຂຶ້ນ. ໃນກໍລະນີນີ້, ພວກເຮົາຕ້ອງສົມມຸດວ່າພວກເຮົາຈະບໍ່ໄດ້ຮັບຄວາມແຕກຕ່າງຂອງຜົນບວກເທົ່າກັບສູນ, ແຕ່ແທນທີ່ຈະ:

ມັນເປັນ z - ຄວາມ​ແຕກ​ຕ່າງ​ລະ​ຫວ່າງ​ຫນ້າ​ກາກ​ການ​ປ້ອນ​ຂໍ້​ມູນ​ແລະ​ຜົນ​ຜະ​ລິດ​. ຖ້າພວກເຮົາພິຈາລະນາ zG ເປັນກະແຈສາທາລະນະ (ຊຶ່ງມັນ de facto ແມ່ນ), ຫຼັງຈາກນັ້ນ z ແມ່ນກະແຈສ່ວນຕົວ. ດັ່ງນັ້ນ, ພວກເຮົາຮູ້ວ່າກະແຈສ່ວນຕົວຂອງສາທາລະນະແລະທີ່ສອດຄ້ອງກັນ. ດ້ວຍຂໍ້ມູນນີ້ຢູ່ໃນມື, ພວກເຮົາສາມາດໃຊ້ມັນຢູ່ໃນລາຍເຊັນວົງແຫວນ MLSAG ພ້ອມກັບກະແຈສາທາລະນະຂອງຜົນໄດ້ຮັບທີ່ຖືກປະສົມ:

ດັ່ງນັ້ນ, ລາຍເຊັນວົງແຫວນທີ່ຖືກຕ້ອງຈະຮັບປະກັນວ່າພວກເຮົາຮູ້ຈັກກະແຈສ່ວນຕົວທັງຫມົດຂອງຄໍລໍາຫນຶ່ງ, ແລະພວກເຮົາສາມາດຮູ້ພຽງແຕ່ລະຫັດສ່ວນຕົວໃນແຖວສຸດທ້າຍຖ້າທຸລະກໍາບໍ່ສ້າງເງິນຫຼາຍກ່ວາມັນໃຊ້. ໂດຍວິທີທາງການ, ນີ້ແມ່ນຄໍາຕອບຂອງຄໍາຖາມ "ເປັນຫຍັງຄວາມແຕກຕ່າງຂອງຈໍານວນຄໍາຫມັ້ນສັນຍາເຮັດໃຫ້ສູນ" - ຖ້າ zG = 0, ຫຼັງຈາກນັ້ນພວກເຮົາຈະຂະຫຍາຍຄໍລໍາດ້ວຍຜົນໄດ້ຮັບທີ່ແທ້ຈິງ.

ຜູ້​ຮັບ​ເງິນ​ຈະ​ຮູ້​ໄດ້​ແນວ​ໃດ​ວ່າ​ເງິນ​ທີ່​ຖືກ​ສົ່ງ​ໄປ​ໃຫ້​ລາວ? ທຸກສິ່ງທຸກຢ່າງແມ່ນງ່າຍດາຍຢູ່ທີ່ນີ້ - ຜູ້ສົ່ງການເຮັດທຸລະກໍາແລະລະຫັດແລກປ່ຽນຜູ້ຮັບໂດຍໃຊ້ໂປໂຕຄອນ Diffie-Hellman, ນໍາໃຊ້ລະຫັດການເຮັດທຸລະກໍາແລະລະຫັດເບິ່ງຂອງຜູ້ຮັບແລະຄິດໄລ່ຄວາມລັບທີ່ແບ່ງປັນ. ຜູ້ສົ່ງຈະຂຽນຂໍ້ມູນກ່ຽວກັບປະລິມານຜົນຜະລິດ, ເຂົ້າລະຫັດດ້ວຍລະຫັດທີ່ແບ່ງປັນນີ້, ໃນຂົງເຂດພິເສດຂອງທຸລະກໍາ.

ຫຼັກຖານສະແດງຂອບເຂດ

ຈະເກີດຫຍັງຂຶ້ນຖ້າທ່ານໃຊ້ຕົວເລກລົບເປັນຈໍານວນເງິນໃນຄໍາຫມັ້ນສັນຍາ? ນີ້ອາດຈະນໍາໄປສູ່ການຜະລິດຂອງຫຼຽນເພີ່ມເຕີມ! ຜົນໄດ້ຮັບນີ້ແມ່ນບໍ່ສາມາດຍອມຮັບໄດ້, ດັ່ງນັ້ນພວກເຮົາຈໍາເປັນຕ້ອງຮັບປະກັນວ່າປະລິມານທີ່ພວກເຮົາໃຊ້ບໍ່ແມ່ນທາງລົບ (ໂດຍບໍ່ມີການເປີດເຜີຍຈໍານວນເຫຼົ່ານີ້, ແນ່ນອນ, ຖ້າບໍ່ດັ່ງນັ້ນຈະມີວຽກຫຼາຍແລະທັງຫມົດທີ່ບໍ່ມີປະໂຫຍດ). ໃນຄໍາສັບຕ່າງໆອື່ນໆ, ພວກເຮົາຕ້ອງພິສູດວ່າຜົນລວມແມ່ນຢູ່ໃນໄລຍະຫ່າງ [0, 2n - 1].

ເພື່ອເຮັດສິ່ງນີ້, ຜົນລວມຂອງແຕ່ລະຜົນໄດ້ຮັບຖືກແບ່ງອອກເປັນຕົວເລກສອງແລະຄໍາຫມັ້ນສັນຍາແມ່ນຄິດໄລ່ສໍາລັບແຕ່ລະຕົວເລກແຍກຕ່າງຫາກ. ມັນດີກວ່າທີ່ຈະເບິ່ງວ່າມັນເກີດຂຶ້ນແນວໃດກັບຕົວຢ່າງ.

ໃຫ້ສົມມຸດວ່າຈໍານວນຂອງພວກເຮົາມີຂະຫນາດນ້ອຍແລະເຫມາະເຂົ້າໄປໃນ 4 bits (ໃນການປະຕິບັດນີ້ແມ່ນ 64 bits), ແລະພວກເຮົາສ້າງຜົນຜະລິດທີ່ມີມູນຄ່າ 5 XMR. ພວກເຮົາຄິດໄລ່ຄໍາຫມັ້ນສັນຍາສໍາລັບແຕ່ລະປະເພດແລະຄໍາຫມັ້ນສັນຍາທັງຫມົດສໍາລັບຈໍານວນທັງຫມົດ:
ຕໍ່ໄປ, ແຕ່ລະຄໍາຫມັ້ນສັນຍາແມ່ນປະສົມກັບຕົວແທນ (Ci-2iH) ແລະໄດ້ລົງນາມເປັນຄູ່ກັບລາຍເຊັນແຫວນ Borromeo (ລາຍເຊັນແຫວນອື່ນ), ສະເຫນີໂດຍ Greg Maxwell ໃນປີ 2015 (ທ່ານສາມາດອ່ານເພີ່ມເຕີມກ່ຽວກັບມັນ. ທີ່ນີ້):
ຮ່ວມກັນ, ອັນນີ້ເອີ້ນວ່າຫຼັກຖານສະແດງຂອບເຂດແລະອະນຸຍາດໃຫ້ທ່ານຮັບປະກັນວ່າຄໍາຫມັ້ນສັນຍານໍາໃຊ້ປະລິມານໃນຂອບເຂດ [0, 2n - 1].

ຈະເປັນແນວໃດຕໍ່ໄປ?

ໃນການປະຕິບັດໃນປະຈຸບັນ, ຫຼັກຖານສະແດງຂອບເຂດໃຊ້ເວລາຫຼາຍພື້ນທີ່ - 6176 bytes ຕໍ່ຜົນຜະລິດ. ນີ້ນໍາໄປສູ່ການເຮັດທຸລະກໍາຂະຫນາດໃຫຍ່ແລະດັ່ງນັ້ນຄ່າທໍານຽມທີ່ສູງຂຶ້ນ. ເພື່ອຫຼຸດຜ່ອນຂະຫນາດຂອງທຸລະກໍາ Monero, ນັກພັດທະນາກໍາລັງແນະນໍາ bulletproofs ແທນທີ່ຈະເປັນລາຍເຊັນຂອງ Borromeo - ກົນໄກການພິສູດຂອບເຂດທີ່ບໍ່ມີຄໍາຫມັ້ນສັນຍາ bitwise. ອີງຕາມການຄາດຄະເນບາງຢ່າງ, ພວກເຂົາສາມາດຫຼຸດຜ່ອນຂະຫນາດຂອງຫຼັກຖານສະແດງເຖິງ 94%. ໂດຍວິທີທາງການ, ໃນກາງເດືອນກໍລະກົດ, ເຕັກໂນໂລຢີໄດ້ຜ່ານໄປ ການກວດສອບ ຈາກ Kudelski Security, ເຊິ່ງບໍ່ໄດ້ເປີດເຜີຍຂໍ້ບົກຜ່ອງທີ່ສໍາຄັນໃດໆທັງໃນເຕັກໂນໂລຢີຂອງມັນເອງຫຼືໃນການປະຕິບັດຂອງມັນ. ເທກໂນໂລຍີດັ່ງກ່າວຖືກນໍາໃຊ້ແລ້ວໃນເຄືອຂ່າຍການທົດສອບ, ແລະດ້ວຍສ້ອມແຂງໃຫມ່, ມັນອາດຈະຍ້າຍໄປເຄືອຂ່າຍຕົ້ນຕໍ.

ຖາມ​ຄໍາ​ຖາມ​ຂອງ​ທ່ານ​, ແນະ​ນໍາ​ຫົວ​ຂໍ້​ສໍາ​ລັບ​ບົດ​ຄວາມ​ໃຫມ່​ກ່ຽວ​ກັບ​ເຕັກ​ໂນ​ໂລ​ຊີ​ໃນ​ພາກ​ສະ​ຫນາມ​ຂອງ cryptocurrency ໄດ້​, ແລະ​ຍັງ​ສະ​ຫມັກ​ກຸ່ມ​ຂອງ​ພວກ​ເຮົາ​ໃນ ເຟສບຸກເພື່ອຕິດຕາມເຫດການ ແລະສິ່ງພິມຂອງພວກເຮົາ.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com