Skip to content

IxVM kernel: unblock UTF-8 decode/encode proof + Nat-layer FFT cuts#450

Open
arthurpaulino wants to merge 7 commits into
mainfrom
ap/utf8-tier-1d
Open

IxVM kernel: unblock UTF-8 decode/encode proof + Nat-layer FFT cuts#450
arthurpaulino wants to merge 7 commits into
mainfrom
ap/utf8-tier-1d

Tests: re-pin IxVM FFT costs after Tier 1d + Nat-layer optimizations

07712ff
Select commit
Loading
Failed to load commit list.
Garnix CI / package zkv-prover [x86_64-linux] succeeded Jun 19, 2026 in 4m 7s

package zkv-prover [x86_64-linux]

package zkv-prover [x86_64-linux] succeeded

Details

Last 100 lines of logs:

Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Meta.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/DecompileM.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/GraphM.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Commit.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/AssumptionTree.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Claim.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Common.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Ixon.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Aiur.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/Environment.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/CondenseM.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix/ByteArray.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Apps/ZKVoting/Prover.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/ir/Ix.c.o.export
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/.lake/build/lib/libix_Ix.so
Apps.ZKVoting.Prover> shrinking /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/bin/Apps-ZKVoting-Prover
Apps.ZKVoting.Prover> checking for references to /build/ in /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover...
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patchelf: wrong ELF type
Apps.ZKVoting.Prover> patching script interpreter paths in /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover
Apps.ZKVoting.Prover> stripping (with command strip and flags -S -p) in  /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover/bin
Apps.ZKVoting.Prover> fixupPhase completed in 1 minutes 10 seconds
Uploaded /nix/store/rlz1ahmd694aa9nka8radbcsp33ggg7c-Apps.ZKVoting.Prover to the garnix binary cache.
Uploaded /nix/store/438psjgylnbfn7hk39vlh0fr16pkn659-Apps.ZKVoting.Prover to the garnix binary cache.
View more details on Garnix CI