diff --git a/pilout/src/pilout.proto b/pilout/src/pilout.proto index 042b86a2..211f40a5 100644 --- a/pilout/src/pilout.proto +++ b/pilout/src/pilout.proto @@ -129,13 +129,6 @@ message Air { repeated Constraint constraints = 7; repeated AirValue airValues = 8; // stage airvalues bool aggregable = 9; - repeated CustomCommit customCommits = 10; -} - -message CustomCommit { - optional string name = 1; - repeated GlobalOperand.PublicValue publicValues = 2; - repeated uint32 stageWidths = 3; // stage widths including stage 0 !! } message AirValue { @@ -223,13 +216,6 @@ message Operand { sint32 rowOffset = 3; } - message CustomCol { - uint32 commitId = 1; - uint32 stage = 2; - uint32 colIdx = 3; // absolute idx relative to the stage - sint32 rowOffset = 4; - } - message Expression { uint32 idx = 1; } @@ -245,7 +231,6 @@ message Operand { WitnessCol witnessCol = 8; Expression expression = 9; AirValue airValue = 10; - CustomCol customCol = 11; } } @@ -290,7 +275,6 @@ enum SymbolType { PUBLIC_TABLE = 7; CHALLENGE = 8; AIR_VALUE = 9; - CUSTOM_COL = 10; } message Symbol { @@ -302,8 +286,7 @@ message Symbol { optional uint32 stage = 6; uint32 dim = 7; repeated uint32 lengths = 8; - optional uint32 commitId = 9; - optional string debugLine = 10; + optional string debugLine = 9; } // ================ Hints ================