@@ -349,18 +349,13 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
349349 PolyEvalProof {
350350 _phantom : S :: field_zero ( ) ,
351351 }
352- // TODO: Alternative evaluation proof scheme
353- PolyEvalProof {
354- _phantom : S :: field_zero ( ) ,
355- }
356352 }
357353
358354 pub fn verify (
359355 & self ,
360356 transcript : & mut Transcript ,
361357 r : & [ S ] , // point at which the polynomial is evaluated
362358 ) -> Result < ( ) , ProofVerifyError > {
363- // TODO: Alternative evaluation proof scheme
364359 // TODO: Alternative evaluation proof scheme
365360 Ok ( ( ) )
366361 }
@@ -384,19 +379,13 @@ impl<S: SpartanExtensionField> PolyEvalProof<S> {
384379 ) -> Vec < PolyEvalProof < S > > {
385380 // TODO: Alternative evaluation proof scheme
386381 vec ! [ ]
387- // TODO: Alternative evaluation proof scheme
388- vec ! [ ]
389382 }
390383
391384 pub fn verify_plain_batched_points (
392385 _proof_list : & Vec < PolyEvalProof < S > > ,
393386 _transcript : & mut Transcript ,
394387 _r_list : Vec < Vec < S > > , // point at which the polynomial is evaluated
395388 _Zr_list : Vec < S > , // commitment to \widetilde{Z}(r) on each point
396- _proof_list : & Vec < PolyEvalProof < S > > ,
397- _transcript : & mut Transcript ,
398- _r_list : Vec < Vec < S > > , // point at which the polynomial is evaluated
399- _Zr_list : Vec < S > , // commitment to \widetilde{Z}(r) on each point
400389 ) -> Result < ( ) , ProofVerifyError > {
401390 // TODO: Alternative evaluation proof scheme
402391 Ok ( ( ) )
0 commit comments