Blog
Technical insights
Deep dives into smart contract vulnerabilities, blockchain security best practices, and technical research from CertiK engineers.
EducationalHow Bitcoin Works: Why is Bitcoin Worth Anything?Now that you have read the previous posts, you understand how Bitcoin works as a currency system created purely out of code. But you might still be wondering anyone considers this currency to have any value.
EducationalHow Bitcoin Works: HashingA hashing function is a function that can only be calculated in one direction — this singular flow is what gives the Blockchain world both clarity and safety.
EducationalHow Bitcoin Works: Mining and ConsensusNow we know how it is possible that only you can spend your own money. But — how is it possible that everyone can agree on what everyone else’s balance is — especially when there’s no central server to coordinate things?
EducationalHow Bitcoin Works: Cryptographic IdentityPreviously, we discussed the basics of the Blockchain structure. Today, we’re going to tackle the tension of the system — how you can be safe and anonymous, yet transparent and clear.
EducationalHow Bitcoin Works: The Purpose of BitcoinWelcome to our new series: How Bitcoin Works. This series will go into sections including cryptography, mining and consensus, and hashing.
EducationalThe Smart Contract Audit of the DAG Infused Blockchain Project — LNX ProtocolWithin the blockchain ecosystem, projects often face a trade-off between decentralization, scalability and security.
EducationalThe Smart Contract Token Audit for SponBAs the blockchain ecosystem continues to grow, it’s no surprise that the technology continues to revolutionize different industries. SponB is the newest innovator in the space.
Technology analysisHow Sparrow Leveraged CertiK’s Penetration TestingWe take security seriously, and the lasting effect of a cyber attack can be serious. The reality is, anyone can be prone to a hack.
Technology analysisThe Tellor Oracle: How the Staked Proof-of-Work Oracle leveraged Formal VerificationCertiK is proud to have successfully completed the official audit of Tellor in coordination with their Mainnet release earlier this month.
Technology analysisFacebook’s “Move” Programming Language: How Does It Compare to Solidity and DeepSEA?We compare Facebook’s Move with Ethereum’s Solidity and CertiK’s DeepSEA to interpret the differences between the languages, detailing the advantages — and complications — therein.
EducationalAn Introduction to Formal VerificationFormal Verification is the highly specialized process that CertiK uses to mathematically prove the security and correctness of blockchain smart contracts. Unlike manual security checks, Formal Verification examines the entire code logic at-scale and mathematically ensures your program works only as it’s intended to.
Technology analysisCertiK Is Running for EOS Block ProducerAs EOS is partnering with potential organizations to execute its 21 Block Producers, CertiK is honored and humbled to have your support — with over 86 million votes, we’re in prime position to be voted in.