1. Proving universal machine executions without universal circuits
https://eprint.iacr.org/2022/1758
@Dream:一种新的递归证明系统，用于在具有特定指令集（如EVM、RISC-V）的有状态机器上逐步生成程序正确执行的简洁证明。SuperNova的一个显著特点是，证明程序步骤的成本仅与表示程序步骤调用的指令的电路的大小成比例。这与使用通用电路的现有工作截然不同，其中证明程序步骤的成本至少与表示每个支持的指令的电路大小之和成比例，即使特定的程序步骤仅调用支持的指令之一。当然，SuperNova可以支持丰富的指令集，而不会影响每一步的证明成本。SuperNova通过构建先前的高速递归证明系统Nova，并以新的方式利用其内部构建块、折叠方案来实现其成本概况。
2. musclewiki
https://musclewiki.com/
@Caos:该网站是一个健身参考网站, 你可以选择你想要锻炼的部位，然后看可以如何训练，视频指导非常清晰
3. AA周报第二期
https://mirror.xyz/skyhighfeng.eth/4JV5QJINxzOBR3qtUEcgyG8DC3kHS2O4JWsZ83cDdqc
@昊暠skyh:一份关于 account abstraction 的周报，整合了时下最新有关 account abstraction 的 新闻/应用/黑客松与讨论
Web3极客日报是为Web3时代的极客们准备的一份日报，它是由一群极客们推荐他们认为有价值的内容并附上一段推荐语，最后通过Rebase的成员整理编辑。
网站:https://rebase.network
公众号:rebase_network
