RHOLANG
-
Rholang（第3课）：传音筒、"name"和“process” | 技术帖
rholang是一种并发编程语言，由于它自带形式化验证特性，因此用rholang在RChain上编写智能合约可以避免合约出现BUG，从而保障了整个RChain网络的安全性和健壮性。
rholang是一种并发编程语言，由于它自带形式化验证特性，因此用rholang在RChain上编写智能合约可以避免合约出现BUG，从而保障了整个RChain网络的安全性和健壮性。
