Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
N
nebula
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
exchain
nebula
Commits
68000ca3
Unverified
Commit
68000ca3
authored
Nov 24, 2023
by
Adrian Sutton
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
op-challenger: Separate fetching local inputs from the constructor.
parent
b2f50fa2
Changes
7
Hide whitespace changes
Inline
Side-by-side
Showing
7 changed files
with
22 additions
and
55 deletions
+22
-55
register.go
op-challenger/game/fault/register.go
+7
-13
local.go
op-challenger/game/fault/trace/cannon/local.go
+3
-3
local_test.go
op-challenger/game/fault/trace/cannon/local_test.go
+4
-4
provider.go
op-challenger/game/fault/trace/cannon/provider.go
+1
-30
output_cannon.go
op-challenger/game/fault/trace/outputs/output_cannon.go
+3
-2
cannon_helper.go
op-e2e/e2eutils/disputegame/cannon_helper.go
+3
-2
helper.go
op-e2e/e2eutils/disputegame/helper.go
+1
-1
No files found.
op-challenger/game/fault/register.go
View file @
68000ca3
...
@@ -42,26 +42,19 @@ func RegisterGameTypes(
...
@@ -42,26 +42,19 @@ func RegisterGameTypes(
client
*
ethclient
.
Client
,
client
*
ethclient
.
Client
,
)
(
CloseFunc
,
error
)
{
)
(
CloseFunc
,
error
)
{
var
closer
CloseFunc
var
closer
CloseFunc
createL2Client
:=
func
()
(
cannon
.
L2HeaderSource
,
error
)
{
var
l2Client
*
ethclient
.
Client
l2Client
,
err
:=
ethclient
.
DialContext
(
ctx
,
cfg
.
CannonL2
)
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeCannon
)
||
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeOutputCannon
)
{
l2
,
err
:=
ethclient
.
DialContext
(
ctx
,
cfg
.
CannonL2
)
if
err
!=
nil
{
if
err
!=
nil
{
return
nil
,
fmt
.
Errorf
(
"dial l2 client %v: %w"
,
cfg
.
CannonL2
,
err
)
return
nil
,
fmt
.
Errorf
(
"dial l2 client %v: %w"
,
cfg
.
CannonL2
,
err
)
}
}
l2Client
=
l2
closer
=
l2Client
.
Close
closer
=
l2Client
.
Close
return
l2Client
,
nil
}
}
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeOutputCannon
)
{
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeOutputCannon
)
{
l2Client
,
err
:=
createL2Client
()
if
err
!=
nil
{
return
nil
,
err
}
registerOutputCannon
(
registry
,
ctx
,
logger
,
m
,
cfg
,
txMgr
,
client
,
l2Client
)
registerOutputCannon
(
registry
,
ctx
,
logger
,
m
,
cfg
,
txMgr
,
client
,
l2Client
)
}
}
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeCannon
)
{
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeCannon
)
{
l2Client
,
err
:=
createL2Client
()
if
err
!=
nil
{
return
nil
,
err
}
registerCannon
(
registry
,
ctx
,
logger
,
m
,
cfg
,
txMgr
,
client
,
l2Client
)
registerCannon
(
registry
,
ctx
,
logger
,
m
,
cfg
,
txMgr
,
client
,
l2Client
)
}
}
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeAlphabet
)
{
if
cfg
.
TraceTypeEnabled
(
config
.
TraceTypeAlphabet
)
{
...
@@ -113,10 +106,11 @@ func registerCannon(
...
@@ -113,10 +106,11 @@ func registerCannon(
l2Client
cannon
.
L2HeaderSource
)
{
l2Client
cannon
.
L2HeaderSource
)
{
resourceCreator
:=
func
(
addr
common
.
Address
,
contract
*
contracts
.
FaultDisputeGameContract
,
gameDepth
uint64
,
dir
string
)
(
faultTypes
.
TraceAccessor
,
gameValidator
,
error
)
{
resourceCreator
:=
func
(
addr
common
.
Address
,
contract
*
contracts
.
FaultDisputeGameContract
,
gameDepth
uint64
,
dir
string
)
(
faultTypes
.
TraceAccessor
,
gameValidator
,
error
)
{
logger
:=
logger
.
New
(
"game"
,
addr
)
logger
:=
logger
.
New
(
"game"
,
addr
)
provider
,
err
:=
cannon
.
NewTraceProvider
(
ctx
,
logger
,
m
,
cfg
,
l2Client
,
contract
,
faultTypes
.
NoLocalContext
,
dir
,
gameDepth
)
localInputs
,
err
:=
cannon
.
FetchLocalInputs
(
ctx
,
contract
,
l2Client
)
if
err
!=
nil
{
if
err
!=
nil
{
return
nil
,
nil
,
fmt
.
Errorf
(
"
create cannon trace provider
: %w"
,
err
)
return
nil
,
nil
,
fmt
.
Errorf
(
"
failed to fetch cannon local inputs
: %w"
,
err
)
}
}
provider
:=
cannon
.
NewTraceProvider
(
logger
,
m
,
cfg
,
faultTypes
.
NoLocalContext
,
localInputs
,
dir
,
gameDepth
)
validator
:=
func
(
ctx
context
.
Context
,
contract
*
contracts
.
FaultDisputeGameContract
)
error
{
validator
:=
func
(
ctx
context
.
Context
,
contract
*
contracts
.
FaultDisputeGameContract
)
error
{
return
ValidateAbsolutePrestate
(
ctx
,
provider
,
contract
)
return
ValidateAbsolutePrestate
(
ctx
,
provider
,
contract
)
}
}
...
...
op-challenger/game/fault/trace/cannon/local.go
View file @
68000ca3
...
@@ -31,15 +31,15 @@ type GameInputsSource interface {
...
@@ -31,15 +31,15 @@ type GameInputsSource interface {
GetProposals
(
ctx
context
.
Context
)
(
agreed
contracts
.
Proposal
,
disputed
contracts
.
Proposal
,
err
error
)
GetProposals
(
ctx
context
.
Context
)
(
agreed
contracts
.
Proposal
,
disputed
contracts
.
Proposal
,
err
error
)
}
}
func
f
etchLocalInputs
(
ctx
context
.
Context
,
caller
GameInputsSource
,
l2Client
L2HeaderSource
)
(
LocalGameInputs
,
error
)
{
func
F
etchLocalInputs
(
ctx
context
.
Context
,
caller
GameInputsSource
,
l2Client
L2HeaderSource
)
(
LocalGameInputs
,
error
)
{
agreedOutput
,
claimedOutput
,
err
:=
caller
.
GetProposals
(
ctx
)
agreedOutput
,
claimedOutput
,
err
:=
caller
.
GetProposals
(
ctx
)
if
err
!=
nil
{
if
err
!=
nil
{
return
LocalGameInputs
{},
fmt
.
Errorf
(
"fetch proposals: %w"
,
err
)
return
LocalGameInputs
{},
fmt
.
Errorf
(
"fetch proposals: %w"
,
err
)
}
}
return
f
etchLocalInputsFromProposals
(
ctx
,
caller
,
l2Client
,
agreedOutput
,
claimedOutput
)
return
F
etchLocalInputsFromProposals
(
ctx
,
caller
,
l2Client
,
agreedOutput
,
claimedOutput
)
}
}
func
f
etchLocalInputsFromProposals
(
ctx
context
.
Context
,
caller
L1HeadSource
,
l2Client
L2HeaderSource
,
agreedOutput
contracts
.
Proposal
,
claimedOutput
contracts
.
Proposal
)
(
LocalGameInputs
,
error
)
{
func
F
etchLocalInputsFromProposals
(
ctx
context
.
Context
,
caller
L1HeadSource
,
l2Client
L2HeaderSource
,
agreedOutput
contracts
.
Proposal
,
claimedOutput
contracts
.
Proposal
)
(
LocalGameInputs
,
error
)
{
l1Head
,
err
:=
caller
.
GetL1Head
(
ctx
)
l1Head
,
err
:=
caller
.
GetL1Head
(
ctx
)
if
err
!=
nil
{
if
err
!=
nil
{
return
LocalGameInputs
{},
fmt
.
Errorf
(
"fetch L1 head: %w"
,
err
)
return
LocalGameInputs
{},
fmt
.
Errorf
(
"fetch L1 head: %w"
,
err
)
...
...
op-challenger/game/fault/trace/cannon/local_test.go
View file @
68000ca3
...
@@ -32,7 +32,7 @@ func TestFetchLocalInputs(t *testing.T) {
...
@@ -32,7 +32,7 @@ func TestFetchLocalInputs(t *testing.T) {
},
},
}
}
inputs
,
err
:=
f
etchLocalInputs
(
ctx
,
contract
,
l2Client
)
inputs
,
err
:=
F
etchLocalInputs
(
ctx
,
contract
,
l2Client
)
require
.
NoError
(
t
,
err
)
require
.
NoError
(
t
,
err
)
require
.
Equal
(
t
,
contract
.
l1Head
,
inputs
.
L1Head
)
require
.
Equal
(
t
,
contract
.
l1Head
,
inputs
.
L1Head
)
...
@@ -62,7 +62,7 @@ func TestFetchLocalInputsFromProposals(t *testing.T) {
...
@@ -62,7 +62,7 @@ func TestFetchLocalInputsFromProposals(t *testing.T) {
},
},
}
}
inputs
,
err
:=
f
etchLocalInputsFromProposals
(
ctx
,
contract
,
l2Client
,
agreed
,
claimed
)
inputs
,
err
:=
F
etchLocalInputsFromProposals
(
ctx
,
contract
,
l2Client
,
agreed
,
claimed
)
require
.
NoError
(
t
,
err
)
require
.
NoError
(
t
,
err
)
require
.
Equal
(
t
,
contract
.
l1Head
,
inputs
.
L1Head
)
require
.
Equal
(
t
,
contract
.
l1Head
,
inputs
.
L1Head
)
...
@@ -91,11 +91,11 @@ type mockL2DataSource struct {
...
@@ -91,11 +91,11 @@ type mockL2DataSource struct {
header
ethtypes
.
Header
header
ethtypes
.
Header
}
}
func
(
s
*
mockL2DataSource
)
ChainID
(
ctx
context
.
Context
)
(
*
big
.
Int
,
error
)
{
func
(
s
*
mockL2DataSource
)
ChainID
(
_
context
.
Context
)
(
*
big
.
Int
,
error
)
{
return
s
.
chainID
,
nil
return
s
.
chainID
,
nil
}
}
func
(
s
*
mockL2DataSource
)
HeaderByNumber
(
ctx
context
.
Context
,
num
*
big
.
Int
)
(
*
ethtypes
.
Header
,
error
)
{
func
(
s
*
mockL2DataSource
)
HeaderByNumber
(
_
context
.
Context
,
num
*
big
.
Int
)
(
*
ethtypes
.
Header
,
error
)
{
if
s
.
header
.
Number
.
Cmp
(
num
)
==
0
{
if
s
.
header
.
Number
.
Cmp
(
num
)
==
0
{
return
&
s
.
header
,
nil
return
&
s
.
header
,
nil
}
}
...
...
op-challenger/game/fault/trace/cannon/provider.go
View file @
68000ca3
...
@@ -9,7 +9,6 @@ import (
...
@@ -9,7 +9,6 @@ import (
"path/filepath"
"path/filepath"
"github.com/ethereum-optimism/optimism/op-challenger/config"
"github.com/ethereum-optimism/optimism/op-challenger/config"
"github.com/ethereum-optimism/optimism/op-challenger/game/fault/contracts"
"github.com/ethereum-optimism/optimism/op-challenger/game/fault/types"
"github.com/ethereum-optimism/optimism/op-challenger/game/fault/types"
"github.com/ethereum-optimism/optimism/op-service/ioutil"
"github.com/ethereum-optimism/optimism/op-service/ioutil"
"github.com/ethereum/go-ethereum/common"
"github.com/ethereum/go-ethereum/common"
...
@@ -55,35 +54,7 @@ type CannonTraceProvider struct {
...
@@ -55,35 +54,7 @@ type CannonTraceProvider struct {
lastStep
uint64
lastStep
uint64
}
}
func
NewTraceProvider
(
ctx
context
.
Context
,
logger
log
.
Logger
,
m
CannonMetricer
,
cfg
*
config
.
Config
,
l2Client
L2HeaderSource
,
gameContract
*
contracts
.
FaultDisputeGameContract
,
localContext
common
.
Hash
,
dir
string
,
gameDepth
uint64
)
(
*
CannonTraceProvider
,
error
)
{
func
NewTraceProvider
(
logger
log
.
Logger
,
m
CannonMetricer
,
cfg
*
config
.
Config
,
localContext
common
.
Hash
,
localInputs
LocalGameInputs
,
dir
string
,
gameDepth
uint64
)
*
CannonTraceProvider
{
localInputs
,
err
:=
fetchLocalInputs
(
ctx
,
gameContract
,
l2Client
)
if
err
!=
nil
{
return
nil
,
fmt
.
Errorf
(
"fetch local game inputs: %w"
,
err
)
}
return
NewTraceProviderFromInputs
(
logger
,
m
,
cfg
,
localContext
,
localInputs
,
dir
,
gameDepth
),
nil
}
func
NewTraceProviderFromProposals
(
ctx
context
.
Context
,
logger
log
.
Logger
,
m
CannonMetricer
,
cfg
*
config
.
Config
,
l2Client
L2HeaderSource
,
gameContract
*
contracts
.
FaultDisputeGameContract
,
localContext
common
.
Hash
,
agreed
contracts
.
Proposal
,
claimed
contracts
.
Proposal
,
dir
string
,
gameDepth
uint64
,
)
(
*
CannonTraceProvider
,
error
)
{
localInputs
,
err
:=
fetchLocalInputsFromProposals
(
ctx
,
gameContract
,
l2Client
,
agreed
,
claimed
)
if
err
!=
nil
{
return
nil
,
fmt
.
Errorf
(
"fetch local game inputs: %w"
,
err
)
}
return
NewTraceProviderFromInputs
(
logger
,
m
,
cfg
,
localContext
,
localInputs
,
dir
,
gameDepth
),
nil
}
func
NewTraceProviderFromInputs
(
logger
log
.
Logger
,
m
CannonMetricer
,
cfg
*
config
.
Config
,
localContext
common
.
Hash
,
localInputs
LocalGameInputs
,
dir
string
,
gameDepth
uint64
)
*
CannonTraceProvider
{
return
&
CannonTraceProvider
{
return
&
CannonTraceProvider
{
logger
:
logger
,
logger
:
logger
,
dir
:
dir
,
dir
:
dir
,
...
...
op-challenger/game/fault/trace/outputs/output_cannon.go
View file @
68000ca3
...
@@ -39,10 +39,11 @@ func NewOutputCannonTraceAccessor(
...
@@ -39,10 +39,11 @@ func NewOutputCannonTraceAccessor(
cannonCreator
:=
func
(
ctx
context
.
Context
,
localContext
common
.
Hash
,
agreed
contracts
.
Proposal
,
claimed
contracts
.
Proposal
)
(
types
.
TraceProvider
,
error
)
{
cannonCreator
:=
func
(
ctx
context
.
Context
,
localContext
common
.
Hash
,
agreed
contracts
.
Proposal
,
claimed
contracts
.
Proposal
)
(
types
.
TraceProvider
,
error
)
{
logger
:=
logger
.
New
(
"pre"
,
agreed
.
OutputRoot
,
"post"
,
claimed
.
OutputRoot
,
"localContext"
,
localContext
)
logger
:=
logger
.
New
(
"pre"
,
agreed
.
OutputRoot
,
"post"
,
claimed
.
OutputRoot
,
"localContext"
,
localContext
)
subdir
:=
filepath
.
Join
(
dir
,
localContext
.
Hex
())
subdir
:=
filepath
.
Join
(
dir
,
localContext
.
Hex
())
provider
,
err
:=
cannon
.
NewTraceProviderFromProposals
(
ctx
,
logger
,
m
,
cfg
,
l2Client
,
contract
,
localContext
,
agreed
,
claimed
,
subdir
,
bottomDepth
)
localInputs
,
err
:=
cannon
.
FetchLocalInputsFromProposals
(
ctx
,
contract
,
l2Client
,
agreed
,
claimed
)
if
err
!=
nil
{
if
err
!=
nil
{
return
nil
,
fmt
.
Errorf
(
"failed to
create cannon trace provider
: %w"
,
err
)
return
nil
,
fmt
.
Errorf
(
"failed to
fetch cannon local inputs
: %w"
,
err
)
}
}
provider
:=
cannon
.
NewTraceProvider
(
logger
,
m
,
cfg
,
localContext
,
localInputs
,
subdir
,
bottomDepth
)
return
provider
,
nil
return
provider
,
nil
}
}
...
...
op-e2e/e2eutils/disputegame/cannon_helper.go
View file @
68000ca3
...
@@ -50,8 +50,9 @@ func (g *CannonGameHelper) CreateHonestActor(ctx context.Context, rollupCfg *rol
...
@@ -50,8 +50,9 @@ func (g *CannonGameHelper) CreateHonestActor(ctx context.Context, rollupCfg *rol
l2Client
,
err
:=
ethclient
.
DialContext
(
ctx
,
cfg
.
CannonL2
)
l2Client
,
err
:=
ethclient
.
DialContext
(
ctx
,
cfg
.
CannonL2
)
g
.
require
.
NoErrorf
(
err
,
"dial l2 client %v"
,
cfg
.
CannonL2
)
g
.
require
.
NoErrorf
(
err
,
"dial l2 client %v"
,
cfg
.
CannonL2
)
defer
l2Client
.
Close
()
// Not needed after fetching the inputs
defer
l2Client
.
Close
()
// Not needed after fetching the inputs
provider
,
err
:=
cannon
.
NewTraceProvider
(
ctx
,
logger
,
metrics
.
NoopMetrics
,
cfg
,
l2Client
,
gameContract
,
types
.
NoLocalContext
,
filepath
.
Join
(
cfg
.
Datadir
,
"honest"
),
uint64
(
maxDepth
))
localInputs
,
err
:=
cannon
.
FetchLocalInputs
(
ctx
,
gameContract
,
l2Client
)
g
.
require
.
NoError
(
err
,
"create cannon trace provider"
)
g
.
require
.
NoError
(
err
,
"fetch cannon local inputs"
)
provider
:=
cannon
.
NewTraceProvider
(
logger
,
metrics
.
NoopMetrics
,
cfg
,
types
.
NoLocalContext
,
localInputs
,
filepath
.
Join
(
cfg
.
Datadir
,
"honest"
),
uint64
(
maxDepth
))
return
&
HonestHelper
{
return
&
HonestHelper
{
t
:
g
.
t
,
t
:
g
.
t
,
...
...
op-e2e/e2eutils/disputegame/helper.go
View file @
68000ca3
...
@@ -221,7 +221,7 @@ func (h *FactoryHelper) StartCannonGameWithCorrectRoot(ctx context.Context, roll
...
@@ -221,7 +221,7 @@ func (h *FactoryHelper) StartCannonGameWithCorrectRoot(ctx context.Context, roll
maxDepth
,
err
:=
gameImpl
.
MAXGAMEDEPTH
(
opts
)
maxDepth
,
err
:=
gameImpl
.
MAXGAMEDEPTH
(
opts
)
h
.
require
.
NoError
(
err
,
"fetch max game depth"
)
h
.
require
.
NoError
(
err
,
"fetch max game depth"
)
provider
:=
cannon
.
NewTraceProvider
FromInputs
(
provider
:=
cannon
.
NewTraceProvider
(
testlog
.
Logger
(
h
.
t
,
log
.
LvlInfo
)
.
New
(
"role"
,
"CorrectTrace"
),
testlog
.
Logger
(
h
.
t
,
log
.
LvlInfo
)
.
New
(
"role"
,
"CorrectTrace"
),
metrics
.
NoopMetrics
,
metrics
.
NoopMetrics
,
cfg
,
cfg
,
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment