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
2 replies
1 recast
9 reactions
accountless
@accountless.eth
“The key size, there are generally two types of cryptographic keys, commonly as fixtures, the verifier key and the prover key. Trust me, they can be insanely huge sometimes. “ 👀
1 reply
0 recast
0 reaction
Song Z
@songz
An early prototype of ours with Halo2 produced a 3GB prover key. 🫠
1 reply
0 recast
2 reactions
novalunosis 🌌
@novalunosis.eth
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
