issues
search
codex-storage
/
codex-contracts-eth
Ethereum smart contracts for Codex
Other
6
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore(certora): verify slots transitions and that a slot can be paid only once
#188
gravityblast
opened
2 days ago
0
feat: allow collateral top-ups
#187
emizzle
opened
2 days ago
0
feat: burn protocol fee when storage requested
#186
emizzle
opened
2 days ago
0
feat(slot-reservations): require slots to be reserved before filling slot
#185
emizzle
opened
3 days ago
1
feat(slot-reservations): require slots to be reserved before filling
#184
emizzle
opened
3 days ago
0
feat(slot-reservations): Add `SlotReservationsFull` event
#183
emizzle
closed
2 days ago
0
feat(slot-reservations): add `SlotReservationsFull` event
#182
emizzle
closed
2 days ago
0
Add codex_testnet deployment artifacts
#181
veaceslavdoina
closed
1 week ago
0
Update circuit files for codex_testnet
#180
veaceslavdoina
closed
1 week ago
0
feat(slot-reservations): Add `expansionRate` parameter
#179
emizzle
closed
1 week ago
1
Updates circuit file hash
#178
benbierens
closed
2 weeks ago
0
feat(slot-reservations): Allow slots to be reserved
#177
emizzle
closed
3 days ago
0
feat(slot-reservations): Allow slots to be reserved
#176
emizzle
closed
2 weeks ago
1
feat(slot-reservations): Allow slots to be reserved
#175
emizzle
closed
3 days ago
0
Add public function that retrieves `RequestContext` for a `Request`
#174
emizzle
opened
2 weeks ago
1
Refactor contracts to support upgrades
#173
emizzle
opened
2 weeks ago
0
Contract's monitoring
#172
AuHau
opened
3 weeks ago
0
chore(certora): verify possible slot state transitions
#171
gravityblast
closed
6 days ago
1
chore(CI): update certora-cli to 7.10.2
#170
0x-r4bbit
closed
1 month ago
3
[WIP] spec: The contract has enough funds to pay back everything
#169
gravityblast
opened
1 month ago
2
fix(certora): make vacuous rule pass
#168
0x-r4bbit
closed
1 month ago
3
refactor(certora): use ghost variables for `requestContext` and `slots`
#167
0x-r4bbit
closed
1 month ago
0
fix(certora): remove incorrect requirment in
#166
0x-r4bbit
closed
1 month ago
0
Make use of ghosts instead of harness calls for requestContext and slots(id).requestId
#165
0x-r4bbit
closed
1 month ago
0
Revisit rule ` paidSlotAlwaysHasFinishedOrCancelledRequest`
#164
0x-r4bbit
closed
1 month ago
0
fix(Marketplace): ensure requests include ask with sufficient slots
#163
0x-r4bbit
closed
1 month ago
1
Make certora rules pass again
#162
0x-r4bbit
closed
1 month ago
2
Make certora rules pass again
#161
0x-r4bbit
closed
1 month ago
0
feat: hosts payed by actual time hosting a slot
#160
AuHau
opened
1 month ago
4
Simplify `requestEnd()`
#159
AuHau
opened
1 month ago
0
set MarketplaceHarness as parametric_contract config value
#158
gravityblast
closed
1 month ago
1
`fillSlot` should guard against not allowed state transitions
#157
AuHau
closed
1 month ago
6
Return funds to client for failed request
#156
AuHau
opened
1 month ago
0
chore(certora): slot's missed periods count should be equal to the count of slot's missing periods set to true
#155
gravityblast
closed
1 month ago
1
Additional reward for host repairing slot
#154
AuHau
opened
1 month ago
5
Tests proof is required after downtime has failed
#153
0x-r4bbit
opened
1 month ago
0
chore(certora): verify SlotState and RequestState changes count
#152
0x-r4bbit
closed
1 month ago
1
Proof submission from other address?
#151
AuHau
opened
1 month ago
2
`Cancelled` state handling/storing
#150
AuHau
closed
1 month ago
0
Replace`asserts` with `require`
#149
emizzle
opened
1 month ago
3
chore(certora): add invariant that proofs cant be missing when in period
#148
0x-r4bbit
closed
1 month ago
0
chore(certora): add invariant that totalSent is <= totalReceived
#147
0x-r4bbit
opened
1 month ago
1
chore(certora): add invariant that totalSupply is sumOfBalances
#146
0x-r4bbit
closed
1 month ago
0
Add codex_testnet deployment artifacts
#145
veaceslavdoina
closed
2 months ago
2
feat: adds an optional `payoutAddress` to allow payouts to be paid to separate address
#144
emizzle
closed
1 month ago
17
Require proof for `freeSlot`
#143
emizzle
opened
2 months ago
0
chore: formally verify request state changes
#142
0x-r4bbit
closed
1 month ago
0
refactor(Marketplace): Use custom errors instead of string messages
#141
0x-r4bbit
opened
2 months ago
2
fix: ensure requestStorage() reverts if maxSlotloss > slots
#140
0x-r4bbit
closed
2 months ago
1
Check that `maxSlotLoss` is not bigger then `slots`
#139
AuHau
closed
2 months ago
2
Next