Skip to content

circom_full_flow still fails with dev profile #210

@winderica

Description

@winderica

The panic caused by revm has been fixed in #205, and the full_flow example now runs without any problem with dev profile.

However, circom_full_flow still fails, which might be caused by the outdated wasmer (required by ark-circom). Updating ark-circom should fix this issue, before which you can run with the --release flag, as suggested in #199 (comment).

    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.20s
     Running `target/debug/examples/circom_full_flow`
thread 'main' panicked at core/src/panicking.rs:221:5:
unsafe precondition(s) violated: ptr::copy requires that both pointer arguments are aligned and non-null
stack backtrace:
   0:     0x55bea75fb6ba - std::backtrace_rs::backtrace::libunwind::trace::h99efb0985cae5d78
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
   1:     0x55bea75fb6ba - std::backtrace_rs::backtrace::trace_unsynchronized::he2c1aa63b3f7fad8
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x55bea75fb6ba - std::sys::backtrace::_print_fmt::h8a221d40f5e0f88b
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/sys/backtrace.rs:66:9
   3:     0x55bea75fb6ba - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h304520fd6a30aa07
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/sys/backtrace.rs:39:26
   4:     0x55bea762398b - core::fmt::rt::Argument::fmt::h5da9c218ec984eaf
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/fmt/rt.rs:177:76
   5:     0x55bea762398b - core::fmt::write::hf5713710ce10ff22
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/fmt/mod.rs:1178:21
   6:     0x55bea75f8cb3 - std::io::Write::write_fmt::hda708db57927dacf
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/io/mod.rs:1823:15
   7:     0x55bea75fc9a2 - std::sys::backtrace::BacktraceLock::print::hbcdbec4d97c91528
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/sys/backtrace.rs:42:9
   8:     0x55bea75fc9a2 - std::panicking::default_hook::{{closure}}::he1ad87607d0c11c5
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:266:22
   9:     0x55bea75fc60e - std::panicking::default_hook::h81c8cd2e7c59ee33
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:293:9
  10:     0x55bea75fd22f - std::panicking::rust_panic_with_hook::had2118629c312a4a
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:797:13
  11:     0x55bea75fcee3 - std::panicking::begin_panic_handler::{{closure}}::h7fa5985d111bafa2
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:664:13
  12:     0x55bea75fbb99 - std::sys::backtrace::__rust_end_short_backtrace::h704d151dbefa09c5
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/sys/backtrace.rs:170:18
  13:     0x55bea75fcba4 - rust_begin_unwind
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:662:5
  14:     0x55bea5d62d35 - core::panicking::panic_nounwind_fmt::runtime::h1c669551f619867f
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/panicking.rs:112:18
  15:     0x55bea5d62d35 - core::panicking::panic_nounwind_fmt::hc0ae93930ea8f76c
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/panicking.rs:122:5
  16:     0x55bea5d62dc2 - core::panicking::panic_nounwind::h9f485ff9b02bac75
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/panicking.rs:221:5
  17:     0x55bea734c85e - core::intrinsics::copy::precondition_check::h3438f4b0585b179b
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/ub_checks.rs:70:21
  18:     0x55bea7324b01 - core::intrinsics::copy::h16869b350cec28e5
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/ub_checks.rs:77:17
  19:     0x55bea7324b01 - wasmer_vm::instance::InstanceHandle::new::h8930c8b2aaacad7a
                               at ~/.local/share/cargo/registry/src/index.crates.io-6f17d22bba15001f/wasmer-vm-2.3.0/src/instance/mod.rs:968:9
  20:     0x55bea696e00d - wasmer_engine::artifact::Artifact::instantiate::h447ede3c26cc2ab3
                               at ~/.local/share/cargo/registry/src/index.crates.io-6f17d22bba15001f/wasmer-engine-2.3.0/src/artifact.rs:112:22
  21:     0x55bea69598f1 - wasmer::sys::module::Module::instantiate::he36cd9a13f9396cd
                               at ~/.local/share/cargo/registry/src/index.crates.io-6f17d22bba15001f/wasmer-2.3.0/src/sys/module.rs:282:35
  22:     0x55bea6943697 - wasmer::sys::instance::Instance::new::h2a04e59f3611a105
                               at ~/.local/share/cargo/registry/src/index.crates.io-6f17d22bba15001f/wasmer-2.3.0/src/sys/instance.rs:126:22
  23:     0x55bea6859bad - ark_circom::witness::witness_calculator::WitnessCalculator::from_module::he01fed6d6b60fd45
                               at ~/.local/share/cargo/git/checkouts/circom-compat-43cc62cf008b6bc3/9f8d7ce/src/witness/witness_calculator.rs:96:34
  24:     0x55bea60653ee - ark_circom::witness::witness_calculator::WitnessCalculator::from_binary::hf083c4387b134713
                               at ~/.local/share/cargo/git/checkouts/circom-compat-43cc62cf008b6bc3/9f8d7ce/src/witness/witness_calculator.rs:70:9
  25:     0x55bea6109a74 - experimental_frontends::circom::utils::CircomWrapper<F>::calculate_witness::h3237d3218d3a5aca
                               at /sonobe/experimental-frontends/src/circom/utils.rs:99:30
  26:     0x55bea61097eb - experimental_frontends::circom::utils::CircomWrapper<F>::extract_witness::h74375c6f1033aed5
                               at /sonobe/experimental-frontends/src/circom/utils.rs:80:30
  27:     0x55bea621e5b9 - <experimental_frontends::circom::CircomFCircuit<F,_,_> as folding_schemes::frontend::FCircuit<F>>::generate_step_constraints::h9418b87d73ebb184
                               at /sonobe/experimental-frontends/src/circom/mod.rs:65:23
  28:     0x55bea60cde63 - folding_schemes::folding::nova::circuits::AugmentedFCircuit<C1,C2,FC>::compute_next_state::haf5fd795f5dd444b
                               at /sonobe/folding-schemes/src/folding/nova/circuits.rs:209:20
  29:     0x55bea60d2be9 - <folding_schemes::folding::nova::circuits::AugmentedFCircuit<C1,C2,FC> as ark_relations::r1cs::constraint_system::ConstraintSynthesizer<<C1 as ark_ec::PrimeGroup>::ScalarField>>::generate_constraints::h299b574735c941f1
                               at /sonobe/folding-schemes/src/folding/nova/circuits.rs:340:9
  30:     0x55bea63b9d93 - folding_schemes::folding::nova::get_r1cs_from_cs::haa34276506943442
                               at /sonobe/folding-schemes/src/folding/nova/mod.rs:665:5
  31:     0x55bea63ba29a - folding_schemes::folding::nova::get_r1cs::h32362c4a572f546e
                               at /sonobe/folding-schemes/src/folding/nova/mod.rs:686:16
  32:     0x55bea63bb17b - <folding_schemes::folding::nova::NovaIVC<C1,C2,CS1,CS2,_> as folding_schemes::IVC<<C1 as ark_ec::PrimeGroup>::ScalarField>>::generate_keys::he2b934ae20f5c6a4
                               at /sonobe/folding-schemes/src/folding/nova/mod.rs:353:31
  33:     0x55bea60ad1e5 - circom_full_flow::main::h2931958dcdb07923
                               at /sonobe/solidity-verifiers/../examples/circom_full_flow.rs:87:20
  34:     0x55bea60323d2 - core::ops::function::FnOnce::call_once::hf6ada17ef53b4814
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/ops/function.rs:250:5
  35:     0x55bea60000e5 - std::sys::backtrace::__rust_begin_short_backtrace::h973b3a0f818b990e
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/sys/backtrace.rs:154:18
  36:     0x55bea604a426 - std::rt::lang_start::{{closure}}::h43a3d99bb5e07c33
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/rt.rs:164:18
  37:     0x55bea75f3060 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h08ecba131ab90ec4
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/core/src/ops/function.rs:284:13
  38:     0x55bea75f3060 - std::panicking::try::do_call::hf33a59fd8ce953f4
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:554:40
  39:     0x55bea75f3060 - std::panicking::try::h5005ce80ce949fd8
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:518:19
  40:     0x55bea75f3060 - std::panic::catch_unwind::hfbae19e2e2c5b7ed
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panic.rs:345:14
  41:     0x55bea75f3060 - std::rt::lang_start_internal::{{closure}}::ha0331c3690741813
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/rt.rs:143:48
  42:     0x55bea75f3060 - std::panicking::try::do_call::hcdcbdb616b4d0295
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:554:40
  43:     0x55bea75f3060 - std::panicking::try::h3f2f1725a07d2256
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panicking.rs:518:19
  44:     0x55bea75f3060 - std::panic::catch_unwind::h51869e04b56b2dc3
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/panic.rs:345:14
  45:     0x55bea75f3060 - std::rt::lang_start_internal::h4d90db0530245041
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/rt.rs:143:20
  46:     0x55bea604a3fa - std::rt::lang_start::h13da97c2dda485a1
                               at /rustc/f6e511eec7342f59a25f7c0534f1dbea00d01b14/library/std/src/rt.rs:163:17
  47:     0x55bea60af18e - main
  48:     0x7fab272fc488 - <unknown>
  49:     0x7fab272fc54c - __libc_start_main
  50:     0x55bea5d637c5 - _start
  51:                0x0 - <unknown>

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions