(
&self,
transcript: &mut impl Transcript,
)
| 104 | |
| 105 | impl<G: AffineRepr> Round2Commitments<G> { |
| 106 | fn challenges( |
| 107 | &self, |
| 108 | transcript: &mut impl Transcript, |
| 109 | ) -> ( |
| 110 | G::ScalarField, |
| 111 | G::ScalarField, |
| 112 | G::ScalarField, |
| 113 | G::ScalarField, |
| 114 | G::ScalarField, |
| 115 | G::ScalarField, |
| 116 | ) { |
| 117 | transcript.append(b"R", &self.R); |
| 118 | let x = transcript.challenge_scalar(b"x"); |
| 119 | let y = transcript.challenge_scalar(b"y"); |
| 120 | let r = transcript.challenge_scalar(b"r"); |
| 121 | let lambda = transcript.challenge_scalar(b"lambda"); |
| 122 | let delta = transcript.challenge_scalar(b"delta"); |
| 123 | (x, y, r, r.square(), lambda, delta) |
| 124 | } |
| 125 | } |
| 126 | |
| 127 | impl<G: AffineRepr> Round3Commitments<G> { |
no test coverage detected