Marinade Finance introduces secure staking Solana tools to penalize malicious validators and protect users from sandwich ...

Sonic Labs has released an open-source formal verification library designed specifically for DAG-based consensus protocols.