Etherum Reddit

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...

More / Etherum Reddit - 1 month ago

When using the ᴇɪᴘ‑197 precompile, is there a risk of forgery when allowing the degeneracy of bilinear pairings when using Groth16 with public inputs ? If not, how to rework the Groth16 protocol in order to let verifier ditching a pairing e(C,vk) when cal

The non degeneracy criteria is there’s no bilinear pairing resulting in the finite field element 1 equivalent. In the case of the optimal ate pairing, this can happen if one of the point of the pairing is the point at infinity : then whatever is the...