Liquid is a unified, globally-sourced trading platform aimed to bridge the worlds of fiat and crypto.Launched in 2014 under its parent company, Quoine, Liquid was granted an official license from the Japanese Financial Services Agency (FSA), fueling greater blockchain and cryptocurrency adoption globally.
Liquid provides traders with a user-friendly experience, including a seamless KYC onboarding process for new crypto traders. Their mission to support the movement towards distributed finance helps revolutionize traditional banking, bringing financial services to those who lack options and access.
In order to further build the platform, Liquid uses industry-leading technology known as the World Book. Liquid’s World Book offers shared liquidity by aggregating orders and prices from cryptocurrency exchanges around the world. By using Quione’s Matching Engine and Cross Currency Conversion Engine technologies, the exchange has built a whole new level of accessibility and transparency.
Similar to CertiK, security is rooted in Liquid’s DNA. The exchange is fully compliant and regulated by the Japanese Financial Services Agency to ensure the safety of all traders. Liquid’s cooperation with the government and due diligence in mitigating risks builds credibility within the already-existing crypto community as well as the wider population.
CertiK is excited to partner with Liquid to provide the cybersecurity expertise they seek. By leveraging our years of experience working directly with exchanges, CertiK will help projects aiming to list on Liquid follow regulations, do their due diligence, and build trust with the community at large.
With the CertiK team, the importance and value of trust in the blockchain space cannot be overstated. Professor Ronghui Gu—Co-Founder of CertiK and Assistant Professor at Columbia University—states, “Blockchain ecosystems are built based on trust. Some people may call it ‘consensus’, and some people may call it a ‘belief’. However, the codes written to implement such blockchain ecosystems are, ironically, not truly trustworthy due to vulnerabilities.”
After years of research into Formal Methods in Computer Science, our co-founders saw an opportunity; Formal Verification—a set of techniques that had been around since the 80s—provided the blockchain world a way to check and ensure the trustworthiness of code. This highly-specialized process mathematically proves code correctness and that code functions perform only as intended.
CertiK’s proprietary Formal Verification methods set a new standard because we’ve made it possible for organizations to prove that their blockchain projects—cryptos included—are hacker-resistant.
CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance. CertiK was founded by Computer Science professors of Yale University and Columbia University, securing over $6B in assets from many of the world’s top projects.
The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and notable investors include Binance Labs, Bitmain, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.
Consult with one of our experts at firstname.lastname@example.org