Skip to content

Instantly share code, notes, and snippets.

@huitseeker

huitseeker/gist:5208516283766d22ba3df65f7cc3e5ef

Created May 8, 2024 12:27
Show Gist options
  • Save huitseeker/5208516283766d22ba3df65f7cc3e5ef to your computer and use it in GitHub Desktop.
Save huitseeker/5208516283766d22ba3df65f7cc3e5ef to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
info: syncing channel updates for '1.76.0-x86_64-unknown-linux-gnu'
info: latest update on 2024-02-08, rust version 1.76.0 (07dca489a 2024-02-04)
info: downloading component 'cargo'
info: downloading component 'clippy'
info: downloading component 'rust-docs'
info: downloading component 'rust-std' for 'wasm32-unknown-unknown'
info: downloading component 'rust-std'
info: downloading component 'rustc'
info: downloading component 'rustfmt'
info: installing component 'cargo'
info: installing component 'clippy'
info: installing component 'rust-docs'
info: installing component 'rust-std' for 'wasm32-unknown-unknown'
info: installing component 'rust-std'
info: installing component 'rustc'
info: installing component 'rustfmt'
Updating crates.io index
Updating git repository `https://github.com/lurk-lab/bellpepper`
Updating git repository `https://github.com/lurk-lab/neptune`
Updating git repository `https://github.com/lurk-lab/grumpkin-msm`
Downloading crates ...
Downloaded getrandom v0.2.15
Downloaded autocfg v1.3.0
Downloaded expect-test v1.5.0
Downloaded paste v1.0.15
Downloaded rustversion v1.0.16
Downloaded anyhow v1.0.83
Downloaded pest_generator v2.7.10
Downloaded dissimilar v1.0.9
Downloaded pest_derive v2.7.10
Downloaded thiserror v1.0.60
Downloaded thiserror-impl v1.0.60
Downloaded ref-cast-impl v1.0.23
Downloaded ref-cast v1.0.23
Downloaded proc-macro2 v1.0.82
Downloaded semver v1.0.23
Downloaded pest_meta v2.7.10
Downloaded num-traits v0.2.19
Downloaded serde_derive v1.0.201
Downloaded ryu v1.0.18
Downloaded cc v1.0.97
Downloaded serde v1.0.201
Downloaded handlebars v5.1.2
Downloaded num-bigint v0.4.5
Downloaded serde_json v1.0.117
Downloaded syn v2.0.61
Compiling proc-macro2 v1.0.82
Compiling unicode-ident v1.0.12
Compiling libc v0.2.154
Checking cfg-if v1.0.0
Compiling autocfg v1.3.0
Compiling radium v0.7.0
Compiling cc v1.0.97
Compiling serde v1.0.201
Compiling syn v1.0.109
Compiling thiserror v1.0.60
Checking tap v1.0.1
Checking funty v2.0.0
Compiling rand_core v0.6.4
Checking spin v0.5.2
Compiling libm v0.2.8
Compiling typenum v1.17.0
Compiling crossbeam-utils v0.8.19
Checking either v1.11.0
Checking byteorder v1.5.0
Checking subtle v2.5.0
Compiling rustix v0.38.34
Checking once_cell v1.19.0
Compiling version_check v0.9.4
Checking arrayvec v0.7.4
Checking ppv-lite86 v0.2.17
Compiling bitflags v2.5.0
Compiling linux-raw-sys v0.4.13
Checking arrayref v0.3.7
Checking constant_time_eq v0.3.0
Checking wyz v0.5.1
Checking lazy_static v1.4.0
Compiling rustversion v1.0.16
Checking regex-syntax v0.8.3
Compiling rayon-core v1.12.1
Compiling home v0.5.9
Compiling anyhow v1.0.83
Checking tracing-core v0.1.32
Compiling powerfmt v0.2.0
Compiling rand v0.8.5
Compiling rand_xorshift v0.3.0
Checking blake2b_simd v1.0.2
Compiling num-traits v0.2.19
Compiling num-bigint v0.3.3
Compiling generic-array v0.14.7
Checking static_assertions v1.1.0
Checking log v0.4.21
Checking smallvec v1.13.2
Compiling ucd-trie v0.1.6
Checking bitvec v1.0.1
Compiling time-core v0.1.2
Compiling memchr v2.7.2
Compiling byte-slice-cast v1.2.2
Compiling num_threads v0.1.7
Checking pin-project-lite v0.2.14
Compiling deranged v0.3.11
Checking crossbeam-epoch v0.9.18
Compiling serde_json v1.0.117
Checking regex-syntax v0.6.29
Compiling num-conv v0.1.0
Compiling itoa v1.0.11
Compiling paste v1.0.15
Compiling lock_api v0.4.12
Checking blake2s_simd v1.0.2
Checking overload v0.1.1
Compiling parking_lot_core v0.9.10
Compiling halo2curves v0.6.1
Checking ryu v1.0.18
Checking fastrand v2.1.0
Compiling vergen v8.3.1
Checking tracing-log v0.2.0
Checking crossbeam-deque v0.8.5
Checking sharded-slab v0.1.7
Checking nu-ansi-term v0.46.0
Checking thread_local v1.1.8
Checking itertools v0.12.1
Checking half v2.4.1
Compiling quote v1.0.36
Checking clap_lex v0.7.0
Checking anstyle v1.0.7
Compiling blst v0.3.11
Compiling semolina v0.1.4
Checking quick-error v1.2.3
Compiling ref-cast v1.0.23
Checking scopeguard v1.2.0
Compiling crc32fast v1.4.0
Checking fnv v1.0.7
Checking bit-vec v0.6.3
Checking getrandom v0.2.15
Checking num_cpus v1.16.0
Checking wait-timeout v0.2.0
Checking ciborium-io v0.2.2
Checking plotters-backend v0.3.5
Checking itertools v0.10.5
Checking clap_builder v4.5.2
Checking unarray v0.1.4
Checking keccak v0.1.5
Checking adler v1.0.2
Compiling convert_case v0.4.0
Compiling syn v2.0.61
Checking bit-set v0.5.3
Checking threadpool v1.8.1
Checking ciborium-ll v0.2.2
Checking abomonation v0.7.3
Checking cast v0.3.0
Checking plotters-svg v0.3.5
Checking rayon v1.10.0
Checking same-file v1.0.6
Checking parking_lot v0.12.2
Checking miniz_oxide v0.7.2
Checking num-integer v0.1.46
Checking term_size v0.3.2
Checking rand_chacha v0.3.1
Checking plotters v0.3.5
Checking generic-array v1.0.0
Checking walkdir v2.5.0
Checking is-terminal v0.4.12
Checking oorandom v11.1.3
Checking dissimilar v1.0.9
Checking anes v0.1.6
Checking cpufeatures v0.2.12
Compiling time v0.3.36
Checking flate2 v1.0.30
Checking expect-test v1.5.0
Checking regex-automata v0.4.6
Checking regex-automata v0.1.10
Checking criterion-plot v0.5.0
Compiling ff v0.13.0
Checking block-buffer v0.10.4
Checking crypto-common v0.1.6
Checking clap v4.5.4
Checking digest v0.10.7
Compiling group v0.13.0
Compiling which v4.4.2
Checking tempfile v3.10.1
Checking sha3 v0.10.8
Checking sha2 v0.10.8
Compiling pairing v0.23.0
Compiling sppark v0.1.6
Compiling grumpkin-msm v0.1.0 (https://github.com/lurk-lab/grumpkin-msm?branch=dev#414da3bc)
Checking matchers v0.1.0
Checking rusty-fork v0.3.0
Checking proptest v1.4.0
Checking regex v1.10.4
Checking rayon-scan v0.1.1
Compiling addchain v0.2.0
Compiling arecibo v0.2.0 (/home/huitseeker/tmp/arecibo)
Compiling ff_derive v0.13.0
Compiling trait-set v0.3.0
Compiling tracing-test-macro v0.2.4
Compiling derive_more v0.99.17
Compiling serde_derive v1.0.201
Compiling thiserror-impl v1.0.60
Compiling zeroize_derive v1.4.2
Compiling tracing-attributes v0.1.27
Compiling ref-cast-impl v1.0.23
Compiling abomonation_derive_ng v0.1.0
Compiling zeroize v1.7.0
Checking tracing v0.1.40
Checking pest v2.7.10
Checking tracing-subscriber v0.3.18
Checking tracing-texray v0.2.0
Checking tracing-test v0.2.4
Compiling pest_meta v2.7.10
Compiling pest_generator v2.7.10
Compiling pest_derive v2.7.10
Checking hex v0.4.3
Checking num-bigint v0.4.5
Checking bellpepper-core v0.4.0
Checking serde_arrays v0.1.0
Checking bincode v1.3.3
Checking ciborium v0.2.2
Checking pasta_curves v0.5.1
Compiling blstrs v0.7.1
Checking bellpepper v0.4.1 (https://github.com/lurk-lab/bellpepper?branch=dev#1afbae94)
Checking tinytemplate v1.2.1
Checking handlebars v5.1.2
Checking criterion v0.5.1
Compiling neptune v13.0.0 (https://github.com/lurk-lab/neptune?branch=dev#169ddcce)
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/bellpepper/mod.rs:18:16
|
18 | provider::{Bn256EngineKZG, PallasEngine, Secp256k1Engine},
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/circuit.rs:389:43
|
389 | poseidon::PoseidonConstantsCircuit, Bn256EngineKZG, GrumpkinEngine, PallasEngine,
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/nifs.rs:201:16
|
201 | provider::{Bn256EngineKZG, PallasEngine, Secp256k1Engine},
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/gadgets/ecc.rs:789:23
|
789 | Bn256EngineIPA, Bn256EngineKZG, GrumpkinEngine, PallasEngine, Secp256k1Engine,
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/provider/poseidon.rs:207:5
|
207 | Bn256EngineKZG, GrumpkinEngine, PallasEngine, Secp256k1Engine, Secq256k1Engine, VestaEngine,
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/provider/keccak.rs:103:7
|
103 | Bn256EngineKZG, GrumpkinEngine, PallasEngine, Secp256k1Engine, Secq256k1Engine, VestaEngine,
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/r1cs/mod.rs:843:32
|
843 | provider::{Bn256EngineIPA, Bn256EngineKZG, PallasEngine, Secp256k1Engine},
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/cyclefold/circuit.rs:173:16
|
173 | provider::{Bn256EngineKZG, PallasEngine, Secp256k1Engine},
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/cyclefold/nova_circuit.rs:524:16
|
524 | provider::{Bn256EngineKZG, PallasEngine, Secp256k1Engine},
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved import `crate::provider::Bn256EngineKZG`
--> src/cyclefold/snark.rs:513:16
|
513 | provider::{Bn256EngineKZG, PallasEngine, Secp256k1Engine},
| ^^^^^^^^^^^^^^
| |
| no `Bn256EngineKZG` in `provider`
| help: a similar name exists in the module: `Bn256EngineIPA`
error[E0432]: unresolved imports `crate::spartan::batched`, `crate::spartan::batched_ppsnark`, `crate::spartan::snark`
--> src/supernova/snark.rs:286:15
|
286 | spartan::{batched, batched_ppsnark, snark::RelaxedR1CSSNARK},
| ^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^ could not find `snark` in `spartan`
| | |
| | no `batched_ppsnark` in `spartan`
| no `batched` in `spartan`
error[E0432]: unresolved imports `crate::provider::non_hiding_zeromorph`, `crate::provider::Bn256EngineKZG`, `crate::provider::Bn256EngineZM`
--> src/lib.rs:1071:7
|
1071 | non_hiding_zeromorph::ZMPCS, Bn256EngineIPA, Bn256EngineKZG, Bn256EngineZM, PallasEngine,
| ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ no `Bn256EngineZM` in `provider`
| | |
| | no `Bn256EngineKZG` in `provider`
| could not find `non_hiding_zeromorph` in `provider`
|
help: a similar name exists in the module
|
1071 | non_hiding_zeromorph::ZMPCS, Bn256EngineIPA, Bn256EngineIPA, Bn256EngineZM, PallasEngine,
| ~~~~~~~~~~~~~~
help: a similar name exists in the module
|
1071 | non_hiding_zeromorph::ZMPCS, Bn256EngineIPA, Bn256EngineKZG, Bn256EngineIPA, PallasEngine,
| ~~~~~~~~~~~~~~
error[E0433]: failed to resolve: could not find `snark` in `spartan`
--> src/lib.rs:1084:28
|
1084 | type S<E, EE> = spartan::snark::RelaxedR1CSSNARK<E, EE>;
| ^^^^^ could not find `snark` in `spartan`
error[E0433]: failed to resolve: could not find `ppsnark` in `spartan`
--> src/lib.rs:1085:33
|
1085 | type SPrime<E, EE> = spartan::ppsnark::RelaxedR1CSSNARK<E, EE>;
| ^^^^^^^ could not find `ppsnark` in `spartan`
error[E0433]: failed to resolve: could not find `hyperkzg` in `provider`
--> src/lib.rs:1424:17
|
1424 | provider::hyperkzg::EvaluationEngine<Bn256, _>,
| ^^^^^^^^ could not find `hyperkzg` in `provider`
error[E0433]: failed to resolve: could not find `hyperkzg` in `provider`
--> src/lib.rs:1449:17
|
1449 | provider::hyperkzg::EvaluationEngine<Bn256, _>,
| ^^^^^^^^ could not find `hyperkzg` in `provider`
error[E0433]: failed to resolve: could not find `batched` in `spartan`
--> src/lib.rs:1454:35
|
1454 | type BatchedS<E, EE> = spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>;
| ^^^^^^^ could not find `batched` in `spartan`
error[E0433]: failed to resolve: could not find `batched` in `spartan`
--> src/lib.rs:1455:40
|
1455 | type BatchedSPrime<E, EE> = spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>;
| ^^^^^^^ could not find `batched` in `spartan`
error[E0433]: failed to resolve: could not find `hyperkzg` in `provider`
--> src/lib.rs:1478:17
|
1478 | provider::hyperkzg::EvaluationEngine<Bn256, _>,
| ^^^^^^^^ could not find `hyperkzg` in `provider`
error[E0433]: failed to resolve: could not find `hyperkzg` in `provider`
--> src/lib.rs:1506:17
|
1506 | provider::hyperkzg::EvaluationEngine<Bn256, _>,
| ^^^^^^^^ could not find `hyperkzg` in `provider`
warning: unused import: `CommitmentKeyExtTrait`
--> src/provider/tests/ipa_pc.rs:12:50
|
12 | use crate::provider::pedersen::{CommitmentKey, CommitmentKeyExtTrait};
| ^^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
error[E0277]: the trait bound `E: Serialize` is not satisfied
--> src/provider/util/mod.rs:144:59
|
144 | pub(crate) fn prove_verify_from_num_vars<E: Engine, EE: EvaluationEngineTrait<E>>(
| ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
144 | pub(crate) fn prove_verify_from_num_vars<E: Engine + _::_serde::Serialize, EE: EvaluationEngineTrait<E>>(
| ++++++++++++++++++++++
error[E0277]: the trait bound `E: Serialize` is not satisfied
--> src/provider/util/mod.rs:162:39
|
162 | fn prove_verify_with<E: Engine, EE: EvaluationEngineTrait<E>>(
| ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
162 | fn prove_verify_with<E: Engine + _::_serde::Serialize, EE: EvaluationEngineTrait<E>>(
| ++++++++++++++++++++++
error[E0277]: the trait bound `E: Serialize` is not satisfied
--> src/provider/tests/mod.rs:17:69
|
17 | pub(crate) fn generate_pcs_solidity_unit_test_data<E: Engine, EE: EvaluationEngineTrait<E>>(
| ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
17 | pub(crate) fn generate_pcs_solidity_unit_test_data<E: Engine + _::_serde::Serialize, EE: EvaluationEngineTrait<E>>(
| ++++++++++++++++++++++
error[E0277]: the trait bound `E: Serialize` is not satisfied
--> src/provider/tests/mod.rs:44:43
|
44 | fn prove_verify_solidity<E: Engine, EE: EvaluationEngineTrait<E>>(
| ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
44 | fn prove_verify_solidity<E: Engine + _::_serde::Serialize, EE: EvaluationEngineTrait<E>>(
| ++++++++++++++++++++++
error[E0277]: the trait bound `E1: Serialize` is not satisfied
--> src/lib.rs:1140:10
|
1140 | EE1: EvaluationEngineTrait<E1>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E1`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
1137 | E1: CurveCycleEquipped + _::_serde::Serialize,
| ++++++++++++++++++++++
error[E0277]: the trait bound `<E1 as traits::CurveCycleEquipped>::Secondary: Serialize` is not satisfied
--> src/lib.rs:1141:10
|
1141 | EE2: EvaluationEngineTrait<Dual<E1>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `<E1 as traits::CurveCycleEquipped>::Secondary`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting the associated type
|
1144 | <<Dual<E1> as Engine>::Scalar as PrimeField>::Repr: Abomonation, <E1 as traits::CurveCycleEquipped>::Secondary: Serialize
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0277]: the trait bound `E1: Serialize` is not satisfied
--> src/lib.rs:1407:10
|
1407 | EE1: EvaluationEngineTrait<E1>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E1`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
1406 | E1: CurveCycleEquipped + _::_serde::Serialize,
| ++++++++++++++++++++++
error[E0277]: the trait bound `<E1 as traits::CurveCycleEquipped>::Secondary: Serialize` is not satisfied
--> src/lib.rs:1408:10
|
1408 | EE2: EvaluationEngineTrait<Dual<E1>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `<E1 as traits::CurveCycleEquipped>::Secondary`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting the associated type
|
1411 | <<Dual<E1> as Engine>::Scalar as PrimeField>::Repr: Abomonation, <E1 as traits::CurveCycleEquipped>::Secondary: Serialize
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0277]: the trait bound `E1: Serialize` is not satisfied
--> src/lib.rs:1432:10
|
1432 | EE1: EvaluationEngineTrait<E1>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E1`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
1431 | E1: CurveCycleEquipped + _::_serde::Serialize,
| ++++++++++++++++++++++
error[E0277]: the trait bound `<E1 as traits::CurveCycleEquipped>::Secondary: Serialize` is not satisfied
--> src/lib.rs:1433:10
|
1433 | EE2: EvaluationEngineTrait<Dual<E1>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `<E1 as traits::CurveCycleEquipped>::Secondary`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting the associated type
|
1436 | <<Dual<E1> as Engine>::Scalar as PrimeField>::Repr: Abomonation, <E1 as traits::CurveCycleEquipped>::Secondary: Serialize
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0277]: the trait bound `E1: Serialize` is not satisfied
--> src/lib.rs:1460:10
|
1460 | EE1: EvaluationEngineTrait<E1>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E1`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
1459 | E1: CurveCycleEquipped + _::_serde::Serialize,
| ++++++++++++++++++++++
error[E0277]: the trait bound `<E1 as traits::CurveCycleEquipped>::Secondary: Serialize` is not satisfied
--> src/lib.rs:1461:10
|
1461 | EE2: EvaluationEngineTrait<Dual<E1>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `<E1 as traits::CurveCycleEquipped>::Secondary`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting the associated type
|
1464 | <<Dual<E1> as Engine>::Scalar as PrimeField>::Repr: Abomonation, <E1 as traits::CurveCycleEquipped>::Secondary: Serialize
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0277]: the trait bound `E1: Serialize` is not satisfied
--> src/lib.rs:1486:10
|
1486 | EE1: EvaluationEngineTrait<E1>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E1`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
1485 | E1: CurveCycleEquipped + _::_serde::Serialize,
| ++++++++++++++++++++++
error[E0277]: the trait bound `<E1 as traits::CurveCycleEquipped>::Secondary: Serialize` is not satisfied
--> src/lib.rs:1487:10
|
1487 | EE2: EvaluationEngineTrait<Dual<E1>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `<E1 as traits::CurveCycleEquipped>::Secondary`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting the associated type
|
1490 | <<Dual<E1> as Engine>::Scalar as PrimeField>::Repr: Abomonation, <E1 as traits::CurveCycleEquipped>::Secondary: Serialize
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0277]: the trait bound `E1: Serialize` is not satisfied
--> src/lib.rs:1514:10
|
1514 | EE1: EvaluationEngineTrait<E1>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `E1`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting this bound
|
1513 | E1: CurveCycleEquipped + _::_serde::Serialize,
| ++++++++++++++++++++++
error[E0277]: the trait bound `<E1 as traits::CurveCycleEquipped>::Secondary: Serialize` is not satisfied
--> src/lib.rs:1515:10
|
1515 | EE2: EvaluationEngineTrait<Dual<E1>>,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `<E1 as traits::CurveCycleEquipped>::Secondary`
|
note: required by a bound in `EvaluationEngineTrait`
--> src/traits/evaluation.rs:23:45
|
23 | pub trait EvaluationEngineTrait<E: Engine + serde::Serialize>: Clone + Send + Sync {
| ^^^^^^^^^^^^^^^^ required by this bound in `EvaluationEngineTrait`
help: consider further restricting the associated type
|
1518 | <<Dual<E1> as Engine>::Scalar as PrimeField>::Repr: Abomonation, <E1 as traits::CurveCycleEquipped>::Secondary: Serialize
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0046]: not all trait items implemented, missing: `get_counter_type`
--> src/cyclefold/snark.rs:522:3
|
522 | impl<F: PrimeField> StepCircuit<F> for SquareCircuit<F> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_counter_type` in implementation
|
::: src/traits/circuit.rs:16:3
|
16 | fn get_counter_type(&self) -> StepCounterType;
| ---------------------------------------------- `get_counter_type` from trait
error[E0046]: not all trait items implemented, missing: `get_counter_type`
--> src/lib.rs:1092:3
|
1092 | impl<F: PrimeField> StepCircuit<F> for CubicCircuit<F> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_counter_type` in implementation
|
::: src/traits/circuit.rs:16:3
|
16 | fn get_counter_type(&self) -> StepCounterType;
| ---------------------------------------------- `get_counter_type` from trait
error[E0046]: not all trait items implemented, missing: `get_counter_type`
--> src/lib.rs:1543:5
|
1543 | / impl<F> StepCircuit<F> for FifthRootCheckingCircuit<F>
1544 | | where
1545 | | F: PrimeField,
| |____________________^ missing `get_counter_type` in implementation
|
::: src/traits/circuit.rs:16:3
|
16 | fn get_counter_type(&self) -> StepCounterType;
| ---------------------------------------------- `get_counter_type` from trait
error[E0046]: not all trait items implemented, missing: `get_counter_type`
--> src/lib.rs:1700:5
|
1700 | impl<F: PrimeField> StepCircuit<F> for CircuitWithInputize<F> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_counter_type` in implementation
|
::: src/traits/circuit.rs:16:3
|
16 | fn get_counter_type(&self) -> StepCounterType;
| ---------------------------------------------- `get_counter_type` from trait
Some errors have detailed explanations: E0046, E0277, E0432, E0433.
For more information about an error, try `rustc --explain E0046`.
warning: `arecibo` (lib test) generated 1 warning
error: could not compile `arecibo` (lib test) due to 40 previous errors; 1 warning emitted
warning: build failed, waiting for other jobs to finish...
warning: unused import: `abomonation::Abomonation`
--> src/provider/pedersen.rs:11:5
|
11 | use abomonation::Abomonation;
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
warning: unused import: `PrimeCurveAffine`
--> src/provider/pedersen.rs:20:23
|
20 | prime::{PrimeCurve, PrimeCurveAffine},
| ^^^^^^^^^^^^^^^^
warning: function `get_mul_window_size` is never used
--> src/provider/util/fb_msm.rs:15:15
|
15 | pub(crate) fn get_mul_window_size(num_scalars: usize) -> usize {
| ^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(dead_code)]` on by default
warning: function `get_window_table` is never used
--> src/provider/util/fb_msm.rs:29:15
|
29 | pub(crate) fn get_window_table<T>(
| ^^^^^^^^^^^^^^^^
warning: function `windowed_mul` is never used
--> src/provider/util/fb_msm.rs:87:4
|
87 | fn windowed_mul<T>(
| ^^^^^^^^^^^^
warning: function `multi_scalar_mul` is never used
--> src/provider/util/fb_msm.rs:114:15
|
114 | pub(crate) fn multi_scalar_mul<T>(
| ^^^^^^^^^^^^^^^^
warning: function `batch_invert` is never used
--> src/provider/util/mod.rs:19:10
|
19 | pub fn batch_invert<F: Field>(mut v: Vec<F>) -> Result<Vec<F>, NovaError> {
| ^^^^^^^^^^^^
warning: field `p` is never read
--> src/spartan/mod.rs:48:3
|
47 | struct PolyEvalWitness<E: Engine> {
| --------------- field in this struct
48 | p: Vec<E::Scalar>, // polynomial
| ^
|
= note: `PolyEvalWitness` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
warning: associated functions `batch_diff_size` and `batch` are never used
--> src/spartan/mod.rs:58:6
|
51 | impl<E: Engine> PolyEvalWitness<E> {
| ---------------------------------- associated functions in this implementation
...
58 | fn batch_diff_size(W: &[&Self], s: E::Scalar) -> Self {
| ^^^^^^^^^^^^^^^
...
105 | fn batch(p_vec: &[&Vec<E::Scalar>], s: &E::Scalar) -> Self {
| ^^^^^
warning: fields `c`, `x`, and `e` are never read
--> src/spartan/mod.rs:118:3
|
117 | struct PolyEvalInstance<E: Engine> {
| ---------------- fields in this struct
118 | c: Commitment<E>, // commitment to the polynomial
| ^
119 | x: Vec<E::Scalar>, // evaluation point
| ^
120 | e: E::Scalar, // claimed evaluation
| ^
|
= note: `PolyEvalInstance` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
warning: associated functions `batch_diff_size` and `batch` are never used
--> src/spartan/mod.rs:124:6
|
123 | impl<E: Engine> PolyEvalInstance<E> {
| ----------------------------------- associated functions in this implementation
124 | fn batch_diff_size(
| ^^^^^^^^^^^^^^^
...
167 | fn batch(c_vec: &[Commitment<E>], x: Vec<E::Scalar>, e_vec: &[E::Scalar], s: &E::Scalar) -> Self {
| ^^^^^
warning: struct `IdentityPolynomial` is never constructed
--> src/spartan/polys/identity.rs:4:12
|
4 | pub struct IdentityPolynomial<Scalar> {
| ^^^^^^^^^^^^^^^^^^
warning: associated items `new` and `evaluate` are never used
--> src/spartan/polys/identity.rs:10:10
|
9 | impl<Scalar: PrimeField> IdentityPolynomial<Scalar> {
| --------------------------------------------------- associated items in this implementation
10 | pub fn new(ell: usize) -> Self {
| ^^^
...
17 | pub fn evaluate(&self, r: &[Scalar]) -> Scalar {
| ^^^^^^^^
warning: fields `eq` and `num_masked_vars` are never read
--> src/spartan/polys/masked_eq.rs:14:3
|
13 | pub struct MaskedEqPolynomial<'a, Scalar> {
| ------------------ fields in this struct
14 | eq: &'a EqPolynomial<Scalar>,
| ^^
15 | num_masked_vars: usize,
| ^^^^^^^^^^^^^^^
|
= note: `MaskedEqPolynomial` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
warning: associated items `new`, `evaluate`, `evals`, and `evals_from_points` are never used
--> src/spartan/polys/masked_eq.rs:21:16
|
18 | impl<'a, Scalar: PrimeField> MaskedEqPolynomial<'a, Scalar> {
| ----------------------------------------------------------- associated items in this implementation
...
21 | pub const fn new(eq: &'a EqPolynomial<Scalar>, num_masked_vars: usize) -> Self {
| ^^^
...
34 | pub fn evaluate(&self, rx: &[Scalar]) -> Scalar {
| ^^^^^^^^
...
57 | pub fn evals(&self) -> Vec<Scalar> {
| ^^^^^
...
65 | fn evals_from_points(r: &[Scalar], num_masked_vars: usize) -> Vec<Scalar> {
| ^^^^^^^^^^^^^^^^^
warning: associated items `new`, `squares`, `evals_with_powers`, `evaluate`, `coordinates`, and `evals` are never used
--> src/spartan/polys/power.rs:19:10
|
17 | impl<Scalar: PrimeField> PowPolynomial<Scalar> {
| ---------------------------------------------- associated items in this implementation
18 | /// Creates a new `PowPolynomial` from a Scalars `t`.
19 | pub fn new(t: &Scalar, ell: usize) -> Self {
| ^^^
...
30 | pub fn squares(t: &Scalar, ell: usize) -> Vec<Scalar> {
| ^^^^^^^
...
38 | pub(crate) fn evals_with_powers(powers: &[Scalar], ell: usize) -> Vec<Scalar> {
| ^^^^^^^^^^^^^^^^^
...
49 | pub fn evaluate(&self, rx: &[Scalar]) -> Scalar {
| ^^^^^^^^
...
53 | pub fn coordinates(self) -> Vec<Scalar> {
| ^^^^^^^^^^^
...
60 | pub fn evals(&self) -> Vec<Scalar> {
| ^^^^^
warning: multiple associated items are never used
--> src/spartan/polys/univariate.rs:37:10
|
36 | impl<Scalar: PrimeField> UniPoly<Scalar> {
| ---------------------------------------- associated items in this implementation
37 | pub fn new(coeffs: Vec<Scalar>) -> Self {
| ^^^
...
43 | fn zero() -> Self {
| ^^^^
...
49 | pub fn divide_with_q_and_r(&self, divisor: &Self) -> Option<(Self, Self)> {
| ^^^^^^^^^^^^^^^^^^^
...
80 | pub fn divide_minus_u(&self, u: Scalar) -> Self {
| ^^^^^^^^^^^^^^
...
109 | fn is_zero(&self) -> bool {
| ^^^^^^^
...
119 | fn leading_coefficient(&self) -> Option<&Scalar> {
| ^^^^^^^^^^^^^^^^^^^
...
158 | pub fn eval_at_zero(&self) -> Scalar {
| ^^^^^^^^^^^^
...
162 | pub fn eval_at_one(&self) -> Scalar {
| ^^^^^^^^^^^
...
182 | pub fn random<R: RngCore + CryptoRng>(num_vars: usize, mut rng: &mut R) -> Self {
| ^^^^^^
warning: method `decompress` is never used
--> src/spartan/polys/univariate.rs:194:10
|
191 | impl<Scalar: PrimeField> CompressedUniPoly<Scalar> {
| -------------------------------------------------- method in this implementation
...
194 | pub fn decompress(&self, hint: &Scalar) -> UniPoly<Scalar> {
| ^^^^^^^^^^
warning: `arecibo` (lib) generated 18 warnings
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment