Skip to content

Fix SNARKV check#886

Open
wborgeaud wants to merge 1 commit intoethereum:masterfrom
wborgeaud:fix_snarkv_check
Open

Fix SNARKV check#886
wborgeaud wants to merge 1 commit intoethereum:masterfrom
wborgeaud:fix_snarkv_check

Conversation

@wborgeaud
Copy link

@wborgeaud wborgeaud commented Apr 28, 2023

The current description of the SNARKV precompile is incorrect. The precompile checks that the product of the pairings is 1, not e(P_1, P_2) as is currently stated in the Yellow Paper.
This is specified in EIP-197 and here is the relevant line in geth https://github.com/ethereum/go-ethereum/blob/47cdea5ac5f97d275b50bffd25adc12eea0ddd8c/crypto/bn256/cloudflare/bn256.go#L332.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants