Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Commit

Permalink
rustfmt
Browse files Browse the repository at this point in the history
  • Loading branch information
jae-cuz committed Sep 13, 2023
1 parent 4926928 commit 2798b00
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions examples/fibonacci.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,12 @@ use chiquito::{
ast::expr::*,
frontend::dsl::circuit, // main function for constructing an AST circuit
plonkish::backend::halo2::{chiquito2Halo2, ChiquitoHalo2Circuit}, /* compiles to
* Chiquito Halo2
* backend,
* which can be
* integrated into
* Halo2
* circuit */
* Chiquito Halo2
* backend,
* which can be
* integrated into
* Halo2
* circuit */
plonkish::compiler::{
cell_manager::SingleRowCellManager, // input for constructing the compiler
compile, // input for constructing the compiler
Expand All @@ -34,7 +34,7 @@ fn fibo_circuit<F: Field + From<u64> + Hash>() -> (Circuit<F>, Option<Assignment
// | 3 | 5 | 8 |
// ...

use chiquito::frontend::dsl::cb::*; // functions for constraint building
use chiquito::frontend::dsl::cb::*; // functions for constraint building

let fibo = circuit::<F, (), _>("fibonacci", |ctx| {
// the following objects (forward signals, steptypes) are defined on the circuit-level
Expand Down

0 comments on commit 2798b00

Please sign in to comment.