多年来，我一直依赖 @AndrewLewisPye 将淋浴时的灵感和博客文章转化为连贯的规范和证明。 很高兴能得到他的支持和监督，帮助我们为 @commonwarexyz 库设计新的机制。