Blockchain Driven is an agency of blockchain experts, comprised of founders, researchers, and subject matter experts. Leading at the core of the blockchain and hyper ledger community, creating and contributing to the projects that are pushing technolog ...
CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. To scale the verification, CertiK developed a layer-based approach to decompose such an otherwise prohibiti ...
