Skip to content
This repository was archived by the owner on Jun 6, 2023. It is now read-only.

Implement off-chain Window PoSt verification #1327

Merged
merged 65 commits into from
Jan 15, 2021
Merged

Implement off-chain Window PoSt verification #1327

Show file tree
Hide file tree
Changes from 56 commits
Commits
Show all changes
65 commits
Select commit Hold shift + click to select a range
f8335f3
update state
Stebalien Dec 9, 2020
6fd7904
update window post submission to record but not verify
Stebalien Dec 9, 2020
6a7516b
handle proofs update at the end of the deadline
Stebalien Dec 9, 2020
715bc72
initial challenge windowed post implementation
Stebalien Dec 9, 2020
de07ccb
handle compaction
Stebalien Dec 9, 2020
1d3801f
fix compile
Stebalien Dec 9, 2020
176f752
flesh out ChallengeWindowedPoSt
Stebalien Dec 10, 2020
a98d741
only clear out checked proof
Stebalien Dec 10, 2020
19ae9f6
start fixing tests
Stebalien Dec 10, 2020
b087f5f
get tests passing
Stebalien Dec 10, 2020
a6f68f2
fix lint errors
Stebalien Dec 10, 2020
0e7e691
use correct sectors array for marking faults
Stebalien Dec 11, 2020
f2fe339
re-organize proof recording logic
Stebalien Dec 11, 2020
fc21f82
forbid terminating sectors in a deadline being proved
Stebalien Dec 11, 2020
53387d5
fix tests
Stebalien Dec 12, 2020
00c3c3e
remove unecessary
Stebalien Dec 16, 2020
8d81b55
first-pass at addressing review comments
Stebalien Dec 16, 2020
f6db8a0
reduce log level for successful window post challenges
Stebalien Dec 16, 2020
104bdb5
fixup after rebase
Stebalien Dec 17, 2020
171b745
fix migration
Stebalien Dec 17, 2020
8fa54b1
add a todo to finish some params
Stebalien Dec 17, 2020
8a3269b
restrict post challenges to a challenge window
Stebalien Dec 17, 2020
bd4ada8
Merge branch 'master' into refactor/wd-post
Stebalien Dec 17, 2020
a678dd8
ignore unproven sectors for proof verification
Stebalien Dec 17, 2020
99ad44d
increase the proof challenge period to 2x finality
Stebalien Dec 17, 2020
04ed504
test constraints on proving period times
Stebalien Dec 17, 2020
7c8ab0d
fix challenge window logic and test it
Stebalien Dec 17, 2020
85ec7c2
fix miner test for new compaction blackout window
Stebalien Dec 17, 2020
dd51a62
verify proof recorded in window post test
Stebalien Dec 18, 2020
7109f6f
test bad proofs accepted
Stebalien Dec 18, 2020
f5c1527
verify post proofs eagerly when recovering sectors
Stebalien Jan 4, 2021
5ab98b8
load partitions snapshot with the correct bitwidth
Stebalien Jan 5, 2021
8fc47a6
use a dedicated function for bad proof penalties
Stebalien Jan 5, 2021
8e906ef
check invariants for proof snapshots
Stebalien Jan 5, 2021
90da411
test basic post challenging
Stebalien Jan 5, 2021
9563207
fix proving period start in test
Stebalien Jan 5, 2021
aae3d84
remove some tricky checks from the deadline state invariants
Stebalien Jan 5, 2021
d5288c2
partially address code review feedback
Stebalien Jan 6, 2021
c322a44
move proving period constraints into an init function
Stebalien Jan 6, 2021
559e414
fix test imports
Stebalien Jan 6, 2021
7de15da
fix policy check
Stebalien Jan 6, 2021
3465b05
add a bunch of dispute window tests
Stebalien Jan 7, 2021
6844914
use aliased adt import
Stebalien Jan 7, 2021
95c0592
move dispute info loading into deadline methods
Stebalien Jan 7, 2021
d58720d
fix lints
Stebalien Jan 7, 2021
3ebd743
restrict the maximum size of post proofs
Stebalien Jan 7, 2021
cb08047
Merge branch 'master' into refactor/wd-post
Stebalien Jan 7, 2021
396fe71
set the correct window post penalty
Stebalien Jan 8, 2021
7d3f862
add logic to calculate and pay out rewards
Stebalien Jan 11, 2021
b442ace
remove todo
Stebalien Jan 11, 2021
bcdb643
remove TODO
Stebalien Jan 12, 2021
bdd4a61
disallow dispute before proving period start
Stebalien Jan 12, 2021
bca44ac
remove another todo
Stebalien Jan 12, 2021
186d898
make sure we don't record proofs that restore power
Stebalien Jan 12, 2021
3d2f31a
add tests for end of dispute window
Stebalien Jan 12, 2021
d8c1378
test terminating sectors while proving
Stebalien Jan 12, 2021
5de41bd
add note about partitions posted bitfield
Stebalien Jan 12, 2021
e70433b
assert additional deadline invariant
Stebalien Jan 12, 2021
6bf5bb4
remove stray comment
Stebalien Jan 12, 2021
9bd5e27
address some more review comments
Stebalien Jan 13, 2021
0ead8da
Merge branch 'master' into refactor/wd-post
Stebalien Jan 13, 2021
9ca6d38
test some additional dispute cases
Stebalien Jan 13, 2021
d07f47f
implement reward and add a base penalty
Stebalien Jan 14, 2021
09d2b58
fix fee base
Stebalien Jan 14, 2021
9f781c4
Merge branch 'master' into refactor/wd-post
Stebalien Jan 15, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion actors/builtin/methods.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,8 @@ var MethodsMiner = struct {
ConfirmUpdateWorkerKey abi.MethodNum
RepayDebt abi.MethodNum
ChangeOwnerAddress abi.MethodNum
}{MethodConstructor, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23}
DisputeWindowedPoSt abi.MethodNum
}{MethodConstructor, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24}

var MethodsVerifiedRegistry = struct {
Constructor abi.MethodNum
Expand Down
240 changes: 233 additions & 7 deletions actors/builtin/miner/cbor_gen.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading