Curated security research, vulnerabilities, advisories and tools for practitioners.

How a Global Bank Reviewed Smart Contracts Against Its Business Rules With CertiK

Summary

A global bank operating in Hong Kong was developing smart-contract functionality to support digital asset operations within a controlled blockchain environment. The implementation combined token functionality with institution-controlled permissions, transaction restrictions, administrative actions, and upgrade mechanisms. The institution needed an assessment that examined the code in the context of its intended business rules and operating model, rather than applying generic assumptions about publicly accessible token systems.
Published
Collected