Tech/DD Team

In the face of current critical shortfalls in investor protections and regulations, such as service providers using client assets unrestrictedly, opacity between exchanges and their seemingly independent affiliates, lack of protection of on-chain assets during insolvency, and potential for market misconduct, we stand firm. We believe in the necessity of comprehensive research and advanced technological capabilities for the protection of our partners, investors, and stakeholders. To ensure checks and balances, Rainmaker's Tech/DD Team, alongside our partners, function as an effective impartial entity, upholding the standard of our decision making and actions.

​

Our Technical/Due Diligence (Tech/DD) team is a crucial pillar within the fast-paced, complex blockchain industry. Comprising over 20 global experts in blockchain and finance, our team specializes in DeFi & Blockchain Protocol Research for Institutional Clients. They validate, evaluate, and value projects and investments, ensuring our commitments are both financially sound and technically robust.

​

Key competencies include:

• Blockchain and Cross-Industry Expertise: Our team members are more than blockchain specialists; they're pioneers, enabling worldwide enterprises and developers to access and build upon the decentralized web. Their work covers the entire Web3 ecosystem, from fundamental cryptography research to application-layer protocol development, and includes collaborations with specialized teams from various sectors within the blockchain industry.

• In-Depth Analysis: Beyond traditional due diligence, our team provides institutional clients with up-to-date, comprehensive analysis, paving the way for a competitive market advantage and the creation of optimal investment strategies.

• Developing a Property Tester Against a Formalised Specification: This involves creating an application that verifies whether a system, such as smart contracts, aligns with an unambiguous and complete formal specification. An interactive theorem prover is used to ensure adherence to these high-level properties via mathematical logic and reasoning.

• Full Stack Verification: This entails scrutinizing every layer of a system to confirm its correct functioning. For smart contracts, this involves verifying the contract code and its interactions with other systems like blockchain networks, thus ensuring that the smart contract's implementation aligns with the formal specifications and minimizes the risk of errors or vulnerabilities.

• Formal Verification Tooling: This service automates the formal verification process, particularly useful for new smart contract languages. These tools enhance reliability and security by ensuring that contracts adhere to the formalized language semantics.

​

In essence, these services strive to enhance the reliability, security, and quality of smart contracts by ensuring they meet formal specifications and behave as expected in all scenarios. This is of paramount importance in the blockchain systems and critical market decisions, where contracts are immutable once deployed and handle potentially large amounts of value.

​

Learn more about other teams in the navigation bar, or contact us.