Package evaluation of ShuffleProofs on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T00:13:30.038


################################################################################
# Set-up
#


Set-up completed after 0.22s


################################################################################
# Installation
#

Installing ShuffleProofs...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [31a120cc] + ShuffleProofs v0.4.5
    Updating `~/.julia/environments/v1.13/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 5.23s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
           ✗ SigmaProofs
           ✗ ShuffleProofs
  0 dependencies successfully precompiled in 19 seconds. 20 already precompiled.

ERROR: LoadError: The following 1 direct dependency failed to precompile:

ShuffleProofs 

Failed to precompile ShuffleProofs [31a120cc-b3cb-4d07-bbdb-d498660ddfd8] to "/home/pkgeval/.julia/compiled/v1.13/ShuffleProofs/jl_ixXWUc" (ProcessExited(1)).
(ssavalue 5281)
(lambda ()
  (((#s25 (core Any) 2))
   () 0 ())
  (block (global DEFAULT_VERIFIER) (latestworld)
	 (block (= (ssavalue 5281) (call (core TypeVar) '#s25
					 (globalref (thismodule) Verifier)))
		(block (null) (null) (null)
		       (= #s25 (ssavalue 5281))
		       (call (core UnionAll) #s25
			     (call (core apply_type)
				   (globalref (thismodule) Type) #s25))))
	 (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 5282))
	 (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:2978
  [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:2824
  [9] include_string
    @ ./loading.jl:2834 [inlined]
 [10] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [11] _start()
    @ Base ./client.jl:563
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.13/SigmaProofs/jl_lsbA1Z" (ProcessExited(1)).
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:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [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.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./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:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [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:2978
 [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:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:1
in expression starting at stdin:
in expression starting at /PkgEval.jl/scripts/precompile.jl:37

Precompilation failed after 30.32s



################################################################################
# Loading
#

Loading ShuffleProofs...
Precompiling packages...
           ✗ SigmaProofs
Info Given ShuffleProofs was explicitly requested, output will be shown live 
(ssavalue 5376)
(lambda ()
  (((#s25 (core Any) 2))
   () 0 ())
  (block (global DEFAULT_VERIFIER) (latestworld)
	 (block (= (ssavalue 5376) (call (core TypeVar) '#s25
					 (globalref (thismodule) Verifier)))
		(block (null) (null) (null)
		       (= #s25 (ssavalue 5376))
		       (call (core UnionAll) #s25
			     (call (core apply_type)
				   (globalref (thismodule) Type) #s25))))
	 (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 5377))
	 (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:2978
  [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:2824
  [9] include_string
    @ ./loading.jl:2834 [inlined]
 [10] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [11] _start()
    @ Base ./client.jl:563
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.13/SigmaProofs/jl_sjjJWS" (ProcessExited(1)).
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:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [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.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./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:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [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:2978
 [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:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:1
in expression starting at stdin:5
           ✗ ShuffleProofs
  0 dependencies successfully precompiled in 20 seconds. 20 already precompiled.

ERROR: The following 1 direct dependency failed to precompile:

ShuffleProofs 

Failed to precompile ShuffleProofs [31a120cc-b3cb-4d07-bbdb-d498660ddfd8] to "/home/pkgeval/.julia/compiled/v1.13/ShuffleProofs/jl_x4bXIa" (ProcessExited(1)).
(ssavalue 5376)
(lambda ()
  (((#s25 (core Any) 2))
   () 0 ())
  (block (global DEFAULT_VERIFIER) (latestworld)
	 (block (= (ssavalue 5376) (call (core TypeVar) '#s25
					 (globalref (thismodule) Verifier)))
		(block (null) (null) (null)
		       (= #s25 (ssavalue 5376))
		       (call (core UnionAll) #s25
			     (call (core apply_type)
				   (globalref (thismodule) Type) #s25))))
	 (globaldecl (globalref (thismodule) DEFAULT_VERIFIER) (ssavalue 5377))
	 (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:2978
  [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:2824
  [9] include_string
    @ ./loading.jl:2834 [inlined]
 [10] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [11] _start()
    @ Base ./client.jl:563
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.13/SigmaProofs/jl_sjjJWS" (ProcessExited(1)).
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:3265
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2651
  [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.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#234
    @ ./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:3836
 [11] maybe_cachefile_lock
    @ ./loading.jl:3833 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2637
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2465
 [14] macro expansion
    @ ./loading.jl:2393 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2358
 [17] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2334
 [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:2978
 [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:2824
 [24] include_string
    @ ./loading.jl:2834 [inlined]
 [25] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [26] _start()
    @ Base ./client.jl:563
in expression starting at /home/pkgeval/.julia/packages/ShuffleProofs/KolzZ/src/ShuffleProofs.jl:1
in expression starting at stdin:

Loading failed after 21.99s

ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using ShuffleProofs'`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error
   @ ./process.jl:602 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:517
 [3] run(::Cmd)
   @ Base ./process.jl:514
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:193
 [5] include(mod::Module, _path::String)
   @ Base ./Base.jl:303
 [6] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:331
 [7] _start()
   @ Base ./client.jl:563
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 74.53s: package has syntax issues