Īn airbridge is the means by which an airhead is kept supplied by flying over enemy held territory. For other uses, see Airbridge.Īn airbridge is the route and means of delivering material from one place to another by an airlift. To request the audit/verification of your smart contracts, please send an email to or visit to submit the request.This article is about logistics operation. CertiK is incubated and invested in by Binance Labs, along with other world’s leading investors such as DHVC, FBG Capital, Bitmain, and Lightspeed. Trusted by the security industry, CertiK has reached strategic partnerships with the world’s top digital asset exchanges such as Binance, OKEx, and Huobi, as well as Public Chains such as NEO, ICON, and QuarkChain. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified dApp libraries, and smart labeling. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystems and smart contracts are hacker-resistant and bug-free.
#Airbridge token verification
The company behind Airbloc was awarded by KB Kookmin Card, Korea’s largest credit card company in July 2018 as the top 10 promising technological companies in Korea with expertise in big data infrastructure.ĬertiK is the premier blockchain and smart contract verification platform, founded by top Formal Verification experts from Yale and Columbia University and former senior software engineers from Google and Facebook. Since 2016, the company has been tracking the data of over 50M devices equivalent to 2/3 of the entire Korean mobile population through its big data analytics. For its promising technology, Airbloc gained funding support by leading renowned traditional and blockchain institutions such as Messaging Giant LINE Corporation’s Blockchain Venture Fund, Huobi Capital, and OKEX Capital, Bgogo, Fenbushi Digital, and many more.Īirbloc aims return data ownership back to individuals, allow applications to collect and monetize data legitimately, and allow enterprises to exchange explicitly consented data with an auditable source of provenance for their business intelligence, research, and targeted marketing purposes.Īirbloc is a Reverse ICO completed back in June 2018 led by a leading Korean big data data company, Airbridge, that was recognized in 2016 as a promising technology company by the South Korean government. A project that aims to realize true enterprise adoption, it has formed partnerships with industry-leading companies such as Hankyung (Korea’s 2nd Largest Financial Newspaper) and Battle Comics (Korea’s 2nd Largest Comics Platform with over 1M users). Though the likelihood is rare as those operations shall be carefully handled by the client team, we suggested to either have a list of owners (one primary and the rest for backup), or a step further to have a multisig smart contract handling privileged operations over the smart contract.ĭuring the initial iteration, we found some low-impact CertiK’s Formal Verification engine concluded that although highly unlikely, Airbloc smart contract had a subtle bug that could cause undesired behavior.Īirbloc is a consent-based real-time personal data exchange platform.
![airbridge token airbridge token](https://blog.dubaicityguide.com/site/wp-content/uploads/2021/05/Screen-Shot-2021-05-06-at-12.37.26-AM-768x579.png)
Basically, `transferOwnership` is considered as a double-bladed sword, an easy mistake, like providing a wrong address for the new owner, will deprive the owner and orphan the administrative authority such as token lock/unlock. Here is a highlight over the `Zero Owner` issue found in the source code. We appreciate that Airbloc team’s efforts on developing the smart contract, as well as seeking multiple opinions before the mainnet release for better quality and bigger responsibility to its supporters and token holders.
#Airbridge token update
With the final update of source code and delivery of the audit report, we conclude that the contract is not vulnerable to any classically known anti-patterns or security issues.
![airbridge token airbridge token](https://img1.daumcdn.net/thumb/R1280x0/?scode=mtistory2&fname=https:%2F%2Fblog.kakaocdn.net%2Fdn%2FbrECZY%2FbtqzPm2hrsW%2F1qdlR3taCAe6f8pUGyTWH0%2Fimg.jpg)
We are glad to see the quick response from the client and also the later on commits regarding the issues we addressed.ĬertiK team has applied a suite of technologies over the source code including the proprietary formal verification by applying smart labels, together with traditional testing, static analysis and model checkings.
![airbridge token airbridge token](http://ab180-share.s3-ap-northeast-1.amazonaws.com/pb-aL4zYQusrG.png)
The project went through 2 rounds of iterations without any high impact vulnerabilities found, while several low-impact ones were revealed and coding recommendations were brought to Airbloc team for potential enhancements. The purpose of this audit is to make sure the to-be-verified smart contracts are robust enough to avoid potential unexpected loopholes and immune to classical security issues.