Canton Foundation said Certora is building an open-source static analysis tool for Daml through the Protocol Development Fund, bringing automated security assurance to institutions and builders on Canton.
"Certora has been awarded a grant from the Canton Network Development Fund to build an open-source static analysis tool for Daml."— Certora