Network origin in Yaxin Cao first degree
| Entity | Entity type | Industry | |
|---|---|---|---|
Certified Kernel Tech LLC
 Certified Kernel Tech LLC Packaged SoftwareTechnology Services Certified Kernel Tech LLC provides a verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. It has developed modular verification techniques to break down the formidable proof task into smaller ones that can subsequently solve automatically in a more decentralized way. The company was founded in December 2017 by Zhong Shao and Ronghui Gu and is headquartered in New York, NY.
2
| Holding Company | Packaged Software | 2 |
Chart of Companies connected to the second degree
Multi-company connection
Companies connected to Yaxin Cao via their personal network
| Company | Sector | Related people | Main position |
|---|---|---|---|
CertiK Global Ltd.
 CertiK Global Ltd. Information Technology ServicesTechnology Services Certik Global Ltd. operates as a blockchain security company. The company is headquartered in New York, NY. | Information Technology Services | Director/Board Member | |
Certik Foundation Ltd.
 Certik Foundation Ltd. Miscellaneous Commercial ServicesCommercial Services Certik Foundation Ltd. operates as a non-profit organization which provides formal verification platform for smart contracts and blockchain ecosystems. The company was founded by Ronghui Gu and Zhong Shao and is headquartered in Singapore. | Miscellaneous Commercial Services | Founder | |
Seashell Financial, Inc.
 Seashell Financial, Inc. Internet Software/ServicesTechnology Services Seashell Financial, Inc. is an American company that provides a simple and effective portal for DeFi. The company's platform allows users to automate their DeFi strategies and maximize their rewards. The company offers a new way to earn high interest and grow money faster than a savings account and more reliably than the market. The company was founded by Daryl Hok and he has been the CEO since incorporation. | Internet Software/Services | Chief Executive Officer |
Statistics
International
| United States | 3 |
| Singapore | 2 |
Sectoral
| Technology Services | 3 |
| Commercial Services | 2 |
Operational
| Founder | 3 |
| Chief Executive Officer | 2 |
| Director/Board Member | 1 |
| Chief Operating Officer | 1 |
Most connected contacts
| Insiders | |
|---|---|
| Rong Hui Gu | 3 |
| Daryl Hok | 2 |
- Stock Market
- Insiders
- Yaxin Cao
- Company connections
