Package evaluation of ShuffleProofs on Julia 1.12.0-DEV.2153 (83dcbd426d*) started at 2025-03-31T10:39:32.856 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.47s ################################################################################ # Installation # Installing ShuffleProofs... Resolving package versions... Installed Nettle ─────────── v1.0.0 Installed CryptoUtils ────── v0.1.1 Installed IntegerMathUtils ─ v0.1.2 Installed BitIntegers ────── v0.3.5 Installed Primes ─────────── v0.5.7 Installed SigmaProofs ────── v0.2.4 Installed JLLWrappers ────── v1.7.0 Installed Preferences ────── v1.4.3 Installed CryptoPRG ──────── v0.2.0 Installed Nettle_jll ─────── v3.10.1+0 Installed CryptoGroups ───── v0.6.1 Installed ShuffleProofs ──── v0.4.5 Installing 1 artifacts Installed artifact Nettle 8.4 MiB Updating `~/.julia/environments/v1.12/Project.toml` [31a120cc] + ShuffleProofs v0.4.5 Updating `~/.julia/environments/v1.12/Manifest.toml` [c3b6d118] + BitIntegers v0.3.5 [bc997328] + CryptoGroups v0.6.1 [d846c407] + CryptoPRG v0.2.0 [04afed74] + CryptoUtils v0.1.1 [18e54dd8] + IntegerMathUtils v0.1.2 [692b3bcd] + JLLWrappers v1.7.0 [49dea1ee] + Nettle v1.0.0 [21216c6a] + Preferences v1.4.3 [27ebfcd6] + Primes v0.5.7 [31a120cc] + ShuffleProofs v0.4.5 [f8559b4c] + SigmaProofs v0.2.4 [4c82536e] + Nettle_jll v3.10.1+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [781609d7] + GMP_jll v6.3.0+2 Installation completed after 6.13s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 7017.1 ms ✓ TestEnv 1 dependency successfully precompiled in 9 seconds. 25 already precompiled. Precompiling package dependencies... ERROR: LoadError: The following 2 direct dependencies failed to precompile: SigmaProofs Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.12/SigmaProofs/jl_EcqlS3". (ssavalue 4385) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4385) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4385)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4386)) (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3015 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2861 [9] include_string @ ./loading.jl:2871 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [11] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin:5 ShuffleProofs Failed to precompile ShuffleProofs [31a120cc-b3cb-4d07-bbdb-d498660ddfd8] to "/home/pkgeval/.julia/compiled/v1.12/ShuffleProofs/jl_w4N5Gu". (ssavalue 4589) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4589) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4589)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4590)) (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::String) @ Base ./loading.jl:3015 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2861 [9] include_string @ ./loading.jl:2871 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [11] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin:5 ERROR: LoadError: Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.12/SigmaProofs/jl_UCFH8L". Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing) @ Base ./loading.jl:3302 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2688 [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.12/FileWatching/src/pidfile.jl:93 [5] #mkpidlock#7 @ /opt/julia/share/julia/stdlib/v1.12/FileWatching/src/pidfile.jl:88 [inlined] [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64}) @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.12/FileWatching/src/pidfile.jl:114 [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any}) @ Base ./reflection.jl:1279 [8] #invokelatest_gr#232 @ ./reflection.jl:1287 [inlined] [9] invokelatest_gr @ ./reflection.jl:1281 [inlined] [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64) @ Base ./loading.jl:3873 [11] maybe_cachefile_lock @ ./loading.jl:3870 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2674 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2502 [14] macro expansion @ ./loading.jl:2430 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2395 [17] require(into::Module, mod::Symbol) @ Base ./loading.jl:2371 [18] top-level scope @ ~/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:9 [19] include(mod::Module, _path::String) @ Base ./Base.jl:303 [20] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3015 [21] top-level scope @ stdin:5 [22] eval(m::Module, e::Any) @ Core ./boot.jl:489 [23] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2861 [24] include_string @ ./loading.jl:2871 [inlined] [25] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [26] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:1 in expression starting at stdin:5 in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 80.96s ################################################################################ # Testing # Testing ShuffleProofs Status `/tmp/jl_XXgxNN/Project.toml` [bc997328] CryptoGroups v0.6.1 [d846c407] CryptoPRG v0.2.0 [04afed74] CryptoUtils v0.1.1 [50771dd1] OpenSSLGroups v0.1.1 [1bc83da4] SafeTestsets v0.1.0 [31a120cc] ShuffleProofs v0.4.5 [f8559b4c] SigmaProofs v0.2.4 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_XXgxNN/Manifest.toml` [c3b6d118] BitIntegers v0.3.5 [bc997328] CryptoGroups v0.6.1 [d846c407] CryptoPRG v0.2.0 [04afed74] CryptoUtils v0.1.1 [18e54dd8] IntegerMathUtils v0.1.2 [692b3bcd] JLLWrappers v1.7.0 [49dea1ee] Nettle v1.0.0 [50771dd1] OpenSSLGroups v0.1.1 [21216c6a] Preferences v1.4.3 [27ebfcd6] Primes v0.5.7 [1bc83da4] SafeTestsets v0.1.0 [31a120cc] ShuffleProofs v0.4.5 [f8559b4c] SigmaProofs v0.2.4 [4c82536e] Nettle_jll v3.10.1+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [781609d7] GMP_jll v6.3.0+2 [458c3c95] OpenSSL_jll v3.0.16+0 Testing Running tests... Precompiling packages... Info Given SigmaProofs was explicitly requested, output will be shown live  (ssavalue 4648) (lambda ()  (((#s25 (core Any) 2))  () 0 ())  (block (global DEFAULT_VERIFIER) (latestworld)  (block (= (ssavalue 4648) (call (core TypeVar) '#s25  (globalref (thismodule) Verifier)))  (block (null) (null) (null)  (= #s25 (ssavalue 4648))  (call (core UnionAll) #s25  (call (core apply_type)  (globalref (thismodule) Type) #s25))))  (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4649))  (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace:  [1] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9  [2] include(mapexpr::Function, mod::Module, _path::String)  @ Base ./Base.jl:304  [3] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55  [4] include(mod::Module, _path::String)  @ Base ./Base.jl:303  [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:3015  [6] top-level scope  @ stdin:5  [7] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2861  [9] include_string  @ ./loading.jl:2871 [inlined]  [10] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:326  [11] _start()  @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin:5 ✗ SigmaProofs 0 dependencies successfully precompiled in 9 seconds. 20 already precompiled. HonestVerifier prover and verifier for reencryption shuffle: Error During Test at /home/pkgeval/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:30 Got exception outside of a @test LoadError: The following 1 direct dependency failed to precompile: SigmaProofs Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.12/SigmaProofs/jl_jFsRQm". (ssavalue 4648) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4648) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4648)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4649)) (latestworld) (return (null)))) ERROR: LoadError: syntax: ssavalue with no def Stacktrace: [1] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:9 [2] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:3015 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2861 [9] include_string @ ./loading.jl:2871 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [11] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/Serializer.jl:1 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:1 in expression starting at stdin: in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/test/proof.jl:4 Test Summary: | Error Total Time HonestVerifier prover and verifier for reencryption shuffle | 1 1 12.6s RNG of the outermost testset: Random.Xoshiro(0x737a3252d264a65b, 0xcc950b9786deee4e, 0x53deae496424e527, 0x2df32035fd434aa3, 0xbe389e024890f57d) ERROR: LoadError: Some tests did not pass: 0 passed, 0 failed, 1 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/test/runtests.jl:6 Testing failed after 25.34s ERROR: LoadError: Package ShuffleProofs errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2365 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2220 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:486 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:303 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [12] _start() @ Base ./client.jl:560 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 138.76s: package has syntax issues