Interop with Zero-Knowledge Proof systems · FStarLang FStar · Discussion #3875 · GitHub

ple1n
Jun 23, 2025

Many ZK-systems work with RISCV, but there need helper libraries for optimization.

Some sort of extraction that is compatible with efficient proving of ZKPs

For latest ones I name https://github.com/powdr-labs/powdr

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment