variable resources #545
XuyangSongci.yml
on: pull_request
Clippy lint checks
1m 11s
Nightly lint
1m 15s
Rustfmt
1m 14s
Matrix: test
Annotations
267 errors and 26 warnings
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L427
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:427:24
|
427 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L407
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:407:20
|
407 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L376
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:376:20
|
376 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L347
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:347:20
|
347 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L427
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:427:24
|
427 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L407
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:407:20
|
407 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L376
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:376:20
|
376 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L347
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:347:20
|
347 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L191
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:191:20
|
191 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L191
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:191:20
|
191 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L267
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:267:22
|
267 | self.get_output_resources()[1]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
267 | self.get_self_resource()[1]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L267
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:267:22
|
267 | self.get_output_resources()[1]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
267 | self.get_self_resource()[1]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L265
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:265:22
|
265 | self.get_output_resources()[0]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
265 | self.get_self_resource()[0]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L265
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:265:22
|
265 | self.get_output_resources()[0]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
265 | self.get_self_resource()[0]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:52
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource_id() == self.get_self_resource()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:52
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource_id() == self.get_self_resource()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:21
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource() == self.get_output_resources()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:21
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource() == self.get_output_resources()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L199
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:199:20
|
199 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L192
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:192:20
|
192 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L199
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:199:20
|
199 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L185
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:185:20
|
185 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L192
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:192:20
|
192 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L178
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:178:20
|
178 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L185
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:185:20
|
185 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L171
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:171:20
|
171 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L178
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:178:20
|
178 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L163
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:163:20
|
163 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L171
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:171:20
|
171 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L155
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:155:20
|
155 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L163
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:163:20
|
163 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L155
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:155:20
|
155 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L119
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:119:20
|
119 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L119
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:119:20
|
119 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L114
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:114:20
|
114 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L114
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:114:20
|
114 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L99
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:99:20
|
99 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L99
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:99:20
|
99 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L174
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:174:20
|
174 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L108
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:108:20
|
108 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L174
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:174:20
|
174 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L108
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:108:20
|
108 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L103
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:103:20
|
103 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L103
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:103:20
|
103 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L87
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:87:20
|
87 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L87
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:87:20
|
87 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L327
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:327:1
|
327 | impl ResourceLogicCircuit for TokenResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L327
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:327:1
|
327 | impl ResourceLogicCircuit for TokenResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L171
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:171:1
|
171 | impl ResourceLogicCircuit for SignatureVerificationResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L171
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:171:1
|
171 | impl ResourceLogicCircuit for SignatureVerificationResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L88
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:88:1
|
88 | impl ResourceLogicCircuit for ReceiverResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L88
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:88:1
|
88 | impl ResourceLogicCircuit for ReceiverResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L76
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:76:1
|
76 | impl ResourceLogicCircuit for PartialFulfillmentIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L76
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:76:1
|
76 | impl ResourceLogicCircuit for PartialFulfillmentIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L98
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:98:1
|
98 | impl ResourceLogicCircuit for OrRelationIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L98
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:98:1
|
98 | impl ResourceLogicCircuit for OrRelationIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L40
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:40:1
|
40 | impl ResourceLogicCircuit for FieldAdditionResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L40
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:40:1
|
40 | impl ResourceLogicCircuit for FieldAdditionResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L77
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:77:1
|
77 | impl ResourceLogicCircuit for CascadeIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L77
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:77:1
|
77 | impl ResourceLogicCircuit for CascadeIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L28
error: unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:28:15
|
28 | use rustler::{Decoder, Encoder, Env, NifResult, NifStruct, Term};
| ^^^^^^^ ^^^^^^^ ^^^ ^^^^^^^^^ ^^^^^^^^^ ^^^^
|
|
unused imports: `BorshDeserialize` and `BorshSerialize`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L18
error: unused imports: `BorshDeserialize` and `BorshSerialize`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:18:13
|
18 | use borsh::{BorshDeserialize, BorshSerialize};
| ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^
|
= note: `-D unused-imports` implied by `-D warnings`
= help: to override `-D warnings` add `#[allow(unused_imports)]`
|
|
unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L28
error: unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:28:15
|
28 | use rustler::{Decoder, Encoder, Env, NifResult, NifStruct, Term};
| ^^^^^^^ ^^^^^^^ ^^^ ^^^^^^^^^ ^^^^^^^^^ ^^^^
|
|
unused imports: `BorshDeserialize` and `BorshSerialize`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L18
error: unused imports: `BorshDeserialize` and `BorshSerialize`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:18:13
|
18 | use borsh::{BorshDeserialize, BorshSerialize};
| ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^
|
= note: `-D unused-imports` implied by `-D warnings`
= help: to override `-D warnings` add `#[allow(unused_imports)]`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L541
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:541:5
|
541 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
542 | | self.self_resource_id
543 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L507
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:507:5
|
507 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
508 | | &self.output_resources
509 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L503
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:503:5
|
503 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
504 | | &self.input_resources
505 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L305
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:305:5
|
305 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
306 | | self.self_resource_id
307 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L287
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:287:5
|
287 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
288 | | &self.output_resources
289 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L283
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:283:5
|
283 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
284 | | &self.input_resources
285 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L292
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:292:5
|
292 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
293 | | self.self_resource_id
294 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L246
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:246:5
|
246 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
247 | | &self.output_resources
248 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L242
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:242:5
|
242 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
243 | | &self.input_resources
244 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L192
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:192:5
|
192 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
193 | | self.self_resource_id
194 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L174
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:174:5
|
174 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
175 | | &self.output_resources
176 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L170
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:170:5
|
170 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
171 | | &self.input_resources
172 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L290
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:290:5
|
290 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
291 | | self.self_resource_id
292 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L272
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:272:5
|
272 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
273 | | &self.output_resources
274 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L268
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:268:5
|
268 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
269 | | &self.input_resources
270 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L105
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:105:5
|
105 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
106 | | self.self_resource_id
107 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L86
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:86:5
|
86 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
87 | | &self.output_resources
88 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L82
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:82:5
|
82 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
83 | | &self.input_resources
84 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L161
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:161:5
|
161 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
162 | | self.self_resource_id
163 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L143
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:143:5
|
143 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
144 | | &self.output_resources
145 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L139
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:139:5
|
139 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
140 | | &self.input_resources
141 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= note: unresolved item `crate::circuit::resource_logic_examples::partial_fulfillment_intent::tests::BasicResourceLogicVariables` exists but is inaccessible
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L10
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:10:13
|
10 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= note: unresolved item `crate::circuit::resource_logic_examples::partial_fulfillment_intent::tests::BasicResourceLogicVariables` exists but is inaccessible
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= note: unresolved item `crate::circuit::resource_logic_examples::partial_fulfillment_intent::tests::BasicResourceLogicVariables` exists but is inaccessible
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs#L8
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs:8:5
|
8 | resource_logic_circuit::BasicResourceLogicVariables,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= help: consider importing this unresolved item through its public re-export instead:
crate::circuit::resource_logic_examples::partial_fulfillment_intent::BasicResourceLogicVariables
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L9
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:9:13
|
9 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L18
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:18:13
|
18 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L7
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:7:13
|
7 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L14
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:14:13
|
14 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L541
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:541:5
|
541 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
542 | | self.self_resource_id
543 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L507
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:507:5
|
507 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
508 | | &self.output_resources
509 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L503
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:503:5
|
503 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
504 | | &self.input_resources
505 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L305
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:305:5
|
305 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
306 | | self.self_resource_id
307 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L287
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:287:5
|
287 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
288 | | &self.output_resources
289 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L283
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:283:5
|
283 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
284 | | &self.input_resources
285 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L292
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:292:5
|
292 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
293 | | self.self_resource_id
294 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L246
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:246:5
|
246 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
247 | | &self.output_resources
248 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L242
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:242:5
|
242 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
243 | | &self.input_resources
244 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L192
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:192:5
|
192 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
193 | | self.self_resource_id
194 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L174
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:174:5
|
174 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
175 | | &self.output_resources
176 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L170
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:170:5
|
170 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
171 | | &self.input_resources
172 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L290
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:290:5
|
290 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
291 | | self.self_resource_id
292 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L272
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:272:5
|
272 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
273 | | &self.output_resources
274 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L268
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:268:5
|
268 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
269 | | &self.input_resources
270 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L105
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:105:5
|
105 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
106 | | self.self_resource_id
107 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L86
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:86:5
|
86 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
87 | | &self.output_resources
88 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L82
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:82:5
|
82 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
83 | | &self.input_resources
84 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L161
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:161:5
|
161 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
162 | | self.self_resource_id
163 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L143
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:143:5
|
143 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
144 | | &self.output_resources
145 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L139
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:139:5
|
139 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
140 | | &self.input_resources
141 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L10
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:10:13
|
10 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs#L8
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs:8:5
|
8 | resource_logic_circuit::BasicResourceLogicVariables,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= help: consider importing this unresolved item through its public re-export instead:
crate::circuit::resource_logic_examples::partial_fulfillment_intent::BasicResourceLogicVariables
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L9
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:9:13
|
9 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L18
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:18:13
|
18 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L7
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:7:13
|
7 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L14
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:14:13
|
14 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L427
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:427:24
|
427 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L407
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:407:20
|
407 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L376
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:376:20
|
376 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L347
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:347:20
|
347 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L191
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:191:20
|
191 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L267
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:267:22
|
267 | self.get_output_resources()[1]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
267 | self.get_self_resource()[1]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L265
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:265:22
|
265 | self.get_output_resources()[0]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
265 | self.get_self_resource()[0]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:52
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource_id() == self.get_self_resource()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:21
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource() == self.get_output_resources()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L199
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:199:20
|
199 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L192
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:192:20
|
192 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L185
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:185:20
|
185 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L178
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:178:20
|
178 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L171
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:171:20
|
171 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L163
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:163:20
|
163 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L155
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:155:20
|
155 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L119
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:119:20
|
119 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L114
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:114:20
|
114 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L99
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:99:20
|
99 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L174
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:174:20
|
174 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L108
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:108:20
|
108 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L103
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:103:20
|
103 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L87
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:87:20
|
87 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L427
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:427:24
|
427 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L407
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:407:20
|
407 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L376
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:376:20
|
376 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L347
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:347:20
|
347 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L191
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:191:20
|
191 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L267
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:267:22
|
267 | self.get_output_resources()[1]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
267 | self.get_self_resource()[1]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L265
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:265:22
|
265 | self.get_output_resources()[0]
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
265 | self.get_self_resource()[0]
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:52
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource_id() == self.get_self_resource()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L264
error[E0599]: no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:21
|
264 | if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
| ^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `get_self_resource` with a similar name
|
264 | if self.get_self_resource() == self.get_output_resources()[0].commitment().inner() {
| ~~~~~~~~~~~~~~~~~
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L199
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:199:20
|
199 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L192
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:192:20
|
192 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L185
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:185:20
|
185 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L178
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:178:20
|
178 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L171
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:171:20
|
171 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L163
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:163:20
|
163 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L155
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:155:20
|
155 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L114
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:114:20
|
114 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L99
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:99:20
|
99 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L174
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:174:20
|
174 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L108
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:108:20
|
108 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L103
error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:103:20
|
103 | config.get_owned_resource_variable_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L87
error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:87:20
|
87 | config.get_is_input_resource_flag_config,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
|
= note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L327
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:327:1
|
327 | impl ResourceLogicCircuit for TokenResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L171
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:171:1
|
171 | impl ResourceLogicCircuit for SignatureVerificationResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L88
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:88:1
|
88 | impl ResourceLogicCircuit for ReceiverResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L76
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:76:1
|
76 | impl ResourceLogicCircuit for PartialFulfillmentIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L98
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:98:1
|
98 | impl ResourceLogicCircuit for OrRelationIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L40
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:40:1
|
40 | impl ResourceLogicCircuit for FieldAdditionResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L77
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:77:1
|
77 | impl ResourceLogicCircuit for CascadeIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L327
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:327:1
|
327 | impl ResourceLogicCircuit for TokenResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L171
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:171:1
|
171 | impl ResourceLogicCircuit for SignatureVerificationResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L88
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:88:1
|
88 | impl ResourceLogicCircuit for ReceiverResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L76
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:76:1
|
76 | impl ResourceLogicCircuit for PartialFulfillmentIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L98
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:98:1
|
98 | impl ResourceLogicCircuit for OrRelationIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L40
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:40:1
|
40 | impl ResourceLogicCircuit for FieldAdditionResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
not all trait items implemented, missing: `get_self_resource`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L77
error[E0046]: not all trait items implemented, missing: `get_self_resource`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:77:1
|
77 | impl ResourceLogicCircuit for CascadeIntentResourceLogicCircuit {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_self_resource` in implementation
|
::: taiga_halo2/src/circuit/resource_logic_circuit.rs:504:5
|
504 | fn get_self_resource(&self) -> ResourceExistenceWitness;
| -------------------------------------------------------- `get_self_resource` from trait
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L541
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:541:5
|
541 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
542 | | self.self_resource_id
543 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L507
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:507:5
|
507 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
508 | | &self.output_resources
509 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L503
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:503:5
|
503 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
504 | | &self.input_resources
505 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L305
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:305:5
|
305 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
306 | | self.self_resource_id
307 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L287
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:287:5
|
287 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
288 | | &self.output_resources
289 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L283
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:283:5
|
283 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
284 | | &self.input_resources
285 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L292
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:292:5
|
292 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
293 | | self.self_resource_id
294 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L246
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:246:5
|
246 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
247 | | &self.output_resources
248 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L242
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:242:5
|
242 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
243 | | &self.input_resources
244 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L192
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:192:5
|
192 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
193 | | self.self_resource_id
194 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L174
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:174:5
|
174 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
175 | | &self.output_resources
176 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L170
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:170:5
|
170 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
171 | | &self.input_resources
172 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L290
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:290:5
|
290 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
291 | | self.self_resource_id
292 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L272
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:272:5
|
272 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
273 | | &self.output_resources
274 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L268
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:268:5
|
268 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
269 | | &self.input_resources
270 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L105
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:105:5
|
105 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
106 | | self.self_resource_id
107 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L86
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:86:5
|
86 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
87 | | &self.output_resources
88 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L82
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:82:5
|
82 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
83 | | &self.input_resources
84 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L161
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:161:5
|
161 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
162 | | self.self_resource_id
163 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L143
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:143:5
|
143 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
144 | | &self.output_resources
145 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L139
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:139:5
|
139 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
140 | | &self.input_resources
141 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= note: unresolved item `crate::circuit::resource_logic_examples::partial_fulfillment_intent::tests::BasicResourceLogicVariables` exists but is inaccessible
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L10
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:10:13
|
10 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= note: unresolved item `crate::circuit::resource_logic_examples::partial_fulfillment_intent::tests::BasicResourceLogicVariables` exists but is inaccessible
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= note: unresolved item `crate::circuit::resource_logic_examples::partial_fulfillment_intent::tests::BasicResourceLogicVariables` exists but is inaccessible
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs#L8
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs:8:5
|
8 | resource_logic_circuit::BasicResourceLogicVariables,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= help: consider importing this unresolved item through its public re-export instead:
crate::circuit::resource_logic_examples::partial_fulfillment_intent::BasicResourceLogicVariables
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L541
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:541:5
|
541 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
542 | | self.self_resource_id
543 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L507
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:507:5
|
507 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
508 | | &self.output_resources
509 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L503
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:503:5
|
503 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
504 | | &self.input_resources
505 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L305
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:305:5
|
305 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
306 | | self.self_resource_id
307 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L287
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:287:5
|
287 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
288 | | &self.output_resources
289 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L283
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:283:5
|
283 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
284 | | &self.input_resources
285 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L9
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:9:13
|
9 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L292
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:292:5
|
292 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
293 | | self.self_resource_id
294 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L246
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:246:5
|
246 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
247 | | &self.output_resources
248 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L242
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:242:5
|
242 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
243 | | &self.input_resources
244 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L192
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:192:5
|
192 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
193 | | self.self_resource_id
194 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L174
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:174:5
|
174 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
175 | | &self.output_resources
176 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L170
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:170:5
|
170 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
171 | | &self.input_resources
172 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L18
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:18:13
|
18 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L290
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:290:5
|
290 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
291 | | self.self_resource_id
292 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L272
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:272:5
|
272 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
273 | | &self.output_resources
274 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L268
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:268:5
|
268 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
269 | | &self.input_resources
270 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L105
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:105:5
|
105 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
106 | | self.self_resource_id
107 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L86
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:86:5
|
86 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
87 | | &self.output_resources
88 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L82
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:82:5
|
82 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
83 | | &self.input_resources
84 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L7
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:7:13
|
7 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L161
error[E0407]: method `get_self_resource_id` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:161:5
|
161 | fn get_self_resource_id(&self) -> pallas::Base {
| ^ -------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
162 | | self.self_resource_id
163 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_output_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L143
error[E0407]: method `get_output_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:143:5
|
143 | / fn get_output_resources(&self) -> &[Resource; NUM_RESOURCE] {
144 | | &self.output_resources
145 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
method `get_input_resources` is not a member of trait `ResourceLogicCircuit`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L139
error[E0407]: method `get_input_resources` is not a member of trait `ResourceLogicCircuit`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:139:5
|
139 | fn get_input_resources(&self) -> &[Resource; NUM_RESOURCE] {
| ^ ------------------- help: there is an associated function with a similar name: `get_self_resource`
| _____|
| |
140 | | &self.input_resources
141 | | }
| |_____^ not a member of trait `ResourceLogicCircuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L10
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:10:13
|
10 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L11
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:11:13
|
11 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L14
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:14:13
|
14 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs#L8
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent/label.rs:8:5
|
8 | resource_logic_circuit::BasicResourceLogicVariables,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
= help: consider importing this unresolved item through its public re-export instead:
crate::circuit::resource_logic_examples::partial_fulfillment_intent::BasicResourceLogicVariables
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L15
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:15:13
|
15 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs#L9
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/field_addition.rs:9:13
|
9 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L18
error[E0432]: unresolved import `crate::circuit::resource_logic_circuit::BasicResourceLogicVariables`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:18:13
|
18 | BasicResourceLogicVariables, ResourceLogicCircuit, ResourceLogicConfig,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `BasicResourceLogicVariables` in `circuit::resource_logic_circuit`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/token.rs#L7
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/token.rs:7:13
|
7 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs#L6
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:6:13
|
6 | target_resource_variable::get_owned_resource_variable,
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs#L11
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs:11:13
|
11 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
unresolved import `crate::circuit::gadgets::target_resource_variable`:
taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs#L14
error[E0432]: unresolved import `crate::circuit::gadgets::target_resource_variable`
--> taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs:14:13
|
14 | target_resource_variable::{get_is_input_resource_flag, get_owned_resource_variable},
| ^^^^^^^^^^^^^^^^^^^^^^^^ could not find `target_resource_variable` in `gadgets`
|
|
Clippy lint checks
Clippy had exited with the 101 exit code
|
|
Nightly lint
Clippy had exited with the 101 exit code
|
|
Test on ubuntu-latest
The run was canceled by @XuyangSong.
|
|
Test on ubuntu-latest
The operation was canceled.
|
|
unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L28
warning: unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:28:15
|
28 | use rustler::{Decoder, Encoder, Env, NifResult, NifStruct, Term};
| ^^^^^^^ ^^^^^^^ ^^^ ^^^^^^^^^ ^^^^^^^^^ ^^^^
|
|
unused imports: `BorshDeserialize` and `BorshSerialize`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L18
warning: unused imports: `BorshDeserialize` and `BorshSerialize`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:18:13
|
18 | use borsh::{BorshDeserialize, BorshSerialize};
| ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
|
unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L28
warning: unused imports: `Decoder`, `Encoder`, `Env`, `NifResult`, `NifStruct`, and `Term`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:28:15
|
28 | use rustler::{Decoder, Encoder, Env, NifResult, NifStruct, Term};
| ^^^^^^^ ^^^^^^^ ^^^ ^^^^^^^^^ ^^^^^^^^^ ^^^^
|
|
unused imports: `BorshDeserialize` and `BorshSerialize`:
taiga_halo2/src/circuit/resource_logic_examples.rs#L18
warning: unused imports: `BorshDeserialize` and `BorshSerialize`
--> taiga_halo2/src/circuit/resource_logic_examples.rs:18:13
|
18 | use borsh::{BorshDeserialize, BorshSerialize};
| ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
|
|
Clippy lint checks
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 lint checks
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Clippy lint checks
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 lint checks
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 lint checks
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 lint checks
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/
|
|
Rustfmt
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Rustfmt
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Rustfmt
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/
|
|
Rustfmt
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/
|
|
Rustfmt
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/
|
|
Rustfmt
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/
|
|
Nightly lint
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/
|
|
Nightly lint
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Nightly lint
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/
|
|
Nightly lint
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/
|
|
Nightly lint
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/
|
|
Nightly lint
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/
|
|
Test on ubuntu-latest
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/
|
|
Test on ubuntu-latest
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/
|
|
Test on ubuntu-latest
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/
|
|
Test on ubuntu-latest
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/
|