NEAR Protocol Co-Founder Calls for Formal Verification in Blockchain Security

NEAR Protocol's co-founder ilblackdragon emphasized the need for formal verification in blockchain security, citing the inadequacy of manual code audits against sophisticated attacks.

The emphasis on security protocols becomes increasingly relevant as the broader crypto market exhibits mixed signals. ilblackdragon argues that relying solely on manual code audits is insufficient in the face of advanced hacking techniques.

Formal verification is a strategic response to the increasing complexity of smart contracts and potential vulnerabilities they may harbor.