Skip to content

第 6 课 练习

补充完整代码实现 STARK

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

证明 an+2=an+13+an

改变证明的内容,将公式改为:an+2=an+13+an

实现 Brainfuck 虚拟机

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

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

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