diff --git a/docs/src/gas_consumption.md b/docs/src/gas_consumption.md index 51a58002..2a4cc559 100644 --- a/docs/src/gas_consumption.md +++ b/docs/src/gas_consumption.md @@ -4,9 +4,9 @@ ## Verifier -| Test case | Gas used | +| Test case | Gas used | | --------- | -------- | -| new_verifier_succeeds | 32320282 | +| new_verifier_succeeds | 24308849 ## ecAdd @@ -15,34 +15,35 @@ The test cases are a subset of Ethereum’s [General State Tests](https://github | Test case | Gas used | | --------- | -------- | -| ecadd_0_0_0_0_21000_0 | 53973 | -| ecadd_0_0_0_0_21000_64 | 53991 | -| ecadd_0_0_0_0_25000_128 | 53991 | -| ecadd_0_0_0_0_21000_128 | 53991 | -| ecadd_0_0_0_0_25000_192 | 53991 | -| ecadd_0_0_0_0_21000_192 | 53991 | -| ecadd_0_0_0_0_21000_80 | 53991 | -| ecadd_0_0_0_0_25000_64 | 53991 | -| ecadd_0_0_1_2_21000_128 | 54465 | -| ecadd_0_0_1_2_25000_192 | 54465 | -| ecadd_0_0_1_2_25000_128 | 54465 | -| ecadd_0_0_0_0_25000_80 | 53991 | -| ecadd_0_0_1_2_21000_192 | 54465 | -| ecadd_1145_3932_2969_1336_21000_128 | 90285 | -| ecadd_1145_3932_1145_4651_25000_192 | 54573 | -| ecadd_1145_3932_2969_1336_25000_128 | 90285 | -| ecadd_1145_3932_1145_4651_21000_192 | 54573 | -| ecadd_1_2_0_0_21000_128 | 54507 | -| ecadd_1_2_0_0_21000_192 | 54507 | -| ecadd_1_2_0_0_21000_64 | 54507 | -| ecadd_1_2_0_0_25000_128 | 54507 | -| ecadd_1_2_0_0_25000_64 | 54507 | -| ecadd_1_2_1_2_25000_128 | 92469 | -| ecadd_1_2_1_2_21000_192 | 92469 | -| ecadd_1_2_0_0_25000_192 | 54507 | -| ecadd_1_2_1_2_21000_128 | 92469 | -| ecadd_1_2_1_2_25000_192 | 92469 | -| ecadd_0_0_0_0_25000_0 | 53973 | +| ecadd_0_0_0_0_21000_128 | 50540 | +| ecadd_0_0_0_0_25000_0 | 50522 | +| ecadd_0_0_0_0_21000_64 | 50540 | +| ecadd_0_0_0_0_21000_0 | 50522 | +| ecadd_0_0_0_0_21000_80 | 50540 | +| ecadd_0_0_0_0_25000_128 | 50540 | +| ecadd_0_0_0_0_21000_192 | 50540 | +| ecadd_0_0_0_0_25000_192 | 50540 | +| ecadd_0_0_0_0_25000_64 | 50540 | +| ecadd_0_0_0_0_25000_80 | 50540 | +| ecadd_0_0_1_2_21000_192 | 50930 | +| ecadd_0_0_1_2_25000_128 | 50930 | +| ecadd_0_0_1_2_21000_128 | 50930 | +| ecadd_0_0_1_2_25000_192 | 50930 | +| ecadd_1145_3932_1145_4651_21000_192 | 51050 | +| ecadd_1145_3932_1145_4651_25000_192 | 51050 | +| ecadd_1145_3932_2969_1336_25000_128 | 84458 | +| ecadd_1_2_0_0_25000_128 | 50978 | +| ecadd_1_2_0_0_21000_192 | 50978 | +| ecadd_1145_3932_2969_1336_21000_128 | 84458 | +| ecadd_1_2_0_0_21000_64 | 50978 | +| ecadd_1_2_0_0_21000_128 | 50978 | +| ecadd_1_2_0_0_25000_192 | 50978 | +| ecadd_1_2_0_0_25000_64 | 50978 | +| ecadd_1_2_1_2_21000_128 | 87260 | +| ecadd_1_2_1_2_21000_192 | 87260 | +| ecadd_1_2_1_2_25000_192 | 87260 | +| ecadd_1_2_1_2_25000_128 | 87260 | + ## ecMul @@ -51,124 +52,124 @@ The test cases are a subset of Ethereum’s [General State Tests](https://github | Test case | Gas used | | --------- | -------- | -| ecmul_0_0_0_21000_96 | 54546 | -| ecmul_0_0_0_21000_64 | 54546 | -| ecmul_0_0_0_21000_128 | 54546 | -| ecmul_0_0_0_21000_0 | 54528 | -| ecmul_0_0_0_21000_40 | 54546 | -| ecmul_0_0_0_28000_0 | 54528 | -| ecmul_0_0_0_28000_128 | 54546 | -| ecmul_0_0_0_21000_80 | 54546 | -| ecmul_0_0_0_28000_40 | 54546 | -| ecmul_0_0_1_21000_96 | 54546 | -| ecmul_0_0_0_28000_80 | 54546 | -| ecmul_0_0_0_28000_96 | 54546 | -| ecmul_0_0_1_28000_96 | 54546 | -| ecmul_0_0_0_28000_64 | 54546 | -| ecmul_0_0_1_21000_128 | 54546 | -| ecmul_0_0_1_28000_128 | 54546 | -| ecmul_0_0_2_21000_128 | 54546 | -| ecmul_0_0_2_28000_128 | 54546 | -| ecmul_0_0_340282366920938463463374607431768211456_21000_128 | 54546 | -| ecmul_0_0_2_21000_96 | 54546 | -| ecmul_0_0_2_28000_96 | 54546 | -| ecmul_0_0_340282366920938463463374607431768211456_28000_128 | 54546 | -| ecmul_0_0_340282366920938463463374607431768211456_21000_80 | 54546 | -| ecmul_0_0_340282366920938463463374607431768211456_21000_96 | 54546 | -| ecmul_0_0_340282366920938463463374607431768211456_28000_80 | 54546 | -| ecmul_0_0_340282366920938463463374607431768211456_28000_96 | 54546 | -| ecmul_0_0_5616_21000_96 | 54546 | -| ecmul_0_0_5616_21000_128 | 54546 | -| ecmul_0_0_5616_28000_128 | 54546 | -| ecmul_0_0_5617_21000_128 | 54546 | -| ecmul_0_0_5617_28000_128 | 54546 | -| ecmul_0_0_5617_21000_96 | 54546 | -| ecmul_0_0_5617_28000_96 | 54546 | -| ecmul_0_0_5616_28000_96 | 54546 | -| ecmul_0_0_9935_21000_128 | 54546 | -| ecmul_0_0_9935_28000_128 | 54546 | -| ecmul_0_0_9935_21000_96 | 54546 | -| ecmul_0_0_9935_28000_96 | 54546 | -| ecmul_0_0_9_21000_128 | 54546 | -| ecmul_0_0_9_28000_128 | 54546 | -| ecmul_0_0_9_21000_96 | 54546 | -| ecmul_0_0_9_28000_96 | 54546 | -| ecmul_1_2_0_21000_128 | 54996 | -| ecmul_1_2_0_21000_64 | 54996 | -| ecmul_1_2_0_21000_80 | 54996 | -| ecmul_1_2_0_28000_128 | 54996 | -| ecmul_1_2_0_28000_80 | 54996 | -| ecmul_1_2_1_21000_128 | 55008 | -| ecmul_1_2_1_21000_96 | 55008 | -| ecmul_1_2_0_28000_64 | 54996 | -| ecmul_1_2_0_28000_96 | 54996 | -| ecmul_1_2_1_28000_128 | 55008 | -| ecmul_1_2_1_28000_96 | 55008 | -| ecmul_1_2_0_21000_96 | 54996 | -| ecmul_1_2_2_21000_128 | 93108 | -| ecmul_1_2_2_28000_128 | 93108 | -| ecmul_1_2_2_21000_96 | 93108 | -| ecmul_1_2_2_28000_96 | 93108 | -| ecmul_1_2_340282366920938463463374607431768211456_21000_96 | 239382 | -| ecmul_1_2_340282366920938463463374607431768211456_28000_128 | 239382 | -| ecmul_1_2_340282366920938463463374607431768211456_21000_80 | 239382 | -| ecmul_1_2_340282366920938463463374607431768211456_28000_80 | 239382 | -| ecmul_1_2_340282366920938463463374607431768211456_28000_96 | 239382 | -| ecmul_1_2_5616_21000_128 | 527424 | -| ecmul_1_2_5616_21000_96 | 527424 | -| ecmul_1_2_340282366920938463463374607431768211456_21000_128 | 239382 | -| ecmul_1_2_5616_28000_128 | 527424 | -| ecmul_1_2_5617_21000_96 | 493410 | -| ecmul_1_2_5617_28000_96 | 493410 | -| ecmul_1_2_5617_21000_128 | 493410 | -| ecmul_1_2_616_28000_96 | 527424 | -| ecmul_1_2_5617_28000_128 | 493410 | -| ecmul_1_2_9935_21000_128 | 753546 | -| ecmul_1_2_9935_21000_96 | 753546 | -| ecmul_1_2_9_21000_128 | 96390 | -| ecmul_1_2_9935_28000_128 | 753546 | -| ecmul_1_2_9935_28000_96 | 753546 | -| ecmul_1_2_9_21000_96 | 96390 | -| ecmul_1_2_9_28000_128 | 96390 | -| ecmul_1_2_9_28000_96 | 96390 | -| ecmul_7827_6598_0_21000_128 | 54996 | -| ecmul_7827_6598_0_28000_64 | 54996 | -| ecmul_7827_6598_0_21000_64 | 54996 | -| ecmul_7827_6598_0_28000_128 | 54996 | -| ecmul_7827_6598_0_21000_96 | 54996 | -| ecmul_7827_6598_0_21000_80 | 54996 | -| ecmul_7827_6598_0_28000_96 | 54996 | -| ecmul_7827_6598_1456_28000_128 | 239340 | -| ecmul_7827_6598_1456_21000_80 | 239340 | -| ecmul_7827_6598_1456_21000_96 | 239340 | -| ecmul_7827_6598_0_28000_80 | 54996 | -| ecmul_7827_6598_1456_21000_128 | 239340 | -| ecmul_7827_6598_1456_28000_80 | 239340 | -| ecmul_7827_6598_1456_28000_96 | 239340 | -| ecmul_7827_6598_1_21000_128 | 55008 | -| ecmul_7827_6598_1_28000_128 | 55008 | -| ecmul_7827_6598_1_21000_96 | 55008 | -| ecmul_7827_6598_1_28000_96 | 55008 | -| ecmul_7827_6598_2_21000_128 | 90840 | -| ecmul_7827_6598_2_21000_96 | 90840 | -| ecmul_7827_6598_5616_21000_128 | 526626 | -| ecmul_7827_6598_2_28000_128 | 90840 | -| ecmul_7827_6598_2_28000_96 | 90840 | -| ecmul_7827_6598_5616_21000_96 | 526626 | -| ecmul_7827_6598_5616_28000_128 | 526626 | -| ecmul_7827_6598_5616_28000_96 | 526626 | -| ecmul_7827_6598_5617_28000_128 | 493410 | -| ecmul_7827_6598_5617_21000_128 | 493410 | -| ecmul_7827_6598_5617_21000_96 | 493410 | -| ecmul_7827_6598_5617_28000_96 | 493410 | -| ecmul_7827_6598_9935_21000_128 | 754734 | -| ecmul_7827_6598_9935_21000_96 | 754734 | -| ecmul_7827_6598_9935_28000_96 | 754734 | -| ecmul_7827_6598_9935_28000_128 | 754734 | -| ecmul_7827_6598_9_21000_96 | 96822 | -| ecmul_7827_6598_9_21000_128 | 96822 | -| ecmul_7827_6598_9_28000_128 | 96822 | -| ecmul_7827_6598_9_28000_96 | 96822 | +| ecmul_0_0_0_21000_96 | 51013 | +| ecmul_0_0_0_21000_0 | 50995 | +| ecmul_0_0_0_28000_0 | 50995 | +| ecmul_0_0_0_21000_40 | 51013 | +| ecmul_0_0_0_21000_128 | 51013 | +| ecmul_0_0_0_21000_80 | 51013 | +| ecmul_0_0_0_28000_40 | 51013 | +| ecmul_0_0_0_28000_80 | 51013 | +| ecmul_0_0_0_28000_96 | 51013 | +| ecmul_0_0_0_28000_128 | 51013 | +| ecmul_0_0_0_21000_64 | 51013 | +| ecmul_0_0_1_21000_128 | 51013 | +| ecmul_0_0_0_28000_64 | 51013 | +| ecmul_0_0_1_21000_96 | 51013 | +| ecmul_0_0_1_28000_128 | 51013 | +| ecmul_0_0_1_28000_96 | 51013 | +| ecmul_0_0_2_21000_128 | 51013 | +| ecmul_0_0_2_21000_96 | 51013 | +| ecmul_0_0_2_28000_128 | 51013 | +| ecmul_0_0_2_28000_96 | 51013 | +| ecmul_0_0_340282366920938463463374607431768211456_21000_128 | 51013 | +| ecmul_0_0_340282366920938463463374607431768211456_21000_80 | 51013 | +| ecmul_0_0_340282366920938463463374607431768211456_21000_96 | 51013 | +| ecmul_0_0_340282366920938463463374607431768211456_28000_80 | 51013 | +| ecmul_0_0_340282366920938463463374607431768211456_28000_128 | 51013 | +| ecmul_0_0_340282366920938463463374607431768211456_28000_96 | 51013 | +| ecmul_0_0_5616_21000_128 | 51013 | +| ecmul_0_0_5616_21000_96 | 51013 | +| ecmul_0_0_5616_28000_128 | 51013 | +| ecmul_0_0_5616_28000_96 | 51013 | +| ecmul_0_0_5617_21000_128 | 51013 | +| ecmul_0_0_5617_21000_96 | 51013 | +| ecmul_0_0_5617_28000_128 | 51013 | +| ecmul_0_0_5617_28000_96 | 51013 | +| ecmul_0_0_9935_21000_128 | 51013 | +| ecmul_0_0_9935_21000_96 | 51013 | +| ecmul_0_0_9935_28000_128 | 51013 | +| ecmul_0_0_9_21000_128 | 51013 | +| ecmul_0_0_9_21000_96 | 51013 | +| ecmul_0_0_9_28000_128 | 51013 | +| ecmul_0_0_9_28000_96 | 51013 | +| ecmul_0_0_9935_28000_96 | 51013 | +| ecmul_1_2_0_21000_128 | 51379 | +| ecmul_1_2_0_21000_64 | 51379 | +| ecmul_1_2_0_21000_80 | 51379 | +| ecmul_1_2_0_21000_96 | 51379 | +| ecmul_1_2_0_28000_128 | 51379 | +| ecmul_1_2_0_28000_64 | 51379 | +| ecmul_1_2_0_28000_96 | 51379 | +| ecmul_1_2_1_21000_128 | 51391 | +| ecmul_1_2_0_28000_80 | 51379 | +| ecmul_1_2_1_21000_96 | 51391 | +| ecmul_1_2_1_28000_128 | 51391 | +| ecmul_1_2_1_28000_96 | 51391 | +| ecmul_1_2_2_21000_128 | 87667 | +| ecmul_1_2_2_28000_128 | 87667 | +| ecmul_1_2_2_21000_96 | 87667 | +| ecmul_1_2_2_28000_96 | 87667 | +| ecmul_1_2_340282366920938463463374607431768211456_21000_128 | 191065 | +| ecmul_1_2_340282366920938463463374607431768211456_21000_96 | 191065 | +| ecmul_1_2_340282366920938463463374607431768211456_21000_80 | 191065 | +| ecmul_1_2_340282366920938463463374607431768211456_28000_128 | 191065 | +| ecmul_1_2_340282366920938463463374607431768211456_28000_80 | 191065 | +| ecmul_1_2_5616_21000_128 | 404029 | +| ecmul_1_2_340282366920938463463374607431768211456_28000_96 | 191065 | +| ecmul_1_2_5616_21000_96 | 404029 | +| ecmul_1_2_5616_28000_128 | 404029 | +| ecmul_1_2_5617_21000_128 | 371839 | +| ecmul_1_2_5617_21000_96 | 371839 | +| ecmul_1_2_5617_28000_128 | 371839 | +| ecmul_1_2_9935_21000_128 | 576133 | +| ecmul_1_2_616_28000_96 | 404029 | +| ecmul_1_2_9935_21000_96 | 576133 | +| ecmul_1_2_9935_28000_128 | 576133 | +| ecmul_1_2_5617_28000_96 | 371839 | +| ecmul_1_2_9935_28000_96 | 576133 | +| ecmul_1_2_9_21000_128 | 89005 | +| ecmul_1_2_9_21000_96 | 89005 | +| ecmul_1_2_9_28000_128 | 89005 | +| ecmul_1_2_9_28000_96 | 89005 | +| ecmul_7827_6598_0_21000_128 | 51379 | +| ecmul_7827_6598_0_28000_96 | 51379 | +| ecmul_7827_6598_0_21000_64 | 51379 | +| ecmul_7827_6598_0_21000_80 | 51379 | +| ecmul_7827_6598_0_21000_96 | 51379 | +| ecmul_7827_6598_0_28000_128 | 51379 | +| ecmul_7827_6598_0_28000_64 | 51379 | +| ecmul_7827_6598_0_28000_80 | 51379 | +| ecmul_7827_6598_1456_21000_128 | 190975 | +| ecmul_7827_6598_1_21000_128 | 51391 | +| ecmul_7827_6598_1456_21000_80 | 190975 | +| ecmul_7827_6598_1456_21000_96 | 190975 | +| ecmul_7827_6598_1456_28000_128 | 190975 | +| ecmul_7827_6598_1456_28000_80 | 190975 | +| ecmul_7827_6598_1456_28000_96 | 190975 | +| ecmul_7827_6598_1_21000_96 | 51391 | +| ecmul_7827_6598_1_28000_128 | 51391 | +| ecmul_7827_6598_1_28000_96 | 51391 | +| ecmul_7827_6598_2_21000_96 | 84751 | +| ecmul_7827_6598_2_28000_96 | 84751 | +| ecmul_7827_6598_5616_21000_128 | 403195 | +| ecmul_7827_6598_2_21000_128 | 84751 | +| ecmul_7827_6598_2_28000_128 | 84751 | +| ecmul_7827_6598_5616_21000_96 | 403195 | +| ecmul_7827_6598_5616_28000_128 | 403195 | +| ecmul_7827_6598_5617_21000_128 | 371839 | +| ecmul_7827_6598_5616_28000_96 | 403195 | +| ecmul_7827_6598_5617_28000_128 | 371839 | +| ecmul_7827_6598_5617_21000_96 | 371839 | +| ecmul_7827_6598_9935_21000_128 | 577303 | +| ecmul_7827_6598_5617_28000_96 | 371839 | +| ecmul_7827_6598_9935_21000_96 | 577303 | +| ecmul_7827_6598_9_21000_128 | 89431 | +| ecmul_7827_6598_9_21000_96 | 89431 | +| ecmul_7827_6598_9_28000_128 | 89431 | +| ecmul_7827_6598_9935_28000_128 | 577303 | +| ecmul_7827_6598_9935_28000_96 | 577303 | +| ecmul_7827_6598_9_28000_96 | 89431 |