第 6 课 练习 ​

补充完整代码实现 STARK ​

根据提供的 jupyter notebook，将代码补充完整，使得整个 STARK 流程完整可证明和验证。

证明 $a_{n+2}=a_{n+1}^3+a_n$ ​

改变证明的内容，将公式改为：$a_{n+2}=a_{n+1}^3+a_n$

实现 Brainfuck 虚拟机 ​

参考以下资料实现 Brainfuck 虚拟机

• https://aszepieniec.github.io/stark-brainfuck/
• https://neptune.cash/learn/brainfuck-tutorial/

并尝试执行以下示例程序：

++>,<[>+.<-]

++>,<[>+.<-]