For those in a rush:
Initial paper outlining theorem (2021):
Paper that demonstrates and proves its validity (2025):
I tried a quick search, but I’m not seeing any public implementations that specifically mention or cite ‘Krapavin’ or ‘Tiny Pointers’ anywhere.