Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

circom_full_flow still fails with dev profile #210

Open
winderica opened this issue Feb 19, 2025 · 0 comments
Open

circom_full_flow still fails with dev profile #210

winderica opened this issue Feb 19, 2025 · 0 comments
Assignees

Comments

@winderica
Copy link
Collaborator

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>
@winderica winderica self-assigned this Feb 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant