nexus-xyz / nexus-zkvm Rust 2.6K 546 The Nexus zkVM: The zero-knowledge virtual machine cryptography nexus rust snark