博客
技术洞察
深入探讨智能合约漏洞、区块链安全最佳实践以及 CertiK 工程师的技术研究。
教育How 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.
教育How 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.
教育How 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?
教育How 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.
教育How 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.
教育The 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.
教育The 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.
技术分析How 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.
技术分析The 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.
技术分析Facebook’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.
教育An 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.
技术分析CertiK 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.