极客日报 #1137
极客日报#1137
本期收录 3 条社区推荐，涉及 AA周报第二期、musclewiki、Proving universal machine executions without universal circuits。
2023年3月4日
本期推荐
AA周报第二期
一份关于 account abstraction 的周报，整合了时下最新有关 account abstraction 的 新闻/应用/黑客松与讨论
musclewiki
该网站是一个健身参考网站, 你可以选择你想要锻炼的部位，然后看可以如何训练，视频指导非常清晰
Proving universal machine executions without universal circuits
一种新的递归证明系统，用于在具有特定指令集（如EVM、RISC-V）的有状态机器上逐步生成程序正确执行的简洁证明。SuperNova的一个显著特点是，证明程序步骤的成本仅与表示程序步骤调用的指令的电路的大小成比例。这与使用通用电路的现有工作截然不同，其中证明程序步骤的成本至少与表示每个支持的指令的电路大小之和成比例，即使特定的程序步骤仅调用支持的指令之一。当然，SuperNova可以支持丰富的指令集，而不会影响每一步的证明成本。SuperNova通过构建先前的高速递归证明系统Nova，并以新的方式利用其内部构建块、折叠方案来实现其成本概况。
Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。