Skip to main content

Logos Research and Development Service Units

Logos R&D Service Units are integral to supporting IFT projects by researching and developing base components and secure, unbiased protocols. They implement them in software artefacts like nim-libp2p and Zerokit. These artefacts are designed to be readily usable by projects and accessible to the broader community beyond Logos.

In addition to developing these base components and protocols, Logos R&D service units offer valuable expertise, resources, and technical guidance. For instance, projects can outsource specific milestones to Logos R&D units, especially for components that might benefit multiple projects. This approach allows for efficient resource allocation and knowledge sharing across the Logos ecosystem.

Furthermore, these units conduct applied research, spearheading exploration and cutting-edge innovation within Logos and the wider IFT. Their primary focus is on researching topics that are practically relevant and directly helpful to projects. This approach actively bridges the gap between theory and practice, including identifying opportunities for and initiating new incubator projects.

Please find the Logos R&D service units' roadmaps here, the weekly updates here, and our forum here, where we encourage you to engage in discussions about R&D topics across Logos, the entire IFT, and the broader ecosystem beyond.

P2P​

The P2P service unit develops nim-libp2p, and works on improving libp2p protocols with a focus on gossipsub. It prioritises requests for libp2p protocol improvements and nim-libp2p feature requests originating from IFT projects.

The P2P unit aims to optimise information sharing and communication within decentralised networks, contributing to the overall robustness and scalability of the P2P layers of IFT projects.

Token Economics (TKE)​

The Logos Research Token Economics unit is dedicated to assisting Logos and IFT projects in designing their token economies, incentives, and markets. TKE's collaboration with IFT project teams is intensive and occurs on a day-to-day basis, where TKE not only responds to their needs but also proactively drives the conversation forward by suggesting new ideas and strategies based on TKE's research. The team brings together a broad spectrum of skills and knowledge, ranging from the modelling of dynamic systems to theoretical modelling and general cryptoeconomics.

Distributed Systems Testing (DST)​

The Distributed Systems Testing (DST) R&D service unit is responsible for developing distributed systems testing software. DST's primary objective is to assist IFT projects in understanding the scaling behaviour of their nodes within larger networks. By conducting thorough regression testing, the DST unit helps identify potential bottlenecks and performance issues, ensuring the reliability and stability of the projects. The DST unit's expertise in distributed systems testing enables IFT projects to deliver scalable and resilient solutions that can withstand the demands of real-world decentralised applications.

Quality Assurance (QA)​

The QA Service Unit is dedicated to supporting IFT projects through the development and execution of comprehensive test plans. Primary responsibilities include implementing unit and interoperability tests to ensure seamless integration and functionality across systems.

The QA unit plays a crucial role in the verification of project implementations. By rigorously testing project implementations against defined specifications, QA ensures that all functionalities align with the project's requirements. QA's proactive approach to identifying and reporting bugs ensures that any issues are addressed promptly, enhancing the overall quality and reliability of the software. Through meticulous testing and quality assurance processes, the QA Service Unit ensures that IFT projects deliver robust and high-performing software solutions.

Smart Contracts (SC)​

Logos Research's Smart Contracts service unit specialises in developing, maintaining, and auditing smart contracts for IFT projects. The unit ensures all smart contracts are robust, secure, and aligned with project requirements. It enhances existing smart contracts and develops new ones using Certora formal verification rules, a cutting-edge approach that mathematically proves contract adherence to intended specifications.

The SC unit designs and implements smart contracts tailored to the unique needs of Logos and other IFT projects, guaranteeing they function as intended and remain current with evolving project requirements. By leveraging tools like the Certora Prover, the team can detect rare and hard-to-find bugs, providing the widest possible coverage for smart contract security. This approach not only ensures the integrity of the contracts but also streamlines operations and reduces potential risks for Logos and the IFT.

Nim​

With the IFT's extensive use of the Nim ecosystem, the Nim Service Unit focuses on the development and maintenance of Nim tooling and core libraries essential for Logos and other IFT projects. The Nim unit works on critical tools in the Nim ecosystem, including the Nim compiler, Nimble (package manager), and nim-suggest, ensuring they are efficient, reliable, and up-to-date. The Nim unit further plans to maintain core libraries developed by IFT, such as Chronos. The mandate of the Nim unit also includes providing support to Logos and IFT projects regarding the use of Nim, identifying and addressing specific project needs and demands related to the Nim ecosystem.

Applied Cryptography & ZK (ACZ)​

The Applied Cryptography & ZK (ACZ) R&D service unit works on cryptographic solutions, zero-knowledge (ZK) proofs and argument systems, as well as network security protocols. The unit mainly works on base components, protocols, and their implementations. These include:

  • RLN (RLNv1, RLNv2, RLNv3) and
  • its backend implementation Zerokit,
  • a decentralised version of MLS,
  • a libp2p-mix protocol,
  • as well as noise protocol channels and other cryptography-related aspects.

By leveraging state-of-the-art cryptographic and network security technologies, ACZ enhances the security, privacy, and trustworthiness of IFT projects, contributing significantly to the integrity and resilience of the decentralised web ecosystem. Research in ACZ has given rise to the incubator project Logos Execution Environment.

RFC​

The Logos Research RFC unit serves as a vital cornerstone in the IFT, taking on the responsibility of shepherding and editing specifications for Logos and other IFT projects. By meticulously crafting and overseeing these specifications, the Logos Research RFC unit acts as a linchpin for ensuring standardised and interoperable protocols within the IFT ecosystem The RFC unit's expertise and attention to detail contribute to a cohesive and collaborative environment, facilitating seamless integration and advancement of decentralised technologies throughout the IFT and beyond.

Security​

The Logos Research Security service unit provides comprehensive support to IFT projects by conducting security audits and helping develop robust security plans. In addition to assisting IFT projects, the security team also supports other IFT services by offering expert guidance on security best practices and risk-management strategies. This collaborative approach ensures that all aspects of the IFT ecosystem benefit from enhanced security measures. By identifying potential vulnerabilities, assessing risks, and implementing effective security solutions tailored to specific needs, the Logos Research Security service unit plays a crucial role in strengthening the overall security posture of the IFT.