Is there an out-of-the-box and well battle tested token migration/redemption EVM smart contract implementation somewhere?
Where anyone can come and swap any amount of token A for token B at a fixed rate, enough inventory of token B would be available to accomodate the entire supply of token A being swapped.