S17 E4: {ideal} BitVM Optimizations (Robin Linus, Liam Eagen, Ying Tong)