code wiki / ipfilter
topic: ipfilter
4 modules sharing the ipfilter name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_ipfilter.nx | SOVEREIGN IP blocklist (BitTorrent ip-filter): reject known-bad / anti-P2P-monitor IP | 42 | 6 |
| nx_ipfilter_fetch.nx | compile a live plaintext CIDR blocklist into ipfilter.bin over sovereign TLS. Default | 82 | 4 |
| nx_ipfilter_gate.nx | proves the ip-filter: (1) ipf_load reads the binary + ipf_blocked correctly matches | 43 | 3 |
| nx_ipfilter_seed_gate.nx | EXECUTION-level proof the seeder actually rejects a blocked peer (not just that | 36 | 3 |