mirror of
https://github.com/zooai/proofs.git
synced 2026-10-30 14:49:47 +00:00
zeekay
c86eec94cb
Local zoo/formal was a stale parallel checkout that pointed at
zoo-labs/formal (non-existent); the canonical remote is
zooai/proofs. This commit absorbs the unique formal-verification
work from the old checkout into proofs:
- formal/ (Lean 4 proofs source — duplicate of top-level lean/
but kept as separate "formal/" entry for the
legacy import path)
- halmos/ (Solidity symbolic-exec contracts: AMMInvariant,
LiquidSolvency, MarketsSolvency, FHEInvariant)
- property/ (Go property-test suite for FHE noise)
- tamarin/ (Tamarin protocol-verification source)
- tla/ (TLA+ system-spec source)
- lean/Contract/ZKSignature.lean (unique, not in proofs/lean)
- lean/Crypto/ZKSignature.lean (unique, not in proofs/lean)
- FORMAL_VERIFICATION.md (preserved from the old README)
- LLM-formal.md (preserved from the old LLM.md)
The duplicate folder /Users/z/work/zoo/formal is now deleted on
disk. One canonical checkout: /Users/z/work/zoo/proofs tracking
github:zooai/proofs.
30 lines
690 B
JSON
30 lines
690 B
JSON
{
|
|
"name": "@luxfi/proofs-site",
|
|
"version": "1.0.0",
|
|
"description": "Lux Network formal proofs - proofs.lux.network",
|
|
"private": true,
|
|
"scripts": {
|
|
"dev": "next dev",
|
|
"build": "next build",
|
|
"start": "next start",
|
|
"lint": "next lint"
|
|
},
|
|
"dependencies": {
|
|
"next": "^16.0.0",
|
|
"react": "^19.1.0",
|
|
"react-dom": "^19.1.0",
|
|
"clsx": "^2.1.1",
|
|
"lucide-react": "^0.475.0",
|
|
"next-themes": "^0.4.6"
|
|
},
|
|
"devDependencies": {
|
|
"@types/node": "^22.12.0",
|
|
"@types/react": "^19.1.0",
|
|
"@types/react-dom": "^19.1.0",
|
|
"typescript": "^5.8.0",
|
|
"tailwindcss": "^4.1.0",
|
|
"@tailwindcss/postcss": "^4.1.0",
|
|
"postcss": "^8.5.0"
|
|
}
|
|
}
|