当前位置：网站首页>TritonVM——基于Recursive STARK的虚拟机

TritonVM——基于Recursive STARK的虚拟机

2022-08-04 19:08:00 【mutourend】

1. 引言

TritonVM为：

  • Algebraic Execution Tables（AET）
  • Arithmetic Intermediate Representations（AIR）
  • STARK proof system

三者结合的虚拟机。
TritonVMs定义了：

  • 图灵完备的指令集架构——为具有RAM的stack machine，为具有read-only memory for program的哈佛架构。
  • VM的arithmetization
  • 可实现recursive verification of STARK proofs

开源代码见：

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

原网站

版权声明
本文为[mutourend]所创，转载请带上原文链接，感谢
https://blog.csdn.net/mutourend/article/details/126155121

边栏推荐

猜你喜欢

随机推荐