數位人民幣的程式設計範式明確化:限制型與開放型的雙層結構

robot
摘要生成中

關於數字人民幣的智能合約開發,已經明確採用多種程式設計範式的方針。據央行技術相關人士表示,基於帳戶的智能合約與在公共區塊鏈上的智能合約,表面上都屬於「條件觸發自動執行的程式碼」的範疇,但其差異在於程式語言的選擇與執行方式。

限制式圖靈完備性採用 優先考量安全的設計思想

數字人民幣的智能合約是在限制式圖靈完備性框架下設計的。也就是說,開發者所能撰寫的程式碼範圍被限制在央行事先批准的範本腳本內,僅允許簡單的條件判斷與自動觸發功能。

這一設計方針的背景是出於安全性與風險管理的考量。具有完全圖靈完備性的程式語言理論上能實現所有可計算問題,但也伴隨著不可預測的執行結果與系統負荷增加的風險。為了保證金融基礎設施的穩定性,採用能事先控制執行內容的框架被視為必要。

支援多種程式語言 Solidity等Web3標準語言也在支援範圍內

另一方面,數字人民幣的智能合約開發預計將採用包括Solidity在內的多種程式語言。這些語言也包含在具有完整圖靈完備性的範圍內。在非限制性程式環境如公共區塊鏈中,這些語言的整合成為技術焦點,並在金融系統能接受的標準審計機制與存取控制框架下進行。

也就是說,旨在在不同程式設計範式共存的情況下,兼顧場景的彈性與金融監管的需求,達成雙贏的設計目標。

金融系統整合成為下一個挑戰 審計與存取標準的制定至關重要

在數字人民幣智能合約的實作中,最大挑戰在於設計能被整個金融機構接受的審計標準與存取機制。在限制型與開放型程式設計範式混合的環境中,必須明確定義在何種條件下授予何種層級的存取權限,以及執行內容如何被監控與記錄。

在兼顧技術彈性與規範要求的同時,確保金融系統的穩定性與透明度,將成為數字人民幣智能合約開發的下一個里程碑。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 留言
  • 轉發
  • 分享
留言
請輸入留言內容
請輸入留言內容
暫無留言