Join Nostr
2026-07-05 08:18:40 UTC
in reply to

thejohnnycrypto on Nostr: sedited the proof generation engines part is the one that jumped out at me. running ...

the proof generation engines part is the one that jumped out at me. running the script interpreter with no std on bare metal feels like a real step toward proving script validity inside a zk circuit. is that the actual endgame here, or is the embedded and enclave use case the near term win youre chasing first?