File tree Expand file tree Collapse file tree 5 files changed +5
-21
lines changed Expand file tree Collapse file tree 5 files changed +5
-21
lines changed Original file line number Diff line number Diff line change @@ -41,7 +41,7 @@ impl<F: Field> BaseAir<F> for FibonacciSelectorAir {
41
41
}
42
42
}
43
43
44
- impl < F > ColumnsAir < F > for FibonacciSelectorAir { }
44
+ impl < F : Field > ColumnsAir < F > for FibonacciSelectorAir { }
45
45
46
46
impl < F : Field > BaseAirWithPublicValues < F > for FibonacciSelectorAir {
47
47
fn num_public_values ( & self ) -> usize {
Original file line number Diff line number Diff line change @@ -15,11 +15,7 @@ impl<F> BaseAir<F> for FibonacciAir {
15
15
}
16
16
}
17
17
18
- impl < F > ColumnsAir < F > for FibonacciAir {
19
- fn columns ( & self ) -> Option < Vec < String > > {
20
- None
21
- }
22
- }
18
+ impl < F > ColumnsAir < F > for FibonacciAir { }
23
19
24
20
impl < F > BaseAirWithPublicValues < F > for FibonacciAir {
25
21
fn num_public_values ( & self ) -> usize {
Original file line number Diff line number Diff line change @@ -29,11 +29,7 @@ impl<F> BaseAir<F> for SumAir {
29
29
}
30
30
}
31
31
32
- impl < F > ColumnsAir < F > for SumAir {
33
- fn columns ( & self ) -> Option < Vec < String > > {
34
- None
35
- }
36
- }
32
+ impl < F > ColumnsAir < F > for SumAir { }
37
33
38
34
impl < AB : PartitionedAirBuilder > Air < AB > for SumAir {
39
35
fn eval ( & self , builder : & mut AB ) {
Original file line number Diff line number Diff line change @@ -24,11 +24,7 @@ impl<F> BaseAirWithPublicValues<F> for FibonacciAir {
24
24
}
25
25
}
26
26
27
- impl < F > ColumnsAir < F > for FibonacciAir {
28
- fn columns ( & self ) -> Option < Vec < String > > {
29
- None
30
- }
31
- }
27
+ impl < F > ColumnsAir < F > for FibonacciAir { }
32
28
33
29
impl < AB : AirBuilderWithPublicValues > Air < AB > for FibonacciAir {
34
30
fn eval ( & self , builder : & mut AB ) {
Original file line number Diff line number Diff line change @@ -45,11 +45,7 @@ pub struct DummyInteractionAir {
45
45
pub partition : bool ,
46
46
}
47
47
48
- impl < F : Field > ColumnsAir < F > for DummyInteractionAir {
49
- fn columns ( & self ) -> Option < Vec < String > > {
50
- None
51
- }
52
- }
48
+ impl < F : Field > ColumnsAir < F > for DummyInteractionAir { }
53
49
54
50
impl DummyInteractionAir {
55
51
pub fn new ( field_width : usize , is_send : bool , bus_index : BusIndex ) -> Self {
You can’t perform that action at this time.
0 commit comments