普鲁图斯说白了就是基于卡达诺那个叫阿达币去跑智能合约的一套东西。我头一回听见这个说法的时候心里也直打鼓, 觉得让程序员用哈斯克尔语言来写合约简直就是在折腾人。
后来我真正上手操作了才搞清楚, 它采用的那种形式化验证的思路, 跟你在纸上画电路图并且检查有没有短路故障是完全一样的道理, 也就是在逻辑层面根本不存在出错的可能性。
把Plutus编程方式和以太坊那套Solidity标准进行对比来看, 它的风格更偏向于传统工程师做事的方式, 虽然速度慢, 但写出来的东西真正能够经得起严密的逻辑检验。
我有一个朋友在去年负责进行DeFi协议迁移这个工作的时候, 光是编写测试用例这一点就耗费了整整三个礼拜的时间, 但是在正式启用之后确实没有发生过任何一次错误事故, 这让团队里的所有人都感到非常惊讶。
你要要是真的决心要去涉足这一条道路的话,那就不要仅仅是去刷那些短小的视频内容, 应该把Plutus里面的几篇核心论文给翻过来读上两遍, 这个做法比起任何其他的手段都要来得强劲有力。
