Package evaluation of ShuffleProofs on Julia 1.12.0-DEV.2044 (c78016e4dc*) started at 2025-02-25T22:12:08.834 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.55s ################################################################################ # Installation # Installing ShuffleProofs... Resolving package versions... Installed CryptoUtils ────── v0.1.1 Installed IntegerMathUtils ─ v0.1.2 Installed Primes ─────────── v0.5.6 Installed Nettle ─────────── v1.0.0 Installed BitIntegers ────── v0.3.2 Installed JLLWrappers ────── v1.7.0 Installed Preferences ────── v1.4.3 Installed SigmaProofs ────── v0.2.4 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.2 [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.6 [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.21s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 6649.0 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_llDtTX". (ssavalue 4388) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4388) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4388)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4389)) (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:308 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:307 [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:3004 [6] top-level scope @ stdin:6 [7] eval(m::Module, e::Any) @ Core ./boot.jl:488 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2855 [9] include_string @ ./loading.jl:2865 [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:6 ShuffleProofs Failed to precompile ShuffleProofs [31a120cc-b3cb-4d07-bbdb-d498660ddfd8] to "/home/pkgeval/.julia/compiled/v1.12/ShuffleProofs/jl_9dFRay". (ssavalue 4592) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4592) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4592)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4593)) (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:308 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:307 [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:3004 [6] top-level scope @ stdin:6 [7] eval(m::Module, e::Any) @ Core ./boot.jl:488 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2855 [9] include_string @ ./loading.jl:2865 [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:6 ERROR: LoadError: Failed to precompile SigmaProofs [f8559b4c-f045-44a2-8db2-503e40bb7416] to "/home/pkgeval/.julia/compiled/v1.12/SigmaProofs/jl_1wSZyk". 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:3291 [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})() @ Base ./loading.jl:2682 [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:1280 [8] #invokelatest_gr#227 @ ./reflection.jl:1288 [inlined] [9] invokelatest_gr @ ./reflection.jl:1282 [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:3862 [11] maybe_cachefile_lock @ ./loading.jl:3859 [inlined] [12] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2668 [13] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2493 [14] macro expansion @ ./loading.jl:2421 [inlined] [15] macro expansion @ ./lock.jl:376 [inlined] [16] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2386 [17] #invoke_in_world#2 @ ./essentials.jl:1092 [inlined] [18] invoke_in_world @ ./essentials.jl:1088 [inlined] [19] require(into::Module, mod::Symbol) @ Base ./loading.jl:2366 [20] top-level scope @ ~/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:9 [21] include(mod::Module, _path::String) @ Base ./Base.jl:307 [22] 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:3004 [23] top-level scope @ stdin:6 [24] eval(m::Module, e::Any) @ Core ./boot.jl:488 [25] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2855 [26] include_string @ ./loading.jl:2865 [inlined] [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:326 [28] _start() @ Base ./client.jl:560 in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:1 in expression starting at stdin:6 in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 76.7s ################################################################################ # Testing # Testing ShuffleProofs Status `/tmp/jl_zotGnj/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_zotGnj/Manifest.toml` [c3b6d118] BitIntegers v0.3.2 [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.6 [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 4651) (lambda ()  (((#s25 (core Any) 2))  () 0 ())  (block (global DEFAULT_VERIFIER) (latestworld)  (block (= (ssavalue 4651) (call (core TypeVar) '#s25  (globalref (thismodule) Verifier)))  (block (null) (null) (null)  (= #s25 (ssavalue 4651))  (call (core UnionAll) #s25  (call (core apply_type)  (globalref (thismodule) Type) #s25))))  (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4652))  (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:308  [3] top-level scope  @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55  [4] include(mod::Module, _path::String)  @ Base ./Base.jl:307  [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:3004  [6] top-level scope  @ stdin:6  [7] eval(m::Module, e::Any)  @ Core ./boot.jl:488  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2855  [9] include_string  @ ./loading.jl:2865 [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:6 ✗ 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_RlNMTm". (ssavalue 4651) (lambda () (((#s25 (core Any) 2)) () 0 ()) (block (global DEFAULT_VERIFIER) (latestworld) (block (= (ssavalue 4651) (call (core TypeVar) '#s25 (globalref (thismodule) Verifier))) (block (null) (null) (null) (= #s25 (ssavalue 4651)) (call (core UnionAll) #s25 (call (core apply_type) (globalref (thismodule) Type) #s25)))) (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 4652)) (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:308 [3] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/src/SigmaProofs.jl:55 [4] include(mod::Module, _path::String) @ Base ./Base.jl:307 [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:3004 [6] top-level scope @ stdin:6 [7] eval(m::Module, e::Any) @ Core ./boot.jl:488 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2855 [9] include_string @ ./loading.jl:2865 [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.5s RNG of the outermost testset: Random.Xoshiro(0x5a7e90bf539f34d6, 0xcffb509f31e6d41b, 0x647c5bf71ebd4415, 0xb254e0060fe0805a, 0xa1306e9af2298806) 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 24.57s 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{Pkg.Types.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{Pkg.Types.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{Pkg.Types.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:307 [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 137.75s: package has syntax issues