You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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>
The text was updated successfully, but these errors were encountered:
The panic caused by
revm
has been fixed in #205, and thefull_flow
example now runs without any problem withdev
profile.However,
circom_full_flow
still fails, which might be caused by the outdatedwasmer
(required byark-circom
). Updatingark-circom
should fix this issue, before which you can run with the--release
flag, as suggested in #199 (comment).The text was updated successfully, but these errors were encountered: