7 Commits

Author	SHA1	Message	Date
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	ec803adb3d	Test verifier accepts any proof, except all 0 values	2024-01-31 15:45:01 +01:00
Mark Spanbroek	70b22b241f	Refactor verifier contract: remove unnecessary conversions	2024-01-25 13:08:10 +01:00
Mark Spanbroek	c0ca508a6b	Refactor verifier contract: public input as dynamic array	2024-01-25 13:08:10 +01:00
Mark Spanbroek	f3e2186ec2	Update solidity to 0.8.23	2024-01-25 13:08:10 +01:00
Mark Spanbroek	e1657acdd0	Stub out zk proof verification in marketplace tests	2024-01-25 13:08:10 +01:00
Mark Spanbroek	db124ddbd9	Re-arrange marketplace constructor parameters ... first configuration, then contracts that we depend on	2024-01-25 13:08:10 +01:00