A new Correlated-Assets Price Oracle (CAPO) price feed for rETH has been developed for Compound III "Comet" on Ethereum mainnet. Certora has reviewed the proposed update and found no security issues. The details of the code reviewed and the methodology used can be found in the linked report.