Smart contracts add additional risks, which are not in most of the agreements fixed in the text:breaking the contract, unintentional program errors in the code or protocol. Why smart contracts Repablia better than others??? ?
Republia Virtual Machine is implemented using functional programming language Michelson, which supports formal code verification that allows to verify smart contract before it is launched on the network. Thus, due to formal code verification Republia VM will not execute smart contract in case an error occurs. Moreover, smart contracts correctness, because Turing completeness avoids fraud and delays in smart contracts. Smart contract, created on Republia platform, will never get caught in an endless loop, because it operates under the principle of a timestamp, which ensures execution of digital contract.
Enjoy Repaplia Ecosystem!