Verifiable Homomorphic Linear Combinations in Multi-Instance Time-Lock Puzzles | Read Paper on Bytez