Noir

https://github.com/noir-lang/noir-examples/blob/master/recursion/packages/noir/recursion/Prover.toml

Is there a quick way to setup a Prover.toml for a recursive proof?

I want the vk in the necessary format

working on blockchain privacy

https://joshcrites.com

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity
/eulerlagrange

How did the guy who made the demo get it?

If I can make a suggestion, instead of putting the key in the toml, maybe just have “verification_key” be a reserved name, where you reference by name the intended circuit?

Then it’ll automatically make sure to use right key, instead of me having to paste it each time.

cc @brunny @savio @zkpedro.eth

@zkpedro.eth is the guy who made the demo 😁