Skip to content

basic example working #644

basic example working

basic example working #644

Triggered via push June 17, 2024 08:40
Status Success
Total duration 51s
Artifacts

lints-beta.yml

on: push
Clippy (beta)
43s
Clippy (beta)
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 8 warnings
the trait bound `F: plonk::circuit::expression::FieldFr` is not satisfied: halo2_frontend/src/dev/cost_model.rs#L260
error[E0277]: the trait bound `F: plonk::circuit::expression::FieldFr` is not satisfied --> halo2_frontend/src/dev/cost_model.rs:260:85 | 260 | pub fn from_circuit_to_cost_model_options<F: Ord + Field + FromUniformBytes<64>, C: Circuit<F>>( | ^^^^^^^^^^ the trait `plonk::circuit::expression::FieldFr` is not implemented for `F` | note: required by a bound in `plonk::circuit::Circuit` --> halo2_frontend/src/plonk/circuit.rs:242:22 | 242 | pub trait Circuit<F: FieldFr> { | ^^^^^^^ required by this bound in `Circuit` help: consider further restricting this bound | 260 | pub fn from_circuit_to_cost_model_options<F: Ord + Field + FromUniformBytes<64> + plonk::circuit::expression::FieldFr, C: Circuit<F>>( | +++++++++++++++++++++++++++++++++++++
the trait bound `F: plonk::circuit::expression::FieldFr` is not satisfied: halo2_frontend/src/dev/cost_model.rs#L246
error[E0277]: the trait bound `F: plonk::circuit::expression::FieldFr` is not satisfied --> halo2_frontend/src/dev/cost_model.rs:246:8 | 246 | C: Circuit<F>, | ^^^^^^^^^^ the trait `plonk::circuit::expression::FieldFr` is not implemented for `F` | note: required by a bound in `plonk::circuit::Circuit` --> halo2_frontend/src/plonk/circuit.rs:242:22 | 242 | pub trait Circuit<F: FieldFr> { | ^^^^^^^ required by this bound in `Circuit` help: consider further restricting this bound | 245 | F: Ord + Field + FromUniformBytes<64> + plonk::circuit::expression::FieldFr, | +++++++++++++++++++++++++++++++++++++
cannot find trait `FieldFr` in this scope: halo2_frontend/src/dev/graph.rs#L82
error[E0405]: cannot find trait `FieldFr` in this scope --> halo2_frontend/src/dev/graph.rs:82:9 | 82 | impl<F: FieldFr> Assignment<F> for Graph { | ^^^^^^^ | ::: /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/ff-0.13.0/src/lib.rs:41:1 | 41 | / pub trait Field: 42 | | Sized 43 | | + Eq 44 | | + Copy ... | 68 | | + for<'a> SubAssign<&'a Self> 69 | | + for<'a> MulAssign<&'a Self> | |_________________________________- similarly named trait `Field` defined here | help: a trait with a similar name exists | 82 | impl<F: Field> Assignment<F> for Graph { | ~~~~~ help: consider importing this trait through its public re-export | 1 + use crate::plonk::FieldFr; |
cannot find trait `FieldFr` in this scope: halo2_frontend/src/dev/graph.rs#L19
error[E0405]: cannot find trait `FieldFr` in this scope --> halo2_frontend/src/dev/graph.rs:19:29 | 19 | pub fn circuit_dot_graph<F: FieldFr, ConcreteCircuit: Circuit<F>>( | ^^^^^^^ | ::: /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/ff-0.13.0/src/lib.rs:41:1 | 41 | / pub trait Field: 42 | | Sized 43 | | + Eq 44 | | + Copy ... | 68 | | + for<'a> SubAssign<&'a Self> 69 | | + for<'a> MulAssign<&'a Self> | |_________________________________- similarly named trait `Field` defined here | help: a trait with a similar name exists | 19 | pub fn circuit_dot_graph<F: Field, ConcreteCircuit: Circuit<F>>( | ~~~~~ help: consider importing this trait through its public re-export | 1 + use crate::plonk::FieldFr; |
cannot find trait `FieldFr` in this scope: halo2_frontend/src/dev/graph/layout.rs#L83
error[E0405]: cannot find trait `FieldFr` in this scope --> halo2_frontend/src/dev/graph/layout.rs:83:22 | 83 | pub fn render<F: FieldFr, ConcreteCircuit: Circuit<F>, DB: DrawingBackend>( | ^^^^^^^ | ::: /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/ff-0.13.0/src/lib.rs:41:1 | 41 | / pub trait Field: 42 | | Sized 43 | | + Eq 44 | | + Copy ... | 68 | | + for<'a> SubAssign<&'a Self> 69 | | + for<'a> MulAssign<&'a Self> | |_________________________________- similarly named trait `Field` defined here | help: a trait with a similar name exists | 83 | pub fn render<F: Field, ConcreteCircuit: Circuit<F>, DB: DrawingBackend>( | ~~~~~ help: consider importing this trait through its public re-export | 1 + use crate::plonk::FieldFr; |
unresolved import `crate::dev::cost`: halo2_frontend/src/dev/graph/layout.rs#L10
error[E0432]: unresolved import `crate::dev::cost` --> halo2_frontend/src/dev/graph/layout.rs:10:51 | 10 | use crate::{circuit::layouter::RegionColumn, dev::cost::Layout}; | ^^^^ could not find `cost` in `dev`
Clippy (beta)
Clippy had exited with the 101 exit code
`crate` references the macro call's crate: halo2_frontend/src/plonk/circuit/expression.rs#L1198
warning: `crate` references the macro call's crate --> halo2_frontend/src/plonk/circuit/expression.rs:1198:60 | 1198 | pub fn push(&mut self, expr: Expression<F>) -> crate::plonk::ExprRef<F> { | ^^^^^ help: to reference the macro definition's crate, use: `$crate` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#crate_in_macro_def = note: `-W clippy::crate-in-macro-def` implied by `-W clippy::all` = help: to override `-W clippy::all` add `#[allow(clippy::crate_in_macro_def)]`
unused import: `halo2_middleware::ff::Field`: halo2_frontend/src/dev/graph/layout.rs#L1
warning: unused import: `halo2_middleware::ff::Field` --> halo2_frontend/src/dev/graph/layout.rs:1:5 | 1 | use halo2_middleware::ff::Field; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` on by default
Clippy (beta)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Clippy (beta)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Clippy (beta)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/