File tree Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -322,12 +322,14 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
322322 pub fn prove (
323323 _poly : & DensePolynomial < S > ,
324324 _r : & [ S ] , // point at which the polynomial is evaluated
325- _Zr : & S , // evaluation of \widetilde{Z}(r)
325+ _Zr : & S , // evaluation of \widetilde{Z}(r)
326326 _transcript : & mut Transcript ,
327327 _random_tape : & mut RandomTape < S > ,
328328 ) -> PolyEvalProof < S > {
329329 // TODO: Alternative evaluation proof scheme
330- PolyEvalProof { _phantom : S :: field_zero ( ) }
330+ PolyEvalProof {
331+ _phantom : S :: field_zero ( ) ,
332+ }
331333 }
332334
333335 pub fn verify (
@@ -431,7 +433,9 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
431433 _random_tape : & mut RandomTape < S > ,
432434 ) -> PolyEvalProof < S > {
433435 // TODO: Alternative evaluation proof scheme
434- PolyEvalProof { _phantom : S :: field_zero ( ) }
436+ PolyEvalProof {
437+ _phantom : S :: field_zero ( ) ,
438+ }
435439 }
436440
437441 pub fn verify_uni_batched_instances (
You can’t perform that action at this time.
0 commit comments