PlasmaCash派生の解説

ご自由にお使いください

Transcript

1. Plasma Off-chain Transaction Verification Protocol Cryptoeconomics Lab - Shogo Ochiai
2. Ethereumͷࢿ࢈อશੑͷ·· ॲཧΛ҆શʹΦϑϩʔυ͢Δٕज़ ΤάθΫςΟϒαϚϦ
3. ΤάθΫςΟϒαϚϦ2 ళฮͰTx͕2ඵͰ֬ఆͰ͖Δ ҰํͰݸਓؒૹۚͷfinalityΛՄมʹ ΤϯυϢʔβʔ͸Ψεෆཁ ΤεΫϩʔίϯτϥΫτ౳Մ ·ͣ͸ҡ࣋අ͸~1000ສԁ/೥
 ҡ࣋අ͸νϡʔχϯάͰ҆͘ͳΔ໨ॲ͋Γ
4. ࢓૊Έʹ͍ͭͯ
5. H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H H Sparse Merkle Tree (ૄϚʔΫϧ໦) Bob΁
 1000JPY ૹΓ·͢
 Alice ϒϩοΫ
6. Bob΁
 1000JPY ૹΓ·͢
 Alice Merkle Root͸ETHʹอଘ ࢠνΣʔϯͷຖϒϩοΫੜ੒࣌ Proof͸΢ΥϨοτʹอଘ TxBytes΋΢ΥϨοτʹอଘ
7. Bob΁
 1000GYENૹΓ·͢
 Alice Merkle Root͸32bytes TransactionѹॖޮՌ ߴ͞5ͷπϦʔ͸Proof͕5ͭ 1Tx 100bytes~͘Β͍ͷαΠζ
8. ࣌ؒ blocktime 1෼ શͯͷϒϩοΫͷProofΛ͓࣋ͬͯ͘͜ͱͰɺ ࢠνΣʔϯTransactionͷଘࡏূ໌͕Ͱ͖Δ
9. TransactionͷѼઌ͕ͻͱͭ औҾཤྺ͕Ұ௚ઢ JPY
10. ͋Δ༬ۚΠϕϯτ͔ΒḷͬͯɺऔҾཤྺ͕Ұ௚ઢ Alice Bob Carl David
11. Davidͷ͓ۚΛӡӦ͚ͩվ͟ΜͰ͖Δ͕ ѱ͍͜ͱΛ͠Α͏ͱͯ͠΋ɾɾɾ Alice Bob Operator David ଞਓͷ͓ۚͰ Exit 1week଴ͪ
12. Operator͸ɺDavidʹ͓͕ۚ౉ΔTxͷ ଘࡏূ໌ʹ߹ҙ͍ͯ͠ΔͷͰ Alice Bob Operator David Exit Carl David Challenge
 (ҟٞਃཱͯ)
13. ΋͠ଘࡏূ໌ʹΦϖϨʔλʔ͕߹ҙ͍ͯ͠ͳ͔ͬͨΒʁ Alice Bob Carl David Carl: “ૹ͕ۚಧ͔ͳ͍ʂ”
 Carl:
 “ࢿ࢈ΛकΔͨΊʹExit͢Δʂ” Operator:
 “CarlͷUTXOΛ࢖༻͢ΔUTXO΋ͳ͍͠ɺཤྺ΋ਖ਼ ͍͔͠ΒɺWithdrawͯ͠΋͍͍Α” Txੜ੒ Txੜ੒ Txੜ੒ Commit Commit Conf Conf Exit Conf Conf Conf Conf David:
 “Carl͸ૹ͍ۚͨͬͯ͠͏͚ ͲɺConfͱΕͳ͍͔Β঎඼ ͸౉ͤͳ͍ͳ͋”
14. Only one honest user ݪଇ ࣗ෼Ҏ֎͸ΈΜͳάϧ
15. ཤྺʹΑΔෆਖ਼ূ໌
 (શෆਖ਼औҾ͸ҟٞਃཱͯՄ) ଘࡏূ໌
 (Merkle Proof) Proof of Silence
 (ʮ௜໧͸ੋͳΓʯݪଇ) Ethereumͱಉ͡ηΩϡϦςΟΛ΋ͨΒ͢ ઈົͳτϨʔυΦϯؔ܎
16. Proof of Silence
 (ʮ௜໧͸ੋͳΓʯݪଇ) ݟ׳Εͳ͍୯ޠ͕ɾɾɾ Exit͕Withdraw͞ΕΔʹ͸ʮ΋͠ෆਖ਼ʹExit͞ΕΑ͏ͱ͠ ͍ͯΔ࢒ߴͷ࣋ͪओ͕͍ΔͳΒɺͦΕʹؾ͚ͮΔ͚ͩͷ े෼ͳ࣌ؒΛ଴ͭʯͱ͍͏৚͕݅͋Δɻ͜Ε͸҉໧ʹ ʮͦͷࣄલऔΓܾΊͷ্Ͱෆຬ͕ͳ͍ͳΒɺͦͷ Withdrawal͸ਖ਼౰ͳͷͩΖ͏ʯͱ͍͏ϧʔϧ͕͋Δɻ͜ ΕΛ “Proof of Silence” ͱ໋໊͓ͯ͘͠ͱɺཧղ͠΍͢ ͍ɻ͋͘·Ͱɺ୭͔͕໌ࣔతʹঝೝ͠ͳ͍ઃܭͰҾ͖ग़ ͠Λݕূ͍͔ͨ͠Β͜ͷΑ͏ͳઃܭʹͳ͍ͬͯΔɻ
17. ࢿ࢈อશੑ100% ҆ఆՄಈੑ99.999999% ਺ֶతอূ ޻ֶతվળ ཉுΒͳ͍͠ద౰ʹࡁ·ͤͳ͍όϥϯε
18. ࢿ࢈อશੑ100% ҆ఆՄಈੑ99.999999% ਺ֶతอূ 0.000001%͕ى͖ͨ ͜Μͳͱ͖Ͳ͏͢Δʁ
19. ނো͔ѱҙ͔αʔόʔఀࢭ
 Ͱ΋τϥετϨεͳͷͰ PlasmaࢠνΣʔϯ αʔόʔ Plasma਌νΣʔϯ
 ίϯτϥΫτ 0.000001% 1. ͓͕ۚಈ͔ͤͳ͍… 2. ୤ग़
20. ߴ଎Ͱ࢖͍΍͍͚͢Ͳ Ethereumͱಉ҆͡৺ ͜Ε͕Plasma