Mark Spanbroek 53999c74d3 Provide all gas to precompiles ...

Rationale: subtracting 2000 from the provided gas seems
arbitrary, and doesn't provide any benefits. Whether
verify() fails with an out-of-gas error, or returns
'false', in both cases the proof is not verified.

Co-Authored-By: Balazs Komuves <bkomuves@gmail.com>

2024-03-13 15:25:59 +01:00

..

Configuration.sol

feat: zkey hash in marketplace config (#81)

2024-01-30 06:36:27 +01:00

Endian.sol

Update solidity to 0.8.23

2024-01-25 13:08:10 +01:00

FuzzMarketplace.sol

Explicit getters for token and config

2024-02-06 12:27:40 +01:00

Groth16.sol

uint -> uint256

2024-03-13 15:25:59 +01:00

Groth16Verifier.sol

Provide all gas to precompiles

2024-03-13 15:25:59 +01:00

Marketplace.sol

Explicit getters for token and config

2024-02-06 12:27:40 +01:00

Periods.sol

Update solidity to 0.8.23

2024-01-25 13:08:10 +01:00

Proofs.sol

Refactor verifier contract: remove unnecessary conversions

2024-01-25 13:08:10 +01:00

Requests.sol

Update solidity to 0.8.23

2024-01-25 13:08:10 +01:00

StateRetrieval.sol

Update solidity to 0.8.23

2024-01-25 13:08:10 +01:00

TestEndian.sol

Conversion between little and big endian

2024-01-25 13:08:10 +01:00

TestMarketplace.sol

Refactor verifier contract: remove unnecessary conversions

2024-01-25 13:08:10 +01:00

TestProofs.sol

Refactor verifier contract: remove unnecessary conversions

2024-01-25 13:08:10 +01:00

TestToken.sol

Lint with solhint

2022-02-10 07:46:03 +01:00

TestVerifier.sol

Represent elements from field F_{p^2} as real + i * imag

2024-02-21 10:42:41 +01:00