-
Notifications
You must be signed in to change notification settings - Fork 10
/
witness.go
50 lines (44 loc) · 1.35 KB
/
witness.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
package cmd
import (
"fmt"
cannon "github.com/ethereum-optimism/optimism/cannon/cmd"
"github.com/ethereum-optimism/optimism/op-service/jsonutil"
"github.com/urfave/cli/v2"
"github.com/ethereum-optimism/asterisc/rvgo/fast"
)
type WitnessOutput struct {
Witness []byte `json:"witness"`
StateHash [32]byte `json:"stateHash"`
}
func Witness(ctx *cli.Context) error {
input := ctx.Path(cannon.WitnessInputFlag.Name)
output := ctx.Path(cannon.WitnessOutputFlag.Name)
state, err := jsonutil.LoadJSON[fast.VMState](input)
if err != nil {
return fmt.Errorf("invalid input state (%v): %w", input, err)
}
witness := state.EncodeWitness()
stateHash, err := witness.StateHash()
if err != nil {
return fmt.Errorf("failed to compute witness hash: %w", err)
}
witnessOutput := &WitnessOutput{
Witness: witness,
StateHash: stateHash,
}
if err := jsonutil.WriteJSON(output, witnessOutput, OutFilePerm); err != nil {
return fmt.Errorf("failed to write witness output %w", err)
}
fmt.Println(stateHash.Hex())
return nil
}
var WitnessCommand = &cli.Command{
Name: "witness",
Usage: "Convert an Asterisc JSON state into a binary witness",
Description: "Convert an Asterisc JSON state into a binary witness. The statehash is written to stdout",
Action: Witness,
Flags: []cli.Flag{
cannon.WitnessInputFlag,
cannon.WitnessOutputFlag,
},
}