mirror of
https://github.com/luxfi/threshold.git
synced 2026-07-27 04:01:59 +00:00
Antje WorringandHanzo Dev
8f68a280bf
EC version drift: True/False -> true/false; program vars must be lowercase-initial; beta/delta reserved as reduction keywords; a comment closed early on '^*).'; resolved a logical-binder/program-var name shadow. Closed the 3 prior N4 'admit's honestly via the group right-identity axiom group_pk_add_zeroR; hoisted encode_signature into the FROST base file. Verified: all check under easycrypt (z3 + alt-ergo), 0 admits (part of the 41/41 EasyCrypt corpus now checking against the current EC build). Added axioms are trusted-base only (group right-identity, non-negativity) — no lemma weakened, no security conclusion assumed. Co-authored-by: Hanzo Dev <dev@hanzo.ai>
32 lines
575 B
Plaintext
32 lines
575 B
Plaintext
# Binaries for programs and plugins
|
|
*.exe
|
|
*.exe~
|
|
*.dll
|
|
*.so
|
|
*.dylib
|
|
|
|
# Build artifacts from `make build` / `make examples`
|
|
# (`bin/` is the Makefile output dir; `example/example` is built from
|
|
# `example/example.go` by the `examples` target.)
|
|
/bin/
|
|
/example/example
|
|
/example/dynamic_reshare_example
|
|
|
|
# Test binary, built with `go test -c`
|
|
*.test
|
|
|
|
# Output of the go coverage tool, specifically when used with LiteIDE
|
|
*.out
|
|
|
|
# Dependency directories (remove the comment below to include it)
|
|
# vendor/
|
|
.idea/**
|
|
.wip/**
|
|
|
|
CLAUDE.md
|
|
AGENTS.md
|
|
GEMINI.md
|
|
QWEN.md
|
|
/mldsa-bench
|
|
*.eco
|