Update prefix check

ethanfrey · ethanfrey · commit 754fba6c5fdb · 2020-03-16T21:21:29.000+01:00
diff --git a/go/ops.go b/go/ops.go
@@ -81,7 +81,8 @@ func (op *InnerOp) CheckAgainstSpec(spec *ProofSpec) error {
 	if len(op.Prefix) < int(spec.InnerSpec.MinPrefixLength) {
 		return errors.Errorf("InnerOp prefix too short (%d)", len(op.Prefix))
 	}
-	if len(op.Prefix) > int(spec.InnerSpec.MaxPrefixLength) {
+	maxLeftChildBytes := (len(spec.InnerSpec.ChildOrder) - 1) * int(spec.InnerSpec.ChildSize)
+	if len(op.Prefix) > int(spec.InnerSpec.MaxPrefixLength)+maxLeftChildBytes {
 		return errors.Errorf("InnerOp prefix too long (%d)", len(op.Prefix))
 	}
 	return nil

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,8 @@ func (op InnerOp) CheckAgainstSpec(spec ProofSpec) error {`
`81`	`81`	`if len(op.Prefix) < int(spec.InnerSpec.MinPrefixLength) {`
`82`	`82`	`return errors.Errorf("InnerOp prefix too short (%d)", len(op.Prefix))`
`83`	`83`	`}`
`84`		`- if len(op.Prefix) > int(spec.InnerSpec.MaxPrefixLength) {`
	`84`	`+ maxLeftChildBytes := (len(spec.InnerSpec.ChildOrder) - 1) * int(spec.InnerSpec.ChildSize)`
	`85`	`+ if len(op.Prefix) > int(spec.InnerSpec.MaxPrefixLength)+maxLeftChildBytes {`
`85`	`86`	`return errors.Errorf("InnerOp prefix too long (%d)", len(op.Prefix))`
`86`	`87`	`}`
`87`	`88`	`return nil`