可验证代理,而非演示:一种面向问题的方法 笔记