mirror of
https://github.com/luxfi/fhe.git
synced 2026-07-26 23:16:08 +00:00
Antje WorringandHanzo Dev
dd53f8b350
require import Bool ('^^' xor scope); reproved chained_pbs_correctness and the
PBS-chain noise-budget induction (last_ind/foldl_rcons); fixed threshold-DKG
correctness rewrites.
Verified: all check under easycrypt (z3 + alt-ergo), 0 admits. Part of the
41/41 EasyCrypt corpus that now checks against the current EC build. Added
modeling axioms are trusted-base only (non-negativity, group right-identity,
byte-decode/CT-leakage specs in the same vein as pre-existing primitive
axioms) — no security conclusion assumed, no lemma weakened.
Co-authored-by: Hanzo Dev <dev@hanzo.ai>
95 lines
842 B
Plaintext
95 lines
842 B
Plaintext
# Dependencies
|
|
node_modules/
|
|
.pnpm-store/
|
|
.yarn/cache/
|
|
.yarn/unplugged/
|
|
|
|
# Build outputs
|
|
dist/
|
|
build/
|
|
out/
|
|
.next/
|
|
.nuxt/
|
|
.output/
|
|
|
|
# Cache
|
|
.cache/
|
|
*.cache
|
|
.turbo/
|
|
.parcel-cache/
|
|
|
|
# IDE
|
|
.idea/
|
|
.vscode/
|
|
*.swp
|
|
*.swo
|
|
.DS_Store
|
|
|
|
# Environment
|
|
.env
|
|
.env.local
|
|
.env.*.local
|
|
!.env.example
|
|
|
|
# Logs
|
|
*.log
|
|
npm-debug.log*
|
|
yarn-debug.log*
|
|
yarn-error.log*
|
|
pnpm-debug.log*
|
|
|
|
# Testing
|
|
coverage/
|
|
.nyc_output/
|
|
|
|
# Rust
|
|
target/
|
|
Cargo.lock
|
|
!core/*/Cargo.lock
|
|
!research/*/Cargo.lock
|
|
!wasm/*/Cargo.lock
|
|
|
|
# Python
|
|
__pycache__/
|
|
*.py[cod]
|
|
*$py.class
|
|
.Python
|
|
*.egg-info/
|
|
.eggs/
|
|
*.egg
|
|
.venv/
|
|
venv/
|
|
ENV/
|
|
|
|
# Go
|
|
*.exe
|
|
*.exe~
|
|
*.dll
|
|
*.so
|
|
*.dylib
|
|
|
|
# Hardhat/Foundry
|
|
cache/
|
|
artifacts/
|
|
typechain/
|
|
typechain-types/
|
|
forge-cache/
|
|
|
|
# Misc
|
|
*.bak
|
|
*.tmp
|
|
*.temp
|
|
.git-backup/
|
|
python-sdk
|
|
ml-sdk
|
|
|
|
# Compiled example binaries
|
|
/crdt
|
|
/mediaseal
|
|
/provenance
|
|
/seal
|
|
/stats
|
|
/vote
|
|
CLAUDE.md
|
|
*.eco
|