Mopro RISC0 Flutter

It uses the R1CS0 template together with the new Flutter bindings, enabling seamless integration into native mobile apps on both iOS and Android. With this setup, a zkVM can run directly on mobile devices.

R1SC0 is a zkVM that lets developers write zero-knowledge programs in pure Rust, without needing to learn a specialized circuit DSL. You can integrate any Rust crate into R1SC0, making it significantly easier to build zk-enabled applications.

With mopro, you can also integrate those same Rust crates directly into your mobile apps, giving you an end-to-end workflow for building and deploying zk applications on mobile.

It uses the mopro CLI to generate bindings, where you can choose the Flutter bindings option. These bindings are powered by flutter_rust_bridge, so once you specify a Rust crate and expose functions with pub fn ..., the tool automatically generates the corresponding Dart bindings for Flutter.

In your Flutter app, you simply include the generated bindings in your pubspec.yaml, and you can immediately call the exported Rust functions from Dart. The mopro CLI streamlines this entire workflow, making Rust–Flutter integration seamless and developer-friendly.