8000 GitHub - felicityin/zkMIPS: An open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
forked from ProjectZKM/Ziren

An open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2

License

Notifications You must be signed in to change notification settings

felicityin/zkMIPS

 
 
82C1

Repository files navigation

zkmreadme

zkMIPS

zkMIPS is an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 instruction set architecture(ISA).

zkMIPS is the industry's first zero-knowledge proof virtual machine supporting the MIPS instruction set, developed by the ZKM team, enabling zero-knowledge proof generation for general-purpose computation. zkMIPS is fully open-source and comes equipped with a comprehensive developer toolkit and an efficient proof network. The Entangled Rollup protocol, built on zkMIPS, is a native asset cross-chain circulation protocol, with typical application cases including Metis Hybrid Rollup and GOAT Network.

Why MIPS?

  • MIPS is stable and comprehensive and has an established ecosystem and a great compatibility, like Optimizm Fraud proof VM
  • MIPS32r2 vs RV32IM
  • J/JAL series instructions have a jump range of up to 256MiB
  • Rich bit manipulation instructions
  • More conditional selection instructions, MOVZ, MOVN etc.

Acknowledgements

The zkMIPS draws inspiration from the following projects, which represents the cutting-edge zero-knowledge proof systems.

  • Plonky3: zkMIPS proving backend is based on Plonky3.
  • SP1: zkMIPS recursion compiler, circuit builder, precompiles originate from SP1.

About

An open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 96.1%
  • Go 3.2%
  • Assembly 0.6%
  • Shell 0.1%
  • Makefile 0.0%
  • Solidity 0.0%
0