Skip to content

Commit

Permalink
Add TODO
Browse files Browse the repository at this point in the history
  • Loading branch information
har777 committed Aug 29, 2024
1 parent 8ddbad3 commit 28976f0
Showing 1 changed file with 8 additions and 6 deletions.
14 changes: 8 additions & 6 deletions pkg/runners/zero/air_input.go
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,15 @@ import (
func (runner *ZeroRunner) GetAirPublicInput() (AirPublicInput, error) {
rcMin, rcMax := runner.getPermRangeCheckLimits()
return AirPublicInput{
Layout: runner.layout.Name,
RcMin: rcMin,
RcMax: rcMax,
NSteps: len(runner.vm.Trace),
DynamicParams: nil,
Layout: runner.layout.Name,
RcMin: rcMin,
RcMax: rcMax,
NSteps: len(runner.vm.Trace),
DynamicParams: nil,
// TODO: yet to be implemented
MemorySegments: make(map[string]AirMemorySegmentEntry),
PublicMemory: make([]AirPublicMemoryEntry, 0),
// TODO: yet to be implemented
PublicMemory: make([]AirPublicMemoryEntry, 0),
}, nil
}

Expand Down

0 comments on commit 28976f0

Please sign in to comment.