Daniel Marin

Daniel Marin has worked with Nexus, a project developing a zero-knowledge virtual machine for verifiable computation.

1 talk by Daniel Marin

• Episode 335 - Groth16, IVC and Formal Verification with Nexus