bug-bounty489
google305
xss293
microsoft262
facebook224
rce187
exploit158
apple149
malware142
cve124
account-takeover110
bragging-post110
csrf85
privilege-escalation84
authentication-bypass70
stored-xss66
phishing61
reflected-xss59
writeup58
dos58
browser55
supply-chain55
access-control55
reverse-engineering51
web-security49
input-validation49
react48
defi48
open-source47
smart-contract47
ssrf47
cross-site-scripting46
cloudflare45
oauth45
ethereum44
sql-injection43
aws41
web340
docker39
web-application39
race-condition37
lfi37
api-security37
ctf36
burp-suite36
ai-agents36
node34
information-disclosure33
smart-contract-vulnerability33
idor32
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