logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-03 22:33:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rustdoc

Browse Source
This commit is contained in:
Robin Salen 2024-01-08 09:37:42 +01:00
parent 20db596e57
commit 3c8b150f0f
No known key found for this signature in database
GPG Key ID: F98FD38F65687358
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
plonky2/src/plonk/circuit_builder.rs
View File

@ -92,8 +92,10 @@ pub struct LookupWire {
///
/// ```rust
/// use plonky2::plonk::circuit_data::CircuitConfig;
/// use plonky2::iop::witness::PartialWitness;
/// use plonky2::plonk::circuit_builder::CircuitBuilder;
/// use plonky2::plonk::config::PoseidonGoldilocksConfig;
/// use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
/// use plonky2::field::types::Field;
///
/// // Define parameters for this circuit
/// const D: usize = 2;
@ -126,10 +128,10 @@ pub struct LookupWire {
///
/// // There are no public inputs to register, as the only one
/// // will be generated while proving the statement.
/// let proof = data.prove(pw).unwrap();
/// let proof = circuit_data.prove(pw).unwrap();
///
/// // Verify the proof
/// assert!(data.verify(proof).is_ok());
/// assert!(circuit_data.verify(proof).is_ok());
/// ```
pub struct CircuitBuilder<F: RichField + Extendable<D>, const D: usize> {
/// Circuit configuration to be used by this `CircuitBuilder`.