Eric 7fb19f1586

Add saturation parameter ...

Add a parameter, `saturation` to the network-level configuration, under `SlotReservationConfig`. This parameter represents the percentage of total time before expiry that all addresses are eligible to reserve a slot. Total time is the duration between request creation and expiry. Valid range is [0, 99].

Note, this parameter is not yet used anywhere.

2024-09-19 19:26:33 +10:00

..

Configuration.sol

Add saturation parameter

2024-09-19 19:26:33 +10:00

Endian.sol

Update solidity to 0.8.23

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

FuzzMarketplace.sol

Add saturation parameter

2024-09-19 19:26:33 +10: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

Add saturation parameter

2024-09-19 19:26:33 +10:00

Periods.sol

Update solidity to 0.8.23

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

Proofs.sol

chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true (#155)

2024-08-15 12:51:14 +02:00

Requests.sol

Add saturation parameter

2024-09-19 19:26:33 +10:00

SlotReservations.sol

Add saturation parameter

2024-09-19 19:26:33 +10:00

StateRetrieval.sol

Update solidity to 0.8.23

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

TestEndian.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestMarketplace.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestProofs.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestSlotReservations.sol

Add saturation parameter

2024-09-19 19:26:33 +10:00

TestToken.sol

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

TestVerifier.sol

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

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