mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-08-20 15:37:29 +00:00
allaun
475f6319ea
This squashes all local history (768 commits) onto the scrubbed PR #90 baseline. Individual commits were lost during filter-repo corruption; the working tree content is preserved intact. Build: N/A (working tree state only)
38 lines
No EOL
786 B
Markdown
38 lines
No EOL
786 B
Markdown
# Layer L4: Security
|
|
|
|
## Overview
|
|
Attack-aware gating and frustration memory. Security mechanisms for the Research Stack.
|
|
|
|
## Status
|
|
🟡 **Partial** - AngrySphinx in Lean, other components in progress
|
|
|
|
## Key Components
|
|
|
|
### AngrySphinx
|
|
- Exponential proof-of-work
|
|
- Memory-hard computation
|
|
- Attack deterrence mechanism
|
|
|
|
### FAMM Frustration
|
|
- Frustration-avoiding memory management
|
|
- Scar tracking and remediation
|
|
- Failure mode analysis
|
|
|
|
### ASIC Topology
|
|
- Attack-aware hardware design
|
|
- Side-channel resistance
|
|
- Physical security measures
|
|
|
|
## Formal Proofs
|
|
- [[AngrySphinx Correctness]]
|
|
- [[FAMM Safety]]
|
|
- [[Side-Channel Resistance]]
|
|
|
|
## Documentation
|
|
- [[Security Architecture]]
|
|
- [[Attack Surface Analysis]]
|
|
- [[Frustration Mechanics]]
|
|
|
|
---
|
|
|
|
#layer-L4 #security #proof-of-work |