bug-bounty485
google305
xss296
microsoft255
facebook221
rce190
exploit160
apple144
malware139
cve126
account-takeover113
bragging-post110
privilege-escalation86
csrf85
authentication-bypass71
stored-xss66
phishing61
reflected-xss59
writeup58
dos56
supply-chain54
browser53
access-control52
web-security49
reverse-engineering49
input-validation49
react48
ssrf48
defi48
smart-contract47
cross-site-scripting46
oauth45
open-source45
ethereum44
cloudflare44
sql-injection43
aws40
web340
web-application38
docker38
ctf37
race-condition37
lfi37
api-security36
burp-suite36
ai-agents35
node34
info-disclosure33
information-disclosure33
smart-contract-vulnerability33
0
3/10
ProofCodec demonstrates a compression algorithm that encodes 2 million DNS domains into 253 bytes with mathematical proof of correctness, beating Huffman baseline compression across chess endgames and infrastructure domains with independently verifiable proof bundles.
data-compression
proof-of-correctness
algorithm
benchmark
encoding
huffman-coding
chess-endgames
verification
ProofCodec
Syzygy
Huffman