Content
@
0 reply
0 recast
0 reaction
Song Z
@songz
Well… I finished this piece a long time ago and finally decide to finish editing it. Thinking about giving a talk about it on #ETHDenver https://pgrph.xyz/@songz.eth/zk-on-client-side
1 reply
1 recast
10 reactions
@
0 reply
0 recast
0 reaction
Song Z
@songz
An early prototype of ours with Halo2 produced a 3GB prover key. 🫠
1 reply
0 recast
1 reaction
novalunosis 🌌
@novalunosis
Is it typical for assymetric keys that they are so huge? Any clue What the cause of that is?
1 reply
0 recast
0 reaction
Dean Pierce 👨💻🌎🌍
@deanpierce.eth
As I understand it, imagine the entire logic of the proof laid out in a giant truth table with all possible inputs and outputs. Now, you need to find a curve that hits every point on the table, so you start stacking up a huge Lagrangian polynomial. That's the proving key. Multiply the input by the curve for the proof.
0 reply
0 recast
2 reactions
