We could help you to design and implement your DApps, smart contracts, private or public blockchain and cryptography-based technologies to store immutable data in your products, institution or corporation.

Please refer to Products and API documentations for reference of our previous works.

We provide security audit services and formally verified audits for your blockchain implementation, consensus protocol, smart contracts and DApps using industry-standard security patterns and best practices.

We have been selected as audit partner for various successful blockchain projects such as Kyber Network, Request Network, QuarkChain, Sentinel Protocol, Joyso, Tomochain.

If you are looking for smart contract audit, please also check out our RK87 Smart-Contract Security Formal Verification tool.