【論文速遞】IEEE FOCS 2024 (編碼理論、證明系統、量子承諾、隨機預言、算術電路）