AztecProtocol / barretenberg

Apache License 2.0
143 stars 93 forks source link

UltraHonk proving of size 2^20 circuits in WASM #848

Open codygunton opened 9 months ago

codygunton commented 9 months ago

I got this error:

abort: attempted to invert zero in add_affine_points
Error: error while executing at wasm backtrace:
    0: 0x2135d2 - <unknown>!abort
    1: 0x7fe0 - <unknown>!throw_or_abort(std::__2::basic_string<char, std::__2::char_traits<char>, std::__2::allocator<char>> const&)
    2: 0x18ee07 - <unknown>!void bb::scalar_multiplication::add_affine_points<bb::curve::BN254>(bb::curve::BN254::AffineElement*, unsigned long, bb::curve::BN254::BaseField*)
    3: 0x193ab4 - <unknown>!void bb::scalar_multiplication::evaluate_addition_chains<bb::curve::BN254>(bb::scalar_multiplication::affine_product_runtime_state<bb::curve::BN254>&, unsigned long, bool)
    4: 0x194111 - <unknown>!bb::curve::BN254::AffineElement* bb::scalar_multiplication::reduce_buckets<bb::curve::BN254>(bb::scalar_multiplication::affine_product_runtime_state<bb::curve::BN254>&, bool, bool)
    5: 0x195049 - <unknown>!bb::curve::BN254::Element bb::scalar_multiplication::evaluate_pippenger_rounds<bb::curve::BN254>(bb::scalar_multiplication::pippenger_runtime_state<bb::curve::BN254>&, bb::curve::BN254::AffineElement*, unsigned long, bool)::'lambda'(unsigned long)::operator()(unsigned long) const
    6: 0x194ed5 - <unknown>!void std::__2::__function::__policy_invoker<void (unsigned long)>::__call_impl<std::__2::__function::__default_alloc_func<bb::curve::BN254::Element bb::scalar_multiplication::evaluate_pippenger_rounds<bb::curve::BN254>(bb::scalar_multiplication::pippenger_runtime_state<bb::curve::BN254>&, bb::curve::BN254::AffineElement*, unsigned long, bool)::'lambda'(unsigned long), void (unsigned long)>>(std::__2::__function::__policy_storage const*, unsigned long)
    7: 0x19b8b9 - <unknown>!(anonymous namespace)::ThreadPool::do_iterations()
    8: 0x19b491 - <unknown>!(anonymous namespace)::ThreadPool::worker_loop(unsigned long)
    9: 0x19ba3d - <unknown>!void* std::__2::__thread_proxy[abi:v160000]<std::__2::tuple<std::__2::unique_ptr<std::__2::__thread_struct, std::__2::default_delete<std::__2::__thread_struct>>, void ((anonymous namespace)::ThreadPool::*)(unsigned long), (anonymous namespace)::ThreadPool*, unsigned long>>(void*)
   10: 0x22786e - <unknown>!__wasi_thread_start_C
   11: 0x228b66 - <unknown>!wasi_thread_start
note: using the `WASMTIME_BACKTRACE_DETAILS=1` environment variable may show more debugging information

Caused by:
    wasm trap: wasm `unreachable` instruction executed
codygunton commented 9 months ago

Didn't investigate, possibly related to WASM_ENV_HACK?