Skip to content

MSAN: client_ivc_tests #926

@ludamad

Description

@ludamad
==69==End of process memory map.
root@2a9d8c94b0cf:/usr/src/barretenberg/cpp/build-msan# ./bin/client_ivc_tests
Running main() from /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc
[==========] Running 2 tests from 2 test suites.
[----------] Global test environment set-up.
[----------] 1 test from ClientIVCTests
[ RUN      ] ClientIVCTests.Full
==70==WARNING: MemorySanitizer: use-of-uninitialized-value
    #0 0x5cbba05163a8 in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:467:12
    #1 0x5cbba05163a8 in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #2 0x5cbba05163a8 in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #3 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #4 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #5 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #6 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #7 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #8 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #9 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #10 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #11 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #12 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #13 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #14 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #15 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #16 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #17 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #18 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #19 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)
    #20 0x7bbe7668ab48 in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x23b48) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)
    #21 0x5cbb9a5c5794 in _start (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0x41794) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)

  Uninitialized value was stored to memory at
    #0 0x5cbba05140b2 in bb::field<bb::Bn254FqParams>::mac(unsigned long, unsigned long, unsigned long, unsigned long, unsigned long&, unsigned long&) /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:48:21
    #1 0x5cbba05140b2 in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:461:5
    #2 0x5cbba05140b2 in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #3 0x5cbba05140b2 in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #4 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #5 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #6 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #7 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #8 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #9 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #10 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #11 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #12 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #13 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #14 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #15 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #16 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #17 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #18 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #19 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #20 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)

  Uninitialized value was stored to memory at
    #0 0x5cbba0513daf in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp
    #1 0x5cbba0513daf in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #2 0x5cbba0513daf in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #3 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #4 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #5 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #6 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #7 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #8 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #9 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #10 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #11 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #12 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #13 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #14 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #15 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #16 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #17 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #18 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #19 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)

  Uninitialized value was stored to memory at
    #0 0x5cbba0512f0e in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:458:7
    #1 0x5cbba0512f0e in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #2 0x5cbba0512f0e in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #3 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #4 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #5 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #6 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #7 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #8 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #9 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #10 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #11 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #12 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #13 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #14 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #15 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #16 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #17 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #18 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #19 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)

  Uninitialized value was stored to memory at
    #0 0x5cbba0512ce1 in bb::field<bb::Bn254FqParams>::mac_mini(unsigned long, unsigned long, unsigned long, unsigned long&, unsigned long&) /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:82:9
    #1 0x5cbba0512ce1 in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:457:5
    #2 0x5cbba0512ce1 in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #3 0x5cbba0512ce1 in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #4 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #5 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #6 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #7 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #8 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #9 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #10 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #11 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #12 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #13 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #14 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #15 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #16 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #17 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #18 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #19 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #20 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)

  Uninitialized value was stored to memory at
    #0 0x5cbba0512bbb in bb::field<bb::Bn254FqParams>::mac_mini(unsigned long, unsigned long, unsigned long, unsigned long&, unsigned long&) /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:81:21
    #1 0x5cbba0512bbb in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:457:5
    #2 0x5cbba0512bbb in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #3 0x5cbba0512bbb in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #4 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #5 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #6 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #7 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #8 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #9 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #10 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #11 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #12 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #13 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #14 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #15 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #16 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #17 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #18 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #19 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #20 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)

  Uninitialized value was stored to memory at
    #0 0x5cbba0512962 in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp
    #1 0x5cbba0512962 in bb::field<bb::Bn254FqParams>::operator*(bb::field<bb::Bn254FqParams> const&) const /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl.hpp:33:16
    #2 0x5cbba0512962 in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:184:36
    #3 0x5cbba052c161 in bb::ECCVMProver_<bb::ECCVMFlavor>::construct_proof() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:219:5
    #4 0x5cbb9b8f0f28 in bb::Goblin::prove_eccvm() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:165:50
    #5 0x5cbb9b8e6ce0 in bb::Goblin::prove() /usr/src/barretenberg/cpp/src/barretenberg/goblin/goblin.hpp:191:9
    #6 0x5cbb9b8e0669 in bb::ClientIVC::prove() /usr/src/barretenberg/cpp/src/barretenberg/client_ivc/client_ivc.cpp:40:71
    #7 0x5cbb9a650ce8 in ClientIVCTests_Full_Test::TestBody() (/usr/src/barretenberg/cpp/build-msan/bin/client_ivc_tests+0xccce8) (BuildId: 0ca27ebaba52b86fc11b511a76446c984cb8b247)
    #8 0x5cbb9bbc33e4 in void testing::internal::HandleSehExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #9 0x5cbb9ba21301 in void testing::internal::HandleExceptionsInMethodIfSupported<testing::Test, void>(testing::Test*, void (testing::Test::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #10 0x5cbb9b988948 in testing::Test::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2696:5
    #11 0x5cbb9b98bfbb in testing::TestInfo::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2845:11
    #12 0x5cbb9b98ef1b in testing::TestSuite::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:3004:30
    #13 0x5cbb9b9cf1c6 in testing::internal::UnitTestImpl::RunAllTests() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5890:44
    #14 0x5cbb9bbc6b24 in bool testing::internal::HandleSehExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2621:10
    #15 0x5cbb9ba3132d in bool testing::internal::HandleExceptionsInMethodIfSupported<testing::internal::UnitTestImpl, bool>(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:2657:14
    #16 0x5cbb9b9cceff in testing::UnitTest::Run() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest.cc:5455:10
    #17 0x5cbb9bbce7b0 in RUN_ALL_TESTS() /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/include/gtest/gtest.h:2314:73
    #18 0x5cbb9bbce799 in main /usr/src/barretenberg/cpp/build-msan/_deps/gtest-src/googletest/src/gtest_main.cc:63:10
    #19 0x7bbe7668aa8f  (/lib/x86_64-linux-gnu/libc.so.6+0x23a8f) (BuildId: d320ce4e63925d698610ed423fc4b1f0e8ed51f1)

  Uninitialized value was created by an allocation of 'univariate_evaluations' in the stack frame
    #0 0x5cbba05063ff in bb::ECCVMProver_<bb::ECCVMFlavor>::execute_transcript_consistency_univariate_opening_round() /usr/src/barretenberg/cpp/src/barretenberg/eccvm/eccvm_prover.cpp:176:5

SUMMARY: MemorySanitizer: use-of-uninitialized-value /usr/src/barretenberg/cpp/src/barretenberg/ecc/curves/bn254/../../fields/./field_impl_generic.hpp:467:12 in bb::field<bb::Bn254FqParams>::montgomery_mul(bb::field<bb::Bn254FqParams> const&) const
Exiting
root@2a9d8c94b0cf:/usr/src/barretenberg/cpp/build-msan# cd build-msan

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions