saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-04 20:03:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix doctests.

Browse source
This commit is contained in:
Kris Nuttycombe 2021-01-14 13:31:48 -07:00
parent 74b2aa715f
commit 94dd9cc421
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/dev.rs
View file

@ -58,6 +58,7 @@ pub enum VerifyFailure {
/// dev::{MockProver, VerifyFailure}, /// dev::{MockProver, VerifyFailure},
/// pasta::Fp, /// pasta::Fp,
/// plonk::{Advice, Assignment, Circuit, Column, ConstraintSystem, Error}, /// plonk::{Advice, Assignment, Circuit, Column, ConstraintSystem, Error},
/// poly::Rotation,
/// }; /// };
/// const K: u32 = 5; /// const K: u32 = 5;
/// ///
@ -81,9 +82,9 @@ pub enum VerifyFailure {
/// let c = meta.advice_column(); /// let c = meta.advice_column();
/// ///
/// meta.create_gate(|meta| { /// meta.create_gate(|meta| {
/// let a = meta.query_advice(a, 0); /// let a = meta.query_advice(a, Rotation::cur());
/// let b = meta.query_advice(b, 0); /// let b = meta.query_advice(b, Rotation::cur());
/// let c = meta.query_advice(c, 0); /// let c = meta.query_advice(c, Rotation::cur());
/// ///
/// // BUG: Should be a * b - c /// // BUG: Should be a * b - c
/// a * b + c /// a * b + c