-
Notifications
You must be signed in to change notification settings - Fork 10
Issues: codex-storage/codex-contracts-eth
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Remove missing proof leniency
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#195
opened Oct 17, 2024 by
emizzle
feat: allow collateral top-ups
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#187
opened Oct 4, 2024 by
emizzle
feat: burn protocol fee when storage requested
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#186
opened Oct 4, 2024 by
emizzle
Refactor contracts to support upgrades
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#173
opened Sep 17, 2024 by
emizzle
Contract's monitoring
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#172
opened Sep 12, 2024 by
AuHau
Simplify See https://miro.com/app/board/uXjVNZ03E-c=/ for details
requestEnd()
Marketplace
#159
opened Aug 19, 2024 by
AuHau
Proof submission from other address?
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#151
opened Aug 13, 2024 by
AuHau
Require proof for See https://miro.com/app/board/uXjVNZ03E-c=/ for details
freeSlot
Marketplace
#143
opened Aug 6, 2024 by
emizzle
Remove unneeded Issues discovered as part of Certora integration
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
_probabilities
?
Certora
#137
opened Aug 5, 2024 by
emizzle
Implement relational rules for mappings
Certora
Issues discovered as part of Certora integration
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#131
opened Jul 30, 2024 by
0x-r4bbit
Implement application property: The contract has enough funds to pay back everything
Certora
Issues discovered as part of Certora integration
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#127
opened Jul 30, 2024 by
0x-r4bbit
Implement application property: A host can't gain more rewards than specified in a request
Certora
Issues discovered as part of Certora integration
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#125
opened Jul 30, 2024 by
0x-r4bbit
[Certora feedback] Issues discovered as part of Certora integration
_getPointer
only needs one % 256
Certora
#124
opened Jul 30, 2024 by
emizzle
Expanding window mechanism implementation
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#116
opened Jun 4, 2024 by
emizzle
Add disperal parameter
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#115
opened Jun 4, 2024 by
emizzle
Handling emergency scenarios of smart contracts
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#111
opened May 29, 2024 by
emizzle
Add Marketplace test suite with real proof verifier
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
test
Issue related to the test suite with no expected consequence to production code
#110
opened May 28, 2024 by
emizzle
Migrate deployments to Hardhat Ignition, and upgrade to ethers v6
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#109
opened May 28, 2024 by
emizzle
Content.cid
should be bytes
Certora
#107
opened May 22, 2024 by
AuHau
requestStorage
input validation
Bug
#106
opened May 22, 2024 by
AuHau
Zero probability should be rejected
Bug
Something isn't working
Certora
Issues discovered as part of Certora integration
Marketplace
See https://miro.com/app/board/uXjVNZ03E-c=/ for details
#105
opened May 15, 2024 by
AuHau
secondsPerPeriod
can't be zero
Certora
#104
opened May 13, 2024 by
AuHau
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.