Zisk is a an open source zkVM where you can zkProof any program written in a high level language like rust
