taiko는 TEE(SGX Geth, SGX reth)+ZK(SP1, RISC0) 멀티프루버를 운영하고 있는데, 2 / 4 구조라 이론적으로 SGX 두개의 조합으로 ZK 없이 proving이 가능하게 되어있습니다.
어제 SgxVerifier 컨트랙트에 registerInstance 함수를 통해 새 TEE 인스턴스가 등록되었는데, 이를 근거로 악성 TEE가 등록되어 악의적 블록을 생성하고 조작된 검증을 올려 출금시킨 것이 아니냐는 정황상 의심이 제기되고 있는 상태입니다. + Raiko의 enclave 서명키가 깃허브에 노출되어있었음
현재 정확한 원인으로 확정지을 수는 없는 상태라 정보차 올립니다.
https://x.com/Phalcon_xyz/status/2068924424238321854?s=20