9 Commits

Author	SHA1	Message	Date
Mark Spanbroek	80dfa41e32	Remove calls to invalid() ... Gas estimation seems to work just fine without them?	2024-03-13 15:25:59 +01:00
Mark Spanbroek	f413f1ea64	Represent elements from field F_{p^2} as real + i * imag ... Reason: Circom and Ethereum EIP-197 both represent these elements as arrays of two elements, but they do it in reverse order of each other. This change makes it explicit which number is the real part, and which number is the imaginary part.	2024-02-21 10:42:41 +01:00
Mark Spanbroek	903cdf3541	Refactor verifier contract: formatting	2024-01-25 13:08:10 +01:00
Mark Spanbroek	70b22b241f	Refactor verifier contract: remove unnecessary conversions	2024-01-25 13:08:10 +01:00
Mark Spanbroek	676f4fc85e	Refactor verifier contract: use structs from Groth16.sol	2024-01-25 13:08:10 +01:00
Mark Spanbroek	dc0c2b7956	Refactor verifier contract: remove dead code	2024-01-25 13:08:10 +01:00
Mark Spanbroek	90c821fb61	Refactor verifier contract: remove unnecessary conversions	2024-01-25 13:08:10 +01:00
Mark Spanbroek	a066b6a007	Refactor verifier contract: fix linter warnings	2024-01-25 13:08:10 +01:00
Mark Spanbroek	6baf80d6f4	Refactor verifier contract: remove preprocessing	2024-01-25 13:08:10 +01:00