is there an actual product or implemention of any of these? I can't seem to find any examples actually in the wild. Has any of that even been mathematically pro

is there an actual product or implemention of any of these? I can't seem to find any examples actually in the wild. Has any of that even been mathematically proven? It's easy to prove hashing and the block chain.