Content
@
0 reply
0 recast
0 reaction
EulerLagrangodamus - bank/acc
@eulerlagrange.eth
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
1 reply
1 recast
7 reactions
EulerLagrangodamus - bank/acc
@eulerlagrange.eth
@crites
1 reply
0 recast
0 reaction
josh crites
@crites
Hmm not sure. @zpedro ?
2 replies
0 recast
1 reaction
zpedro
@zpedro
The easiest way is by using NoirJS to get the VK (through generateProofArtifacts) but I’m sure there’s a hacky way to get barretenberg spit it out somehow…
1 reply
0 recast
1 reaction
EulerLagrangodamus - bank/acc
@eulerlagrange.eth
I tried that, but the VK comes out as a uint8array. In the example it’s an array of Field (254-bit) Would appreciate a Nargo function that did this automatically 😅
1 reply
0 recast
0 reaction
