8000 GitHub - babybear-labs/gvm: [WIP] GKR based VM · GitHub

Repository navigation

gvm

Public

About

[WIP] GKR based VM

Custom properties

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.idea		.idea
docs		docs
goldilocks		goldilocks
multilinear_extensions		multilinear_extensions
poseidon		poseidon
sumcheck		sumcheck
transcript		transcript
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
rust-toolchain.toml		rust-toolchain.toml

Repository files navigation

GVM

Very much work in progress. Nothing works.

GKR based VM

Proof System: GKR
Instruction Set: RISC-V

Reference

Ceno

About

[WIP] GKR based VM

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages

0