huh, TIL there is a zero knowledge... thingy, that works by: - using postcard somehow - executes as an rv32 emulator I think this is using riscv as the virtual machine for zero knowledge proof stuff? But apparently having `alloc` but not atomics breaks it: github.com/nexus-xyz/ne... oops :p

[BUG]: quick start example fails to compile · Issue #274 · nexus-xyz/nexus-zkvm

Following https://docs.nexus.xyz/zkvm/sdk-quick-start with the given host and guest example programs: #![cfg_attr(target_arch = "riscv32", no_std, no_main)] use nexus_rt::{println, read_private_inp...

fascinating, definitely not the only riscv based zkvm project (see Risc Zero). never heard of this or anybody in the contributor graph despite following zk & adjacent spaces pretty closely