zkRiscV
by lucasgleba
A Risc-V CPU implemented as a zk-SNARK
AI summary
ZK CPU emulator
A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness
- stars
- 47
- forks
- 6
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
CPU emulator
A RISC-V CPU emulator written in Zig.
s-macke/jor1k1.7K
Processor Emulator
An emulator for the OpenRISC 1000 processor written in JavaScript
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
RISC-V simulator
An instruction generator for RISC-V processor verification
iden3/snarkjs1.8K
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
zk-SNARK system
An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation
Emulator
An emulator designed to run RISC-V RV64GC code on RTL co-simulation hardware
RISC-V emulator
A F# implementation of the RISC-V Instruction Set Architecture
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
Barcode simulator
An emulator that simulates a barcode scanner for testing cash registers
Circuit builder
A crate for building and implementing zk-SNARK circuits
TLS wrapper
Enables TLS support without modifying existing applications
