Daniel Marin

icon indicating a website link https://danielmarin.xyz

icon company @nexus-xyz icon location San Francisco, California icon location Building @nexus-xyz | prev. Stanford.

Results 12 comments of Daniel Marin

add `rust-toolchain.toml` for the host program

Thanks @onur-ozkan, @slumber can you take a look?

WIP: HyperKZG verifier circuit

@GUJustin the second two-step recursion system is actually how we've dealt with Nova + CycleFold proof compression to reach Ethereum verifiability. i.e., (modified)Spartan-with-Zeromorph-over-Grumpkin proved by Groth16-over-BN254. Still, we needed very...