Web3 极客日报 #1137 | Rebase Network | Rebase 社区
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:该网站是一个健身参考网站, 你可以选择你想要锻炼的部位,然后看可以如何训练,视频指导非常清晰...