标签： Formal Verification

3 posts
PoD-Tiny——实现零信任交易的最简协议
zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易
Don’t Test, Verify —— 哪个故事真正符合你对形式化验证的想象？