Certora расширяет инструменты безопасности для Canton
Екатерина Богатырева Компания Certora, специализирующаяся на безопасности и верификации смарт-контрактов в сфере Web3, получила грант в размере 2,01 млн Canton Coin объемом около $300 тыс. от Canton Foundation на разработку нового инструмента с открытым исходным кодом для проектов на Daml. Новый инструмент призван повысить прозрачность многопользовательских систем смарт-контрактов, построенных на базе сети Canton. Он будет …