From 7422efca727fa6cab5dac3d528f87ed50fd6161e Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Tue, 1 Dec 2020 14:16:31 +0000
Subject: [PATCH] s/permutation::Proof::commit/permutation::Argument::commit

Once we refactor the permutation argument implementation to be integrated
as Vec<permutation::Proof>, we can change this again to just map from the
Vec<permutation::Argument> inside ConstraintSystem.
---
 src/plonk/permutation/prover.rs | 6 +++---
 src/plonk/prover.rs             | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/plonk/permutation/prover.rs b/src/plonk/permutation/prover.rs
index bd74a49..b0ce871 100644
--- a/src/plonk/permutation/prover.rs
+++ b/src/plonk/permutation/prover.rs
@@ -1,7 +1,7 @@
 use ff::Field;
 use std::iter;
 
-use super::Proof;
+use super::{Argument, Proof};
 use crate::{
     arithmetic::{eval_polynomial, parallelize, BatchInvert, Curve, CurveAffine, FieldExt},
     plonk::{ChallengeBeta, ChallengeGamma, ChallengeX, Error, ProvingKey},
@@ -35,8 +35,8 @@ pub(crate) struct Evaluated<C: CurveAffine> {
     permutation_evals: Vec<Vec<C::Scalar>>,
 }
 
-impl<C: CurveAffine> Proof<C> {
-    pub(crate) fn commit<HBase: Hasher<C::Base>, HScalar: Hasher<C::Scalar>>(
+impl Argument {
+    pub(crate) fn commit<C: CurveAffine, HBase: Hasher<C::Base>, HScalar: Hasher<C::Scalar>>(
         params: &Params<C>,
         pk: &ProvingKey<C>,
         advice: &[Polynomial<C::Scalar, LagrangeCoeff>],
diff --git a/src/plonk/prover.rs b/src/plonk/prover.rs
index cb46402..bce29c1 100644
--- a/src/plonk/prover.rs
+++ b/src/plonk/prover.rs
@@ -176,7 +176,7 @@ impl<C: CurveAffine> Proof<C> {
 
         // Commit to permutations, if any.
         let permutations = if !pk.vk.cs.permutations.is_empty() {
-            Some(permutation::Proof::commit(
+            Some(permutation::Argument::commit(
                 params,
                 pk,
                 &witness.advice,