Eric
|
ed428767b3
|
chore: add `downtimeProduct` configuration parameter (#138)
* add `downtimeProduct` configuration parameter
* formatting
|
2024-08-14 15:50:32 +10:00 |
r4bbit
|
688a8ed929
|
Set up certora and implement first rules (#122)
Co-authored-by: 0xb337r007 <0xe4e5@proton.me>
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
|
2024-07-24 18:50:18 +02:00 |
Mark Spanbroek
|
6c9f797f40
|
Explicit getters for token and config
Implicit getters have slightly different semantics when
it comes to ABI encoding their results.
|
2024-02-06 12:27:40 +01:00 |
Adam Uhlíř
|
331bc56e8f
|
feat: zkey hash in marketplace config (#81)
|
2024-01-30 06:36:27 +01:00 |
|
Mark Spanbroek
|
db124ddbd9
|
Re-arrange marketplace constructor parameters
first configuration, then contracts that we depend on
|
2024-01-25 13:08:10 +01:00 |
|
Adam Uhlíř
|
0d9b67bb31
|
feat: verifier integration
|
2024-01-25 13:08:10 +01:00 |
|
Mark Spanbroek
|
3390e21071
|
[fuzzing] Enable fuzzing for Marketplace
Replaces runtime invariant checks with fuzzing tests,
simplifying the contract code and lowering gas costs.
|
2023-06-19 14:58:47 +02:00 |