ziskvm

ZisK is an open-source ZK proving toolstack featuring a zkVM. It allows to build circuits in high level languages like rust. 
zisk.technology