优惠论坛

标题: 深入理解 TinyRAM [打印本页]

作者: 金色财经小编 时间: 2022-8-29 01:17

TinyRAM 是由大名鼎鼎的 BCTGTV五人组(Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza) 和 SCIPR 实验室提出的一种随机访问器架构，旨在成为表达非确定性计算证明性的便捷工具。具体来说，TinyRAM 是一种精简指令集计算机 (RISC)，具有字节级可寻址的随机存取存储器。它在“拥有足够表达能力”和“足够简约”这两个对立面之间取得平衡：

欢迎光临优惠论坛 (http://www.tcelue.tv/)