Nagy Beáta Éva: Heterogén blokkláncokon végzett atomi cserék kriptográfiai primitívjeinek vizsgálata

Önálló projekt, szakmai gyakorlat I

2023/24 I. félév

Témavezető:
Tapolcai János (BME VIK TMIT)
Cím:
Heterogén blokkláncokon végzett atomi cserék kriptográfiai primitívjeinek vizsgálata

A blokkláncok kontextusában az atomi cserék (atomic swap)[1] megvalósítása egyszerű azok között a láncok között, amelyek támogatják az okos szerződéseket. A feladat bonyolultabb, amikor az egyik lánc nem Turing-teljes. Az ilyen láncokon megvalósított kriptovaluták majdnem felét teszik ki a teljes piaci kapitalizációnak. Igény van tehát láncok atomi csere implementációjára is, amelyek nem rendelkeznek szkript-funkcionalitással. Implementációs szempontból a DSA és az ECDSA megoldások ekvivalensnek bizonyultak[2], bár más nézőpontokból, például biztonság vagy teljesítmény szempontjából valószínűleg nem ekvivalensek. Az ekvivalencia megértése a MOV beágyazásból[3] származott, amit a Weil párosítás [4] tett lehetővé. Hasonlóan, a Schnorr aláírások Galois testekben valamint elliptikus görbéken is ekvivalensek kell hogy legyenek az implementáció szempontjából. Ezen kutatási téma célja egy általános szabvány implementálása az atomi cserék végrehajtásához a szükséges kriptográfiai primitívek kidolgozásával, valamint ezek implementációjának összehasonlítása mind Galois testekben és elliptikus görbéken.

Hivatkozások

[1] J. Gugger, “Bitcoin-monero cross-chain atomic swap,” IACR Cryptol. ePrint Arch., vol. 2020, p. 1126, 2020

[2] N. Koblitz, “An elliptic curve implementation of the finite field digital signature algorithm,” in Advances in Cryptology — CRYPTO ’98,

[3] A. J. Menezes and S. A. Vanstone, “Reducing elliptic curve logarithms to logarithms in a finite field,” IEEE Transactions on Information Theory, vol. 39, no. 5, pp. 1639–1646, 1993.

[4] A. Weil, “Sur les fonctions alg ́ebriques `a corps de constantes fini,” Comptes Rendus Hebdomadaires des S ́eances de l’Acad ́emie des Sciences, Paris, vol. 210, pp. 392–594, 1940

Sage math, C, kriptográfiai alapismeretek, véges testek, angol nyelv