All Questions
Tagged with snarks finite-field
2 questions
1
vote
1
answer
74
views
Prod Check Gadget in PLONK - any polynomial which satisfies the prod check seems to be the trivial polynomial
In Dan Boneh's PLONK Video - https://www.youtube.com/watch?v=vxyoPM2m7Yg he refers to the Prod Check Gadget
$\omega \in F_p$ is a primitive $k$-th root of unity ($\omega^{k-1} = 1$)
$H = \{1, \omega, \...
- 2,316
2
votes
2
answers
258
views
A field element as the exponent of a group element
The R1CS constraints are expressed over finite fields. Many proofing systems, such as zk-SNARK, use prover keys such as $g^{\alpha^0}, g^{\alpha^1}, ..., g^{\alpha^n}$ where $\alpha$ is a field ...
- 109