全部 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 入门/科普 密码学 存储 其他

【zkMIPS系列】ZKM Prover—Memory & Logic Stark

in  zkMIPS解读

MemoryStark确保内存访问操作是按时间和地址顺序进行的，并且读取的值与之前写入的值一致。LogicSNARK确保逻辑运算的正确性。
zkVM  zkMIPS 
  • ZKM
  • 发布于 5天前
  • 阅读 ( 338 )
  • ( 7 )