Policy-Based Validation of Bitcoin Transactions on Cryptographic Smartcards

Bc. Jan Sekanina

Bachelor's thesis

Abstract:

S růstem a celosvětovým rozšířením Bitcoinu jako obchodního prostředku a vývojem bezpečného hardwaru v posledních letech, se otevřely nové příležitosti propojení těchto dvou technologií. Tato práce představuje novou technologii rozšiřující předchozí způsoby o validace založené na pravidlech. Naším cílem je navrhnout a implementovat jednoduchý, ale mocný vyjadřovací nástroj pro validaci a potvrzování transakcí kryptoměn na kryptografických čipových kartách. Tato karta si uloží dané schéma pravidel a následně zkontroluje zda nahraná transakce s dalšími daty vyhovuje zadané politice.

Abstract:

With the growth and global acceptance of Bitcoin as an electronic means of trade and the improvement of secure hardware in the last few decades, new opportunities opened in combining these technologies. This thesis presents a new technology enhancing previous approaches with a policy-based validation. The focus is designing and implementing a simple yet powerful way to express conditions for validating and confirming cryptocurrency transactions performed by cryptographic smart cards. Therefore a comprehensive system of rules can be created and uploaded to the smart card. The smart card stores a given scheme, and afterward, it validates whether the rules are satisfied based on uploaded transactions and other data according to the given policy.

Keywords

smart card, JavaCard, PSBT, bitcoin transaction, validation, čipová karta, bitcoinová transakce, validace

Language used: English

Date on which the thesis was submitted / produced: 18. 5. 2023

Thesis defence

• Date of defence: 27. 6. 2023
• Supervisor: RNDr. Antonín Dufka
• Reader: doc. RNDr. Petr Švenda, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics