concentric Static confidentiality analysis for Solidity contracts on Circle's opt-in confidential execution environment.