143
“SMART CONTRACT” THEO PHÁP LUT HP ĐỒNG VIT NAM
Nguyn Th Hoa*
Nguyn Hoàng Thái Hy**
1. Dn nhp
Smart contract hay hp đồng thông minh là ng dng quan trng trong s nhiu ng dng
và tin ích mà công ngh chui khi (blockchain technology) đem li. Smart contract giúp
người dùng t động la chn, giao kết cũng như thc hin các giao dch ph biến trong các nn
tng tin mã hóa. Không dng li đó, hp đồng thông minh được xem như mt công c an
toàn, hiu qu nhm thc hin hp đồng đã ký kết. Vi s đa dng trong ng dng, nhiu quan
đim cho rng “smart contrat” nên ch được xem là mt cách thc mà các bên th s dng
nhm thc hin các nghĩa v hp đồng. Ngược li, nhiu quan đim li cho rng hp đồng
thông minh hoàn toàn tha mãn nhng điu kin ca hp đồng pháp lý. Nhm gii quyết nhng
tranh cãi này, nhng phân tích v thi đim có hiu lc, điu kin có hiu lc v ni dung hp
đồng theo pháp lut áp dng cũng như vic phân loi cho tng ng dng hp đồng thông minh
có ý nghĩa quan trng trong vic xác định h qu pháp lý đối vi s dng công c này. Do thc
tin pháp lut Vit Nam chưa ghi nhn nhng tranh chp v hp đồng thông minh, đồng tác gi
bài viết s tham kho các nghiên cu và thc tin gii quyết tranh chp (nếu có) ca mt s
quc gia nhm thc hin nghiên cu này.
2. Định nghĩa và phân loi hp đồng thông minh
2.1 Định nghĩa hp đồng thông minh
thi đim hin ti, mt định nghĩa thng nht, mang tính ph quát v hp đồng thông
minh (smart contract) vn chưa được ghi nhn.1 Tuy nhiên, nếu nhn định thut ng “hp đồng
thông minh” mi được s dng gn đây để ch mt trong nhiu ng dng ca công ngh chui
* Tiến sĩ Lut hc, Ging viên khoa Lut Quc tế, Trường Đại hc Lut TP. HCM, Email:
nthoa@hcmulaw.edu.vn
** Thc sĩ Lut hc, Ging viên khoa Lut Quc tế, Trường Đại hc Lut TP. HCM, Email:
nnthy@hcmulaw.edu.vn
1 M. L. Perugini & P. Dal Checco, “Smart Contracts: A Preliminary Evaluation,” December 2015 Available at:
https://ssrn.com/abstract=2729548; M. Raskin, “The Law and Legality of Smart Contracts,” (2017) 1 Geo. L.
Tech. Rev., 304; A. Savelyev, “Contract Law 2.0: ‘Smart’ Contracts As the Beginning of the End of Classic
Contract Law,” Higher School of Economics Research Paper No. WP BRP 71/LAW/2016, 2016 and (2017) 26: 2
Information & Communications Technology Law, 116–134; L. H. Scholz, “Algorithmic Contracts,” (2017) Stan.
Tech. L. Rev. 128; J. Szczerbowski, “Place of Smart Contracts in Civil Law. A Few Comments on Form and
Interpretation,” Proceedings of the 12th Annual International Scientific Conference New Trends, 2017. Truy cp
tiSSRN: https:// ssrn.com/abstract=3095933; G. Jaccard, “Smart Contracts and the Role of Law” (10 January
2018). Truy cp tiSSRN: https://ssrn.com/abstract=3099885 or http://dx.doi.org/10.2139/ssrn.3099885; E. Tjong
Tjin Tai, “Formalizing Contract Law for Smart Contracts” Tilburg Private Law Working Paper Series No. 6/2017
(18 September 2017). Truy cp tiSSRN: https://ssrn.com/abstract=3038800 or
http://dx.doi.org/10.2139/ssrn.3038800; P. Catchlove, “Smart Contracts: A New Era of Contract Use” (1
December 2017). Truy cp tiSSRN: https://ssrn.com/abstract=3090226 or
http://dx.doi.org/10.2139/ssrn.3090226; R. O’Shields, “Smart Contracts: Legal Agreements for the Blockchain,”
(2017) 21 N.C. Banking Inst. 177; L. Cong & Z. He, “Blockchain Disruption and Smart Contracts” (10 January
2018). Truy cp tiSSRN: https://ssrn.com/abstract=2985764 or http://dx.doi.org/10.2139/ssrn.2985764; T.
Hingley, “A Smart New World: Blockchain and Smart Contracts,” truy cp tiwww.freshfields.com/en-gb/our
thinking/campaigns/digital/fintech/blockchain-and-smart-contracts/; R. Koulu, “Blockchains and Online Dispute
Resolution: Smart Contracts as an Alternative to Enforcement,” (2016) 13 SCRIPTed 40; K. Lauslahti, J. Mattila,
& T. Seppälä, “Smart Contracts – How Will Blockchain Technology Affect Contractual Practices?”, ETLA
Reports No. 68 (9 January 2017). Available at: https://pub.etla.fi/ETLA-Raportit-Reports-68.pdf
144
khi (blockchain) là không chính xác.2 Thut ng này đã được s dng ln đầu tiên bi nhà mt
mã hc kiêm lut gia Nick Szabo. Năm 1994, Nick Szabo đã phát kiến ý tưởng ghi li các hp
đồng dưới dng code máy tính. Hp đồng này s được kích hot t động khi đáp ng mt s
điu kin.3
Theo định nghĩa ca Nick Szabo, hp đồng thông minh là "mt tp hp các cam kết, bao
gm các giao thc trong đó ghi nhn điu kin theo đó các bên [trong hp đồng] thc hin
chúng. Các giao thc thường được thc hin vi các chương trình trên mng máy tính hoc
trong các dng đin t k thut s, do đó các hp đồng này 'thông minh hơn' so vi tin thân
ca chúng [các hp đồng giy]. Vic s dng trí tu nhân to đôi khi không cn thiết đối vi
hp đồng thông minh”.4
Các hc gi và chuyên gia phápđã b sung định nghĩa theo đó hp đồng thông minh
là công c “t thc thi các lnh đin t được son tho bng mã máy tính”5 hoc là “các
chương trình thc hin mt phn nghĩa v hp đồng, và có th cha và thc hin các điu kin
hp đồng, cũng như thc hin các bin pháp khác phc khi có vi phm nghĩa v hp đồng”6
cũng có th“hp đồng được th hin bng mã và được thc thi bi máy tính”.7 y ban Kinh
tế Hn hp ca Quc hi Hoa K nhn xét rng “Hp đồng thông minh nghe có v mi, [nhưng]
khái nim này bt ngun t lut hp đồng cơ bn … hp đồng thông minh là mt chương trình
thc thi hp đồng [sn có] được tích hp trong mã.”.8
Nhìn chung, có hai quan đim được ghi nhn v định nghĩa hp đồng thông minh: (1)
quan đim cho rng hp đồng thông minh là mt công c để thc hin nghĩa v hp đồng đã
có t trước và (2) hp đồng thông minh có hình thc văn bn được mã hóa và s t thc hin
các nghĩa Mt s tác gi cho rng “tính t động” nên được thêm vào trong định nghĩa ca hp
đồng thông minh. V mt k thut, trên thc tế, cn lưu ý rng các hp đồng thông minh da
cơ chế “If this. . . then that…" trong đó “this" và “that” được xác định như điu kin tiên quyết
cho s vn hành t động bi tác gi ca hp đồng thông minh.9
2 N. Szabo, “Smart Contracts,” 1994, unpublished, truy cp
tiwww.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.bes
t.vwh.net/smart.contracts.html ; N. Szabo, “Formalizing and Securing Relationships on Public Networks,” First
Monday, 1997, truy cp tihttp://ojphi.org/ojs/index.php/fm/article/view/548/469 ; N. Szabo, “The Idea of Smart
Contracts,” 1997, truy cp tihttp://szabo.best.vwh.net/idea.html ; N. Szabo, “Secure Property Titles with Owner
Authority,” 1998; see also M. S. Miller, “Computer Security as the Future of Law,” 1997, truy cp
tiwww.caplet.com/security/futurelaw/, truy cp ln cui ngày 14/02/2023.
3 Nick Szabo, “Smart Contracts: Building Blocks for Digital Markets”, 1996, truy cp ti:
https://www.semanticscholar.org/paper/Smart-Contracts-%3A-Building-Blocks-for-Digital-
Szabo/9b6cd3fe0bf5455dd44ea31422d015b003b5568f , truy cp ln cui ngày 14/02/2023.
4 N. Szabo, “Smart Contract Glossary,” 1995, truy cp ti:
www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.v
wh.net/smart_contracts_glossary.htm , truy cp ln cui ngày 14/02/2023.
5 O’Shields, “Smart Contracts: Legal Agreements for the Blockchain,” note 13, 179.
6 E. Mik, “Smart Contracts: Terminology, Technical Limitations and Real World Complexity” , 2017, 1. Truy cp
ti: https://ssrn.com/abstract=3038406, truy cp ln cui ngày 14/02/2023.
7 E. Tjong Tjin Tai, “Force Majeure and Excuses in Smart Contracts”, Tilburg Private Law Working Paper Series
No. 10/2018, truy cp ti: https://ssrn.com/abstract=3183637 , truy cp ln cui ngày 14/02/2023.
8 “The 2018 Joint Economic Report,” Report of the Joint Economic Committee Congress of the United States on
the 2018 Economic Report of the President, Chapter 9: “Building a Secure Future, One Blockchain at a Time” (13
March 2018), at 210. Truy cp ti: www.congress.gov/115/crpt/hrpt596/CRPT-115hrpt596.pdf., truy cp ln cui
ngày 14/02/2023.
9 Caria, R, “Definitions of Smart Contracts: Between Law and Code”. in L. DiMatteo, M. Cannarsa, & C. Poncibò
(Eds.), The Cambridge Handbook of Smart Contracts, Blockchain Technology and Digital Platforms, University
Cambridge Press, pp. 19-36.
145
Hp đồng thông ch thc s được s dng rng rãi theo s phát trin ca công ngh
blockchain.10 Công ngh này đã phn nào loi b nhng ri ro khi s dng hp đồng thông
minh. C th, v nguyên tc, công ngh này cho phép mt phương tin phi tp trung, nhanh
chóng, linh hot và khá an toàn để ghi li bt k loi giao dch nào cùng vi lch s ca các
giao dch trước đó. Do đó, khi công ngh blockchain được áp dng cho các hp đồng thông
minh, nhng “hp đồng” này không ch có th t thc thi mà không cn bt k trung gian nào,
mà ngoài ra, mi giao dch s được t động ghi li trong cơ s d liu phân tán. Do đó, các hp
đồng thông minh da trên blockchain có th được gi là “hp đồng thông minh phi tp trung”,
do không có cơ s d liu/s đăng ký trung tâm.11
Do ngày nay, hp đồng thông minh thường được xem là mt ng dng ca blockchain,
mt s tác gi đã đề xut định nghĩa hp đồng thông minh như sau: “bt k tha thun k thut
s nào (a) được viết bng mã máy tính, chy trên blockchain hoc các DLT tương tđược
thc thi t động mà không cn s can thip ca con người (do đó, thông minh).”12 Mt s tác
gi li không đánh giá cao vic phi xây dng mt định nghĩa c th cho hp đồng thông minh
ng dng công ngh blockchain, đin hình nht là Mustapha Mekki.13 Ông cho rng công
ngh phi phù hp vi các quy định ca pháp lut, trong trường hp ca hp đồng thông minh
thì cn phù hp vi pháp lut v hp đồng. Do đó, các giao dch s dng hp đồng thông minh
v cơ bn phi tha mãn các điu kin v hiu lc ca hp đồng, nếu không, giao dch liên quan
s b tuyên b vô hiu.14
2.2 Phân loi hp đồng thông minh da trên chc năng và mc độ công ngh
Theo Mateja Durovic và André Janssen, cách thc và phương pháp hp đồng thông minh
đang và s được to ra trong tương lai có th khác nhau mt cách đáng k, tùy thuc vào ba
khía cnh khác nhau.15 Nhng khía cnh này là:
• mc độ t động hóa vic thc hin hp đồng thông minh;
• mc độ tách bit gia các điu khon đã tha thun thc tế và mã được thc thi; và
• quyn giám sát và / hoc quyết định ca các bên trong vic thc hin hp đồng thông
minh.
Xem xét yếu t được đề cp, hp đồng thông minh có th phân loi làm hai loi. Th
nht, Loi hp đồng thông minh đầu tiên được ký kết 'không thông minh' (theo cách thc thông
thường trong giao kết hp đồng truyn thng) và ch có vic thc hin chúng là 'thông minh' -
vì vy chúng là các hp đồng thông minh t thc thi 'thun túy'. Các hp đồng thông minh này
có th được giao kết ngoài chui hoc trên chui (blockchain), nhưng ngay c trong trường hp
giao kết trên chui, các thut toán ch được s dng như mt công c đơn thun trong vic hình
thành hp đồng.16 Nhm mô t quá trình hình thành hp đồng thông minh trên chui thc tế,
chúng tôi s gii thích c th hơn thông qua quy trình ca Ethereum. C th, quá trình này như
10 Mt Công ngh lưu tr phân tán. C th, thông tin trong h thng blockchain s được lưu tr trên nhiu máy
tính chưa không ch mt máy tính riêng l nào. Nếu có bt k thông tin nào được b sung thì tt c máy tính
trong h thng s cùng to ra mt phiên bn mi ca d liu và lưu li tt c các máy tính. Do d liu được lưu
tr nhiu máy tính khác nhau, có th được đặt nhiu nơi trên thế gii, vic tin tc (hackers) tn công riêng l
vào mt máy tính s khó làm nh hưởng đến tình trng lưu tr ca toàn h thng. Do đó, công ngh blockchain
được đánh giá là an toàn trong lưu tr d liu; Xem thêm Caria, tlđd.
11 Như trên.
12 Caria, tlđd.
13 M.Mekki, ‘Les mystères de la blockchain’, Recueil Dalloz 2017, p.2160.
14 Như trên.
15 Durovic, M., & Janssen, A., “Formation of Smart Contracts under Contract Law”. in L. DiMatteo, M. Cannarsa,
& C. Poncibò (Eds.), The Cambridge Handbook of Smart Contracts, Blockchain Technology and Digital
Platforms, Cambridge Law Handbooks, Cambridge University Press, pp. 61-79.
16 Lauren Henry Scholz, “Algorithmic Contracts”, Stanford Technology Law Review, pp. 128-169.
146
sau: Trước tiên, người dùng nhp hp đồng bng ngôn ng mã hóa, sau khi ti xung phn
mm Ethereum và đăng nhp. Người dùng 'đề xut' mt hp đồng c th bng cách cung cp
và ti lên h thng điu kin giao dich ca mình. Hp đồng có s nhn dng riêng và 'hot động
mt cách t động trong h thng, hơi ging vi cách mt trang web có th hot động trên
Internet'. Sau đó, mt người dùng khác có th 'chp nhn hp đồng được đề xut' bng cách
chp nhn hp đồng được đề xut, ví d: bng cách thanh toán [da trên điu kin giao dch đã
được người dùng ‘đề xut’].17
Th hai, ngoài ra để ‘chp nhn’ mt hp đồng thông minh được ti lên h thông, người
dùng và/hoc mt Oracle18 có th gi thông tin rng gói hàng (đối tượng ca hp đồng) đã được
giao và sau đó hp đồng s t động thc hin thanh toán.19 Trong trường hp này, hp đồng
thông minh s cn thông tin t thế gii bên ngoài để cho phép nó thc hin giao dch (ví d:
nếu hp đồng thông minh là mt quyn chn c phiếu, nó s cn biết giá c phiếu). Blockchains
không được kết ni vi Internet và vì vy hp đồng không th t kim tra giá c mà cn phi
các bên th ba tin cp cung cp các thông tin là điu kin để thc hin hp đồng thông minh.20
Nếu không tính đến tường hp hp đồng thông minh ch được xem như công c thc hin
hp đồng giy đã giao kết gia các bên, vic s dng hp đồng thông minh, dù là loi này, cũng
đặt ra nhng câu hi pháp lý quan trng cn gii đáp. Đin hình, hp đồng thông minh được ti
lên h thng blockchain có tha mãn các điu kin phát sinh hiu lc ca pháp lut hp đồng
hay không? Hay, trong trường hp hp đồng thông minh không t động thc hin do li k
thut thì các bin pháp nào có th được áp dng? Bên cnh đó, nếu thông tin ca Oracle truyn
ti lên h thng dn đến vic hp đồng không thc hin được thì trách nhim s thuc v ai?
Phn 2 và Phn 3 dưới đây s tun t gii đáp cho nhng câu hi này.
2. Kk năng hp đồng thông minh tho mãn tính pháp lý ca mt hp đồng
Ni dung phn này s tp trung phân tích vn đề áp dng pháp lut hp đồng ca Vit
Nam đối vi smart contract (B lut Dân s 2015, Lut Thương mi 2005, Lut Giao dch đin
t 2015 và các văn bn dưới lut có liên quan). Ngoài ra, như đã phân tích trên, smart contract
da vào blockchain dn đóng mt vai trò quan trng trong thương mi quc tế, đặc bit là mua
bán hàng hóa, do đó, phân tích ca chúng tôi s bao gm các quy định ca CISG như mt phn
ca pháp lut Vit Nam điu chnh cho các hp đồng mua bán hàng hóa quc tế thông qua
smart contract.
2.1. Đề ngh giao kết hp đồng
V đề ngh giao kết hp đồng khi s dng hp đồng thông minh, theo Điu 386 B lut
Dân s Vit Nam thì có th có li đề ngh vi công chúng. Do đó, thut ng "cung cp cho
công chúng" có th hiu rng đó là mt đề ngh mà không có người nhn c th không? Nói
chung, câu tr li cho câu hi này là có.21 Tuy nhiên, trong lĩnh vc thương mi đin t, câu tr
li cho câu hi này phi là không thĐiu 12 Ngh định s 52/2013/NĐ-CP v Thương mi
đin t quy định: “Mt thông báo bng chng t đin t v đề ngh giao kết hp đồng mà không
có bên nhn c th thì ch là thông báo mi đề ngh giao kết hp đồng. Thông báo đó chưa
được coi là đề ngh giao kết hp đồng, tr khi bên thông báo ch rõ ti thông báo đó trách
nhim ca mình trong trường hp nhn được tr li chp nhn.” Quy định này ging vi quy
17 E. Tjong Tjin Tai, ‘Force Majeure and Excuses in Smart Contracts’,10 Tilburg Private Law Working Paper No.
4, 2018, truy cp ti: ssrn.com/abstract=3183637, p. 4.
18 Oracle là mt thiết b thường là máy tính chu trách nhim cung cp thông tin t bên ngoài vào h thng
blockchain và thông thường là mt máy tính ca h thng. Oracle có th thuc cùng lúc hai hay nhiu hơn h
thng máy tính ca các blockchain khác nhau.
19 Như trên,
20 Như trên.
21 Đỗ Văn Đại, Bình Lun Khoa hc nhng đim mi ca B lut dân s năm 2015, Hng Đức-Hi lut gia Vit
Nam, 2016, tr. 371.
147
định ca điu 14 (2) Công ước viên 1980 v Hp đồng mua bán hàng hóa quc tế (CISG). Do
đó, mt đề ngh bng ngôn ng máy tính cũng phi đáp ng các điu kin ca đề ngh ca pháp
lut. V khía cnh k thut thì vic xác định rõ ch th nhn đề ngh giao kết hp đồng ca
smart contract không phi là vn đề khó khăn.
2.2 Chp nhn đề ngh giao kết hp đồng
Liên quan đến vic chp nhn đề ngh giao kết hp đồng, như chúng ta đã biết, s có ba
tình hung chp nhn đề ngh: chp nhn mà không sa đổi đề ngh, chp nhn vi sa đổi
không cơ bn ca đề ngh và cui cùng là chp nhn vi sa đổi cơ bn ca đề ngh. Như đã đề
cp, hp đồng thông minh s được lp trình vi các lnh « if..then »22, do đó, s rt khó để
trường hp có s chp nhn vi vic sa đổi đề ngh giao kết hp đồng. Vì vy, người ta t hi
liu “c ch đơn gin là nhp vào nút “Tôi chp nhn” có đủ để c th hóa s th hin ý chí ca
người nhn được đề ngh giao kết” đặc bit là trong trường hp hp đồng thông minh được th
hin duy nht bng ngôn ng máy tính hay không? T đó, làm thế nào để mt người có th
chp nhn đề ngh giao kết vn được viết bng ngôn ng mà người đó không th hiu rõ?23
Như đã phân tích v ng dng ca hp đồng thông minh trong thc tin, người ta ch s
dng công c này đối vi các tác v đơn gin như thanh toán tin nhà thuê, cho dch v hay
hàng hòa được tiêu th.24 Trong nhng trường hp này, người nhn lnh « tôi chp nhn » hoàn
toàn có th hiu được hành vi cũng như h qu ca hành vi mà người đó đang thc hin. Theo
quan đim ca chúng tôi, điu này cũng phù hp vi pháp lut Vit Nam vì khon 2 Điu 36
Lut Giao dch đin t quy định rng “khi giao kết hp đồng, tr khi các bên có tha thun
khác, giao kết hp đồng có th được thc hin thông qua thông đip d liu.”. Ti đây, nhp
vào nút "tôi chp nhn" có th to ra mt thông đip d liu được gi đến bên chào hàng, do
đó có th chp nhn được như mt biu hin ca s sn sàng cam kết vi hp đồng thông minh
vi điu kin là thông tin trong thông đip d liu có th truy cp và s dng để tham kho nếu
cn thiết theo Điu 12 Lut GDĐT 2005.
T nhng phân tích trên, chúng ta có th kết lun rng hp đồng được giao kết thông
qua hp đồng thông minh hoàn toàn có th đáp ng được các điu kin v giao kết hp đồng
theo pháp lut Vit Nam. Tuy nhiên, các hp đồng này vn cn phi tha mãn các điu kin v
hình thc ln ni dung và điu kin v ch th giao kết hp đồng để có th có th được duy trì
hiu lc. Trên thc tế, nhiu tác gi đã cnh báo rng tính n danh, s tn ti trên môi trường
s cũng như vn đề v các ch th không đủ điu kin thc hin giao dch, có th dn đến ri
ro hp đồng vô hiu. Ni dung dưới đây s phân tích nhng quy định liên quan điu chnh cho
nhng vn đề này trong bi cnh hp đồng thông minh.
2.3. Điu kin v hình thc hp đồng
Như đã đề cp, hp đồng thông minh thường được s dng và tn ti trong môi trường
s hóa. Khon 7 Điu 683 BLDS 2015 quy định: “Hình thc ca hp đồng được xác định theo
pháp lut áp dng đối vi hp đồng đó. Trường hp hình thc ca hp đồng không phù hp
vi hình thc hp đồng theo pháp lut áp dng đối vi hp đồng đó, nhưng phù hp vi hình
thc hp đồng theo pháp lut ca nước nơi giao kết hp đồng hoc pháp lut Vit Nam thì hình
thc hp đồng đó được công nhn ti Vit Nam.” Trong mt s trường hp, hp đồng bt buc
phi có hình thc văn bn, đin hình vi hp đồng mua bán hàng hóa quc tế, khon 2 Điu 27
LTM 2005 quy định: “Mua bán hàng hoá quc tế phi được thc hin trên cơ s hp đồng bng
văn bn hoc bng hình thc khác có giá tr pháp lý tương đương.” Các hình thc có giá tr
22 Mustapha Mekki, tlđd, p.2160.
23 Như trên.
24 L.Jossier, “Le smart contract à l’épreuve des standards juridiques”, truy cp ti : https://www.actu-
juridique.fr/civil/obligations-contrats/le-smart-contract-a-lepreuve-des-standards-juridiques/ , truy cp ln cui
ngày 14/02/2023.