本文介绍了一种智能合约的设计模式——事实注册合约（Fact Registry Contract），该模式通过独立的合约来验证和记录声名的有效性。文章详细讨论了何时使用注册合约及其优缺点，特别是在高验证成本和利用简洁证明系统实现规模经济时的优势。作者强调了批量验证的方法如何降低气体成本，从而为不同合约提供经济规模效益。
作者分享了自己从偏好宽松开源许可证（permissive）转向偏好著佐权许可证（copyleft）的原因。过去偏好宽松许可证是为了最大化作品的采用和传播，以及对版权的哲学性反感。现在转向 copyleft 是因为开源已成为主流，加密领域的竞争加剧，适度的强制开放是有益的。
starkware
Vitalik Buterin