本文介绍了一种智能合约的设计模式——事实注册合约（Fact Registry Contract），该模式通过独立的合约来验证和记录声名的有效性。文章详细讨论了何时使用注册合约及其优缺点，特别是在高验证成本和利用简洁证明系统实现规模经济时的优势。作者强调了批量验证的方法如何降低气体成本，从而为不同合约提供经济规模效益。
starkware