블로그
기술 인사이트
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.