Great report from @CertiKCommunity as they concluded how our smart contract language, #Pact, was "designed to be easier to read,

19 Jan 2023, 18:57
Great report from @CertiKCommunity as they concluded how our smart contract language, #Pact, was “designed to be easier to read, understand, & formally verify”! Thanks to Certik, @Kadena_io can continuously improve the security of Pact for our ecosystem of projects & builders! #Kadena is a #blockchain that aims to be more scalable, more secure, and easier to use than the other Layer 1 blockchains To program smart contracts a new language has been developed: Pact However, no programming language is immune to all attack vectors.