zkRiscV
ZK CPU emulator
A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness
A Risc-V CPU implemented as a zk-SNARK
47 stars
3 watching
6 forks
Language: JavaScript
last commit: about 2 years ago risc-vzk-snarks
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ronsor/riscv-zig | A RISC-V CPU emulator written in Zig. | 48 |
 s-macke/jor1k | An emulator for the OpenRISC 1000 processor written in JavaScript | 1,737 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,838 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 chipsalliance/riscv-dv | An instruction generator for RISC-V processor verification | 1,027 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 meilof/geppetri | An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation | 16 |
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
| chipsalliance/dromajo | An emulator designed to run RISC-V RV64GC code on RTL co-simulation hardware | 217 |
 mrlsd/riscv-fs | A F# implementation of the RISC-V Instruction Set Architecture | 282 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 119 |
 polarikus/flipper-zero_bc_scanner_emulator | An emulator that simulates a barcode scanner for testing cash registers | 143 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,023 |
 zliuva/ktlswrapper | Enables TLS support without modifying existing applications | 23 |