WeArelookingForYou.pdf

Transcript

1. Dfinity & BLS Threshold Signature
2. ઒
   େش Χϫ
   λΠΩ
   !S@FUY
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   ɾ౦ژ޻ۀେֶ෺ཧֶम࢜೥
   ɾ#BODPS
   +BQBO
   DPVOUSZ
   NBOBHFS
   ɾ-*/&$ZCFS
   "HFOUΠϯλʔϯ Intro
3. Motivation ϚΠφʔͷগͳ͍PoWίΠϯʹ͸ Selfish Mining΍ిྗফඅͷ໰୊͕͋Δɻ ࠷ۙPoSʹ΋ਂࠁͳ໰୊͕ݟ͔ͭͬͨɻ ଞͷίϯηϯαεΞϧΰϦζϜ ϒϩοΫੜ੒ऀͷܾఆํ๏Λݕ౼͍ͨ͠ɻ
4. DfinityͰ࠾༻͞Ε͍ͯΔBlockੜ੒ऀͷ ܾఆํ๏ͱͦͷ࣮ݱํ๏ʹ͍ͭͯઆ໌͍͖ͯ͠·͢ɻ Idea
5. Idea PoWͰͷBlockੜ੒ऀͷܾఆํ๏ͱൺֱ͠ ཧղ͍ͯ͘͠ɻ
6. Idea PoW͸ɺ୭Ͱ΋͋Δ֬཰ͰBlockΛੜ੒Ͱ͖Δɻ Miner͸ɺܭࢉೳྗΛߴΊ ೳಈతʹ৚݅Λຬͨ͢nonceΛݟ͚ͭΔɻ 1P8 
7. ؤுΕ͹Blockੜ੒ऀʹͳΕΔɻ αϘ͍ͬͯͨΒBlockੜ੒ऀʹͳΕͳ͍ Idea
8. ҰํɺDfinityͰ͸ϥϯμϜʹϒϩοΫੜ੒ऀΛܾΊΔ͜ͱ͕Ͱ͖Δɻ ϚΠφʔ͸ɺࢀՃऀ͕ੜ੒͢ΔϥϯμϜ஋ʹΑͬͯ डಈతʹϒϩοΫੜ੒ऀʹͳΔɻ Idea 1P4
9. Idea 1P8 %pOJUZ SBOEPN
   OVNCFS ೳಈత डಈత
10. Idea ϥϯμϜ஋ʹΑͬͯແ࡞ҝʹϒϩοΫੜ੒ऀΛ
    ܾఆ͢Δ͜ͱʹΑͬͯɺ
    ফඅిྗΛ཈͑ΕΔɺϑΥʔΫ͕ى͖ʹ͘͘ͳΔɻ
11. )PX
    JU
    XPSLT
12. ξh 3BOEPN ξh 3BOEPN (SPVQ Gh σh 4JHO TJHO IBTI ξh+1 3BOE ξh+1 3BOE (SPVQ Gh+1 σh+1 4JHO TJHO IBTI ξh+2 3BOE ξh+2 3BOE (SPVQ Gh+2 σh+2 4JHO TJHO TFMFDU TFMFDU #MPDL.BLFS h,0 #MPDL.BLFS h,1 #MPDL.BLFS h,2 TFMFDU #MPDL Bh,0 #MPDL Bh,1 TFMFDU DSFBUF #. h + 1,0 #MPDL Bh+1,0 #MPDL Bh+1,1 #MPDL DSFBUF Bh+1,2 #. h + 1,1 #. h + 1,2 ϥϯμϜ஋Λ༻͍ͯ#MPDLੜ੒ऀΛܾఆ
    ༏ઌॱҐΛ͚ͭΔ
13. ξh 3BOEPN ξh 3BOEPN (SPVQ Gh σh 4JHO TJHO IBTI ξh+1 3BOE ξh+1 3BOE (SPVQ Gh+1 σh+1 4JHO TJHO IBTI ξh+2 3BOE ξh+2 3BOE (SPVQ Gh+2 σh+2 4JHO TJHO TFMFDU TFMFDU #MPDL.BLFS h,0 #MPDL.BLFS h,1 #MPDL.BLFS h,2 TFMFDU #MPDL Bh,0 #MPDL Bh,1 TFMFDU DSFBUF #. h + 1,0 #MPDL Bh+1,0 #MPDL Bh+1,1 #MPDL DSFBUF Bh+1,2 #. h + 1,1 #. h + 1,2 ϥϯμϜ஋Λ༻͍ͯɺ
    ಉ࣌ʹϒϩοΫΛݕূ͢Δάϧʔϓ΋બͿɻ
    άϧʔϓ͸ɺάϧʔϓͷެ։伴Λ࡞੒͠ࣄલެ։͢Δ TFMFDU
14. ξh 3BOEPN (SPVQ Gh TJHO IBTI ξh+1 3BOE ξh+1 3BOE (SPVQ Gh+1 σh+1 4JHO TJHO IBTI ξh+2 3BOE ξh+2 3BOE (SPVQ Gh+2 σh+2 4JHO TJHO TFMFDU TFMFDU #MPDL.BLFS h,0 #MPDL.BLFS h,1 #MPDL.BLFS h,2 TFMFDU #MPDL Bh,0 #MPDL Bh,1 TFMFDU DSFBUF #. h + 1,0 #MPDL Bh+1,0 #MPDL Bh+1,1 #MPDL DSFBUF Bh+1,2 #. h + 1,1 #. h + 1,2 TFMFDU ξh 3BOEPN σh 4JHO ϒϩοΫΛݕূ͠ɺάϧʔϓʹॴଐ͢Δա൒਺ͷਓͷ
    ॺ໊ͷूΊΔ͜ͱʹΑͬͯάϧʔϓͷॺ໊͕࣮ߦͰ͖Δɻ
15. ෆਖ਼͕ى͖ͳ͍Α͏ʹάϧʔϓͰϥϯμϜ஋Λ࡞Δ
    ෳ਺ਓͷॺ໊Λ଍͠߹Θͤͯάϧʔϓͷॺ໊Λ
    ࡞੒͠άϧʔϓͷॺ໊Λߦ͏ɻ
    ·ͨͦͷॺ໊ΛϥϯμϜ஋ͱͯ͠ར༻͢Δɻ
16. ξh 3BOEPN (SPVQ Gh TJHO IBTI ξh+1 3BOE ξh+1 3BOE (SPVQ Gh+1 σh+1 4JHO TJHO IBTI ξh+2 3BOE ξh+2 3BOE (SPVQ Gh+2 σh+2 4JHO TJHO TFMFDU TFMFDU #MPDL.BLFS h,0 #MPDL.BLFS h,1 #MPDL.BLFS h,2 TFMFDU #MPDL Bh,0 #MPDL Bh,1 TFMFDU DSFBUF #. h + 1,0 #MPDL Bh+1,0 #MPDL Bh+1,1 #MPDL DSFBUF Bh+1,2 #. h + 1,1 #. h + 1,2 TFMFDU ξh 3BOEPN σh 4JHO άϧʔϓͷա൒਺Ͱ࡞Δॺ໊͕
    ࣍ͷϥϯμϜ஋ ྫ͑͹ਓͷάϧʔϓ͔Β
    ਓͷॺ໊͕ू·Ε͹৘ใ͕෮ݩͰ͖Δɻ ϒϩοΫΛݕূ͠ɺάϧʔϓʹॴଐ͢Δա൒਺ͷਓͷ
    ॺ໊ͷूΊΔ͜ͱʹΑͬͯάϧʔϓͷॺ໊͕࣮ߦͰ͖Δɻ
17. ξh 3BOEPN (SPVQ Gh TJHO IBTI ξh+1 3BOE ξh+1 3BOE (SPVQ Gh+1 σh+1 4JHO TJHO IBTI ξh+2 3BOE ξh+2 3BOE (SPVQ Gh+2 σh+2 4JHO TJHO TFMFDU TFMFDU #MPDL.BLFS h,0 #MPDL.BLFS h,1 #MPDL.BLFS h,2 TFMFDU #MPDL Bh,0 #MPDL Bh,1 TFMFDU DSFBUF #. h + 1,0 #MPDL Bh+1,0 #MPDL Bh+1,1 #MPDL DSFBUF Bh+1,2 #. h + 1,1 #. h + 1,2 TFMFDU ξh 3BOEPN σh 4JHO ξh 3BOEPN σh 4JHO ξh 3BOEPN σh 4JHO ಉ͡ૢ࡞Λ܁Γฦ͢͜ͱͰ
    #MPDL͕ੜ੒͞ΕΔɻ
18. ξh 3BOEPN (SPVQ Gh TJHO IBTI ξh+1 3BOE ξh+1 3BOE (SPVQ Gh+1 σh+1 4JHO TJHO IBTI ξh+2 3BOE ξh+2 3BOE (SPVQ Gh+2 σh+2 4JHO TJHO TFMFDU TFMFDU #MPDL.BLFS h,0 #MPDL.BLFS h,1 #MPDL.BLFS h,2 TFMFDU #MPDL Bh,0 #MPDL Bh,1 TFMFDU DSFBUF #. h + 1,0 #MPDL Bh+1,0 #MPDL Bh+1,1 #MPDL DSFBUF Bh+1,2 #. h + 1,1 #. h + 1,2 TFMFDU ξh 3BOEPN σh 4JHO ξh 3BOEPN σh 4JHO ξh 3BOEPN σh 4JHO
19. ॺ໊͸ɺࣄલʹެ։͍ͯͨ͠ެ։伴Ͱ
    ؆୯ʹݕূͰ͖ΔΑ͏͍ͨ͠ɻ
    ͳͷͰ
    Ͳͷਓͷॺ໊ΛूΊͯ΋
    ΋ಉ͡஋Λॺ໊͕Ͱ͖ΔΑ͏ʹ͍ͨ͠ɻ
20. άϧʔϓॴଐ͢ΔͲͷਓͷ৘ใΛूΊͯ΋
    ಉ͡৘ใ͕෮ݩͰ͖Δ࢓૊Έ
21. ͦ͜Ͱɺগ͚ͩ͠ॺ໊ʹ͍ͭͯ෮श
26. Ͳͷਓͷॺ໊ΛूΊͯ΋
    ಉ͡৘ใΛ෮ݩͰ͖Δ࢓૊Έ͕ᮢ஋๏
27. ෮ݩ͞ΕΔ৘ใͱͯ͠ɺؔ਺ͷ੾ยΛ༻͍Δɻ
28. (4,11) (1,5) s0 x y ᮢ஋๏
29. (4,11) (1,5) s0 x y ᮢ஋๏
30.  s0 x y  ᮢ஋๏
31.  s0 x y  ᮢ஋๏
32. (4,11) (1,5) s0 x y  ಉؔ͡਺্ͷ఺Ͱ͋Ε͹ɺͲͷ఺Λ͖࣋ͬͯͯ΋
    ಉؔ͡਺ ੾ย ͕෮ݩͰ͖Δɻ ᮢ஋๏
33. ͜ͷ৔߹Ͱ͋Ε͹ɺࡾ࣍ؔ਺Ͱ͋ΔͷͰ
    Ͳͷͭͷ৘ใ͕ू·ͬͯҰͭͷؔ਺͕ܾ·Δɺ
    ಉ͡৘ใ͕෮ݩͰ͖Δ (x1 , y1 ) (x3 , y3 ) (x2 , y2 ) (x4 , y4 ) s0 x y ᮢ஋๏
34. Ͳͷਓͷॺ໊ΛूΊͯ΋
    ಉ͡৘ใΛ෮ݩͰ͖Δ࢓૊Έ͕ᮢ஋๏ ࣍ؔ਺Λ࢖͑͹͍͍
36. ·ͱΊ ϥϯμϜ஋ʹΑͬͯແ࡞ҝʹϒϩοΫੜ੒ऀΛܾఆ͢Δɻ
    ফඅిྗΛ཈͑ΕΔ
    ϑΥʔΫ͕ى͖ʹ͘͘ͳΔ
    ॺ໊͸άϧʔϓͰߦ͍ɺͲͷϝϯόʔͷॺ໊ΛूΊͯ΋
    ಉ͡ެ։伴ͰݕূͰ͖Δɻ %pOJUZͰ͸ɺ
37. ͓஌Βͤ
38. We are looking for ϓϥΠόγʔ ݸਓ৘ใ ✖ BlockchainΛ༻͍ͯ ࣾձ՝୊Λղܾͨ͠ਓΛ୳͍ͯ͠·͢ɻ