129
NGUYÊN TC HÌNH THÀNH HP ĐỒNG THÔNG MINH – ĐÁNH GIÁ MC ĐỘ
PHÙ HP VI QUY ĐỊNH CA PHÁP LUT VIT NAM V HP ĐỒNG VÀ KINH
NGHIM T MT S QUC GIA TRÊN TH GII
Ngô Kim Hoàng Nguyên*
Phan Phương Ngân**
Tóm tt
S bùng n ca khoa hc k thut to ra các phương tin công ngh hin đại thúc đẩy nn kinh
tế phát trin. Trong đó, không th không k đến mt trong các ng dng công ngh đột phá ca
Blockchain chính là Hp đồng thông minh (Smart Contract). Hp đồng thông minh ha hn có
kh năng ct gim chi phí, thi gian, nhân s, và hơn hết là tính an toàn, bo mt ti đa. Tuy
nhiên, vì vn là công ngh mi nên vic s dng Hp đồng thông minh còn xa l so vi dng
hp đồng truyn thng. Ngoài ra, hot động này cũng kéo theo vic phát sinh nhiu vn đề v
mt pháp lý mi chưa đưa quy định. Trong khi hiu lc pháp lut ca Hp đồng thông minh
vn còn gây tranh cãi ti Vit Nam, vic đánh giá các nguyên tc hình thành loi hp đồng này
so vi quy định ca pháp lut Vit Nam là rt cn thiết. Bài viết này đề cp đến các khía cnh
đã và chưa tương thích gia s hình thành ca Hp đồng thông minh và nguyên tc cơ bn ca
pháp lut Hp đồng, cùng vi đó các kiến ngh hoàn thin pháp lý ca tác gi, t đó có cơ s
để phc v cho công tác công nhn hiu lc pháp lut ca Hp đồng thông minh ti Vit Nam.
T khóa: Hp đồng thông minh, nguyên tc hình thành hp đồng cơ bn, pháp lut hp đồng
Vit Nam.
* Thc sĩ Lut hc, Giám đốc trung tâm Thông tin Thư vin, trường Đại hc Lut TP. HCM, Email:
nkhnguyen@hcmulaw.edu.vn
** Sinh viên lp TMQT44, Trường Đại hc Lut TP. HCM, Email:
phanphuongngan1204@gmail.com
130
1. Khái quát v nguyên tc cơ bn hình thành hp đồng theo pháp lut Vit nam và s
hình thành ca hp đồng thông minh
1.1 Nguyên tc cơ bn hình thành hp đồng theo pháp lut Vit Nam
Nếu như trong B lut Dân s 2005 mt quan h hp đồng khi được xác lp và thc hin
chu s điu chnh bi các nguyên tc cơ bn quy định ti nhiu điu khon1 thì đến B lut
Dân s năm 2015 (“BLDS 2015”) các nhà làm lut đã có s thay đổi đáng k. Theo đó trong
BLDS 2015, ch mt điu khon v nguyên tc cơ bn được áp dng cho mi ni dung thuc
phm vi điu chnh ca b lut là Điu 3. Các nguyên tc cơ bn ca pháp lut dân s. Vic
thng nht ch còn mt điu khon nguyên tc chung không có nghĩa là vic giao kết hay thc
hin hp đồng không tuân th bt k nguyên tc nào mà cn hiu là nó phi tuân th các nguyên
tc cơ bn ca pháp lut dân s Vit Nam2. Do đó, đối chiếu vi ni dung ti Điu 3 BLDS
2015 và nhng đặc đim ca hp đồng, có th ch ra nhng nguyên tc cơ bn ca pháp lut
hp đồng Vit Nam gm: (i) Nguyên tc t do ý chí nhưng không vi phm điu cm, trái đạo
đức xã hi; (ii) Nguyên tc t nguyn, bình đẳng, thin chí, hp tác, trung thc và ngay thng;
và (iii) Nguyên tc hiu lc ràng buc ca hp đồng.
(i) Nguyên tc t do ý chí nhưng không vi phm điu cm, trái đạo đức xã hi
Các ch th được quyn t do la chn có giao kết hp đồng hay không, giao kết vi ch
th nào, la chn loi hp đồng phù hp vi điu kin, hoàn cnh và yêu cu ca ch th
không b ràng buc vào nhng loi hp đồng nht định. Quyn t do còn th hin trong vic
son tho và quyết định các ni dung trong hp đồng, đặt ra các quyn và nghĩa v phù hp.
Tùy thuc vào công vic và hoàn cnh c th mà các bên còn la chn hình thc ca hp đồng.
Đặc bit đối vi các hp đồng có yếu t nước ngoài pháp lut dân s cho phép quyn t do la
chn h lut áp dng hay cơ quan tài phán để gii quyết tranh chp phát sinh.3
Mt khác, nguyên tc t do không tuyt đối, các bên khi tham gia vào hp đồng cũng b
gii hn nhiu mc độ để bo đảm và duy trì s t do chung cho toàn xã hi.4Theo đó, tiêu
biu có th chia thành hai nhóm hn chế là s hn chế v ni dung giao kết và v ch th giao
kết. Các hp đồng có ni dung và mc đích giao kết vi phm điu cm, trái đạo đức xã hi b
vô hiu theo quy định ti đim c khon 1 Điu 117 và Điu 122 BLDS 2015. Đồng thi, nhiu
trường hp mt bên trong hp đồng là ch th yếu thế hơn so vi bên còn li, pháp lut cũng
đặt ra các hn chế nht định khi các bên ký kết và thc hin hp đồng.
(ii) Nguyên tc t nguyn, bình đẳng, thin chí, hp tác, trung thc và ngay thng
Nguyên tc t nguyn đặt ra nhm chng li s ép buc, cưỡng bc, s khiếm khuyết ý chí
ca ch th khi quyết định giao kết hp đồng, ngoi tr mt s trường hp ngoi l. Các bên
tham gia vào hp đồng đều phi hướng đến nhng mc đích tt, tht s có ý định thng nht
để giao kết hp đồng vi nhau. Nguyên tc thin chí bao trùm xuyên sut các giai đon ca hp
đồng, k c trước và sau khi hp đồng đã được thc hin. Biu hin tiêu biu ca nguyên tc
thin chí là kh năng nhượng b, thông cm đối vi nhng khó khăn, hn chế ca đối tác để
hướng ti mc đích giao kết cui cùng, có li cho c hai bên. Đặc bit, không có mt khái nim
chung đối vi tính thin chí mà trong tng lĩnh vc, ngành ngh thì nguyên tc này cn phi
1 Ni dung các nguyên tc cơ bn gm: nhng nguyên tc cơ bn ca B lut (Chương II Phn th nht); nguyên
tc thc hin nghĩa v dân s (Điu 283); nguyên tc giao kết hp đồng (Điu 389) và nguyên tc thc hin hp
đồng (Điu 412).
2 Đỗ Văn Đại (2016), Bình lun khoa hc nhng đim mi ca B lut Dân s năm 2015, Hà Ni: Nxb. Hng
Đức, tr. 367–368, tr. 386.
3 Trường Đại hc Lut Tp. H Chí Minh (2019), Giáo trình Pháp lut v Hp đồng và Bi thường thit hi
ngoài hp đồng, Hà Ni: Nxb. Hng Đức – Hi Lut gia Vit Nam, tr.152-153.
4 Trường Đại hc Lut Tp. H Chí Minh (2019), Sđd(3), tr.153.
131
được gii thích, vn dng khác nhau.5 Đối vi các nguyên tc còn li gm tính bình đẳng, hp
tác, trung thc và ngay thng, pháp lut dân s đặt ra nhm đảm bo mi bên mt khi đã tham
gia vào mt quan h hp đồng đều được hưởng các quyn li như nhau, có nghĩa v tương ng
và phi chu chế tài nếu vi phm các nguyên tc đó.6
(iii) Nguyên tc hiu lc ràng buc ca hp đồng
Pháp lut quy định “cá nhân, pháp nhân phi t chu trách nhim v vic không thc hin
hoc thc hin không đúng nghĩa v dân s7. Các bên khi thng nht tham gia giao kết hp
đồng cũng đồng nghĩa vi vic chp nhn chu s ràng buc bi các quy định ca hp đồng.8
Khi hp đồng đã được giao kết, quyn và li ích ca các bên đã có s liên kết cht ch vi
nhau, quyn ca bên này s là nghĩa v ca bên kia. Các ch th đã b ràng buc bi nghĩa v
ca bn thân trong hp đồng, vic thc hin hoc không thc hin s tác động trc tiếp đến
quyn và li ích ca bên còn li. Vì vy để bo v quyn và li ích hp pháp ca các ch th,
pháp lut quy định các bên phi thc hin nghĩa v ca mình trong hp đồng đã giao kết, ngược
li phi t chu trách nhim trước vic không thc hin đúng và đầy đủ các nghĩa v đó.
1.2 Đánh giá các nguyên tc hình thành hp đồng thông minh vi quy định ca pháp
lut Vit Nam hin hành v hp đồng
1.2.1. Khái quát v cơ chế hình thành hp đồng thông minh
Hp đồng thông minh (“HĐTM”) có th được xem là phiên bn s hóa ca mt hp
đồng truyn thng.9 V bn cht, hp đồng là s tha thun, thng nht ý chí gia các bên ký
kết v các quyn và nghĩa v (thường được th hin bng ngôn ng t nhiên dưới nhiu hình
thc). Khi công ngh máy tính phát trin, hp đồng tr nên “thông minh” nh s tích hp hiu
qu ca các mã máy tính để to điu kin cho các hp đồng này được thc hin mt cách t
động. C th, hp đồng s được tiến hành trong mt h thng phn mm được gi là “Công
ngh s cái phân tán” (DLT). Theo đó, HĐTM s được to ra hoàn toàn bng mã máy tính, có
kh năng t xác lp các điu khon tha thun ca các bên và t thc thi nhng tha thun đó
mt cách t động mà không cn bt k s can thip ca bên th ba trung gian hay con người.
Ngay t khi hình thành, HĐTM đã vn hành theo cơ chế t động mi khâu t xác thc, x
cho đến ép buc thc hin các điu khon đã được viết trước trong mã. Đây cũng là mt trong
nhng đặc tính ưu vit nht ca loi hp đồng này. Ngoài ra, HĐTM còn đảm bo kh năng
bo mt thông tin hiu qu, giao dch phi được xác nhn bng các cp mã k thut s gm
khóa cá nhân và khóa công khai. Các ch th tham gia vào HĐTM xác nhn giao dch bng ch
đin t là mã khóa cá nhân và giao dch không th b sa đổi bi bt k ai sau khi nó đã
được ký.10
V cơ chế hot động, đầu tiên gia các bên cn thng nht để đi đến mã hóa vào chương
trình máy tính mt b “Quy tc h thng qun lý”, mc đích nhm đặt ra nhng điu kin cơ
bn để giao dch xy ra, thông thường bao g ni dung hp đồng và thi đim thc hin hp
5 Trường Đại hc Lut Tp. H Chí Minh (2019), Sđd(3), tr.156.
6 Trường Đại hc Lut Tp. H Chí Minh (2019), Sđd(3), tr.153-154.
7 Khon 5 Điu 3 BLDS năm 2015.
8 Theo quy định ti khon 1 Điu 401 BLDS 2015, hp đồng được giao kết hp pháp thì có hiu lc đối vi các
bên.
9 Đồng Th Huyn Nga, Hoàng Tho Anh, “Blockchain và Hp đồng thông minh – Xu thế tt yếu ca cuc cách
mng công nghip 4.0 và các thách thc pháp lý đặt ra”, tr.317,
[https://www.researchgate.net/publication/340224430_Blockchain_va_Hop_dong_Thong_minh_-
_Xu_the_tat_yeu_cua_cuoc_cach_mang_Cong_nghiep_40_va_nhung_thach_thuc_phap_ly_dat_ra], (truy cp
ln cui ngày 06/10/2022).
10 Bisade Asolo (2019), “Blockchain Public Key & Private Key: A Detailed Guide”, Mycryptopedia
[https://www.mycryptopedia.com/public-key-private-key-explained/] (truy cp ln cui ngày 06/10/2022).
132
đồng.11 Các ni dung đã mã hóa thành công s được lưu tr trên h thng mng lưới blockchain,
sau đó phân phi và sao chép li gia nhng người được phép tham gia vào chui blockchain
trên. Đến thi đim xác định, sau khi nhn được lnh kích hot hp đồng s t động được trin
khai, đồng thi trong sut quá trình đó h thng cũng t kim tra các điu kin cũng như kh
năng thc hin cam kết ca các bên trong hp đồng.12
Như vy, đối chiếu so sánh vi hp đồng truyn thng, HĐTM tn ti mt s các đim
khác bit sau:13
Toàn b “vòng đời” ca HĐTM bt đầu t khi được hình thành cho đến khi kết
thúc HĐTM đều din ra trên nn tng trc tuyến. Quá trình đó được ghi li và
lp trình c định trên DLT và không th thay đổi. Nếu cn phi thay đổi bt k
ni dung nào, ch có th xây dng mt bn hp đồng để đảo ngược hoc sa đổi
hiu lc ca hp đồng trước đó. Như vy, HĐTM hoàn toàn ti ưu dưới góc độ
lưu tr d liu, loi tr nguy cơ đặt sai ch, lc mt hp đồng.
Trong quá trình thc hin HĐTM không cn đến vai trò ca bên th ba (ví d
đối vi hot động thanh toán, vic chuyn tin được thc hin trc tiếp t
đin t sang ví đin t mà không cn các bước xác nhn trung gian);
HĐTM được thc hin mt cách t động bi máy móc, theo thut toán máy tính
lp sn;
HĐTM ch có th thc hin được trong trường hp đã có “gii pháp có th xác
định bng thut toán” (algorithmically determinable solution). HĐTM theo đó
hot động trên cơ chế tha mãn điu kin đặt ra trước đó: “If-Then” mà không
phi ph thuc hành vi ca mt trong các bên.
S khác bit ca HĐTM so vi hp đồng truyn thng có th các bước tiến ti ưu ca
khoa hc k thut nhưng mt khác có th to ra nhiu các thách thc, bt cp ln khi đặt dưới
thước đánh giá ca khoa hc pháp lý. Theo đó, trong mc tiếp theo tác gi s tiến hành đối
chiếu s hình thành ca HĐTM vi ba nguyên tc cơ bn ca pháp lut hp đồng Vit Nam
nêu trên, làm rõ thêm các vn đề v s hình thành ca HĐTM vi tin đề HĐTM được xem là
mt hp đồng pháp lý.
1.2.2. Đánh giá các nguyên tc hình thành hp đồng thông minh so vi quy định
ca pháp lut Vit Nam hin hành v hp đồng
Trước hết, có th thy đối vi nguyên tc th ba v hiu lc ràng buc ca hp đồng,
chính nh tính năng t động kích hot sau khi đáp ng điu kin, s hình thành ca HĐTM nói
riêng và cơ chế hot động chung ca nó có th đảm bo tuân th rt hiu qu nguyên tc này.14
Mt khác, vn còn tn ti nhiu vn đề chưa phù hp gia s hình thành ca HĐTM và các
nguyên tc còn li. S chưa phù hp th hin hai khía cnh, HĐTM không đảm bo (i) Nguyên
tc t do ý chí ca các bên và (ii) Nguyên tc t nguyn, trung thc, bình đẳng, thin chí và
hp tác khi thc hin hp đồng.
(i) Th nht, rt khó khăn trong vic xác định s đồng thun ca các bên khi tiến hành
giao kết hp đồng. Điu này xut phát t cơ chế tt c thông tin đều được mã hóa trên blockchain
11 Louis Lou, Josh Lee (2019), “A brief analysis of the legal validity of smart contracts in Singapore”,
[https://lawtech.asia/a-brief-analysis-of-the-legal-validity-of-smart-contracts-in-singapore/], (truy cp ln cui
ngày 06/10/2022).
12 Đồng Th Huyn Nga, Hoàng Tho Anh (2019), tlđd(9), tr.318.
13 “Smart Contracts”, Norton Rose Fulbright (November 2019), [https://www.nortonrosefulbright.com/en-
cn/knowledge/publications/1bcdc200/smart-contracts], (truy cp ln cui ngày 10/02/2023)
14 Đồng Th Huyn Nga, Hoàng Tho Anh (2019), tlđd(9), tr.318.
133
và các ch th tham gia vào giao dch là nhng tài khon tham gia không xác định. 15 Gia các
bên gn như không có s trao đổi trc tiếp bng ngôn ng t nhiên, thay vào đó các hp đồng
hin đang s dng ngôn ng máy tính, nên liu bên được đề ngh đã hiu đúng, hiu đủ li đề
ngh hay chưa s là mt vn đề ln trong khi các thut toán và dòng lnh khá phc tp đòi hi
phi có kiến thc chuyên sâu để có th gii mã. Ngoài ra, nếu ti thi đim các bên xác lp điu
kin giao kết hp đồng đã thng nht ý chí nhưng trong khong thi gian trước khi hp đồng
chính thc được ký kết có mt bên đã thay đổi ý định t b giao kết thì hp đồng vn s tiếp
tc t động hình thành. đây đã có s vi phm vì không đáp ng được điu kin ca nguyên
tc t do ý chí. Do đó, có th thy quyn ch động trong quyết định la chn giao kết hp đồng
ca các bên đã b “tước đot”, hay nói cách khác HĐTM đã loi b yếu t tha thun, đàm phán
li ca các bên.
(ii) Th hai, s hình thành ca HĐTM có th không đảm bo tính trung thc, bình đẳng
gia các ch th. HĐTM hot động trên nn tng trc tuyến, các thao tác ch được th hin qua
máy tính và thut toán, s rt khó để xác định các bên tham gia vào HĐTM đã đáp ng đủ điu
kin v ch th như v độ tui, năng lc hành vi dân s đầy đủ…Hu qu chính là giao dch có
th b vô hiu theo quy định ti Điu 125, Điu 126, Điu 127 BLDS 2015, nh hưởng rt ln
đến quyn li ca bên còn li. Như thế, đây li có s vi phm điu kin ca nguyên tc trung
thc, bình đẳng gia các bên trong quan h hp đồng.
(iii) Th ba, v vn đề vi phm nguyên tc thin chí và hp tác, xut phát t đặc tính
bt biến (immnutability) ca công ngh blockchain khi được áp dng vào HĐTM. Như đã phân
tích, nguyên tc này đặt ra trách nhim ca các bên v vic c gng hướng đến mc đích cùng
có li ca các bên t đó cùng h tr, nhượng b và tìm ra gii pháp khc phc. Trong khi đó,
HĐTM mc định rng tha thun ban đầu ca các bên sau khi mã hóa cũng chính là tha thun
cui cùng và quá trình thc hin không có vn đề ngoi cnh phát sinh.16 Nhưng trên thc tế,
trường hp bt kh kháng vn luôn din ra, trên cơ s thin chí, các bên vn dĩ th đàm phán
và tha thun li. Tuy nhiên, dưới cơ chế hot động ca HĐTM điu này không th thc hin
được. Do đó, có th thy s hình thành ca HĐTM cũng có th nh hưởng đến tính linh hot
trong vic điu chnh hp đồng và thay đổi tiến trình giao kết gia các bên.
Tóm li, HĐTM dưới góc độ là mt dng mi ca hp đồng truyn thng tt yếu s tn
ti mt s các vn đề chưa tương thích vi nguyên tc cơ bn ca pháp lut hp đồng Vit Nam.
Trong đó, các bt cp có khái quát là vic không đảm bo (i) Nguyên tc t do ý chí ca các
bên và (ii) Nguyên tc t nguyn, trung thc, bình đẳng, thin chí và hp tác khi thc hin hp
đồng Tuy nhiên, quan đim tác gi cho rng phn ln các vn đề xy ra không đương nhiên dn
đến hành vi vi phm nguyên tc cơ bn mà chúng hin ch mc độ có kh năng vi phm. Nói
cách khác, HĐTM được xem là vi phm nguyên tc cơ bn ch khi phát sinh mt s s kin
nht định, ví d như mt trong các bên mun thay đổi tha thun ban đầu hoc xy ra s kin
làm thay đổi hoàn cnh cơ bn, cũng như trường hp mt trong các bên không tha điu kin
v năng lc ch th để tham giao giao kết HĐTM. Song, pháp lut trong thi gian ti vn có
th đặt ra mt hành lang pháp lý phù hp hơn để kim soát các kh năng vi phm nguyên tc
này trong quá trình hình thành HĐTM.
2. Quan đim mt s quc gia đối vi vic đánh giá nguyên tc hình thành ca hp
đồng thông minh
2.1. Liên Minh Châu Âu (EU)
15 Đồng Th Huyn Nga, Hoàng Tho Anh (2019), tlđd(9), tr.321-322.
16 Vũ Th Diu Tho, “Đàm phán vi nhng mã lnh: Hp đồng thông minh và vn đề pháp lý còn b ng”, Tp
chí Tia Sáng Đin T, [http://tiasang.com.vn/-doi-moi-sang-tao/Dam-phan-voi-nhung-ma-lenh- Hop-dong-thong-
minh-va-van-de-phap-ly-con-bo-ngo-11327/], (truy cp ln cui ngày 05/10/2022).