Evaluating the Software Frameworks for Developing Decentralized Autonomous Organizations

First Bitcoin in 2008, and later Ethereum in 2014, held a powerful promise: online decentralized governance, without servers or central controllers, not just for finance applications like crypto-currencies but for any organization. The so called Decentralized Autonomous Organizations (DAOs) were expected to fulfill such a promise, enabling people to organize online relying on blockchain-based systems and smart contracts automatizing part of their governance. In 2016, three DAO software frameworks —Aragon, DAOstack and Colony— emerged aiming to facilitate development and experimentation in this field. To which extent do they facilitate DAO development today? This paper performs an analytical comparison of these three frameworks, focusing on their current functionalities for building DAOs. We find Aragon to be the most complete in several aspects. In order to provide more details on the challenges on building DAOs with current frameworks, we present a case study using the Aragon framework. Through this case study, we have piloted DAO development using this framework, and thus we may highlight the benefits, limitations and problems that developers face when adopting it. Our findings show that, even if Aragon does provide superior capabilities to other frameworks, it is still highly challenging to build a DAO with the current tools. Today, problems include issues on software engineering, instability, localization, documentation, lack of formalization and standards, and interoperability. Complementarily, this paper aims to provide some guidance to those developers aiming to face the challenges in developing a DAO, and to those aiming to fix the major weak points that make DAOs the organizations of a still distant future

Tokens Matter

During the global pandemic, information workers were abruptly forced to engage in virtual work. This paper reports on an experiment seeking to formalize the formalization of small team coordination at London Blockchain Lab through the use of blockchain-supported tokenization. The Web3 organizing vision promotes the technology as an enabler of new ways for individuals and organizations to engage in the transparent exchange of scarce digital rights. However, little attention has been paid to the use of blockchain technologies to coordinate distributed collaborative activities. This paper seeks to understand the viability of this vision amongst a community of expected early adopters through design experimentation resulting in interview data. The study points towards the significant gap between the Web3 vision and the problems of realizing this in practice. This highlights fundamental barriers to using blockchain for team collaboration while also pointing toward its potential. Even the most willing and able find it hard to turn code into law through tokenizing collaboration

Methodological Guide to Co-design Climate-smart Options with Family Farmers

Climate-smart agriculture (CSA) seeks to improve productivity for the achievement of food security (pillar 1: Productivity), to develop a better ability to adapt (pillar 2: Adaptation), and to limit greenhouse gas emissions (pillar 3: Mitigation). Technical and organizational innovations are needed to find synergies among those three pillars. Innovation (its creation and its operation) is a social phenomenon. Many studies worldwide have shown that promoting a sustainable change and innovation within organizations has to be analyzed and implemented with stakeholders. Thus, the ability of local actors to tackle climate change and mitigate its effects will depend on their ability to innovate and mobilize material and non-material resources, to articulate links among national policies, not only between themselves, but also undertaking actions at the local level. To support stakeholders in the development of responses to this challenge, we propose the development of open innovation platforms, in which all local actors may participate. These platforms are virtual, physical, or physico-virtual spaces to learn, jointly conceive, and transform different situations; they are generated by individuals with different origins, different backgrounds and interests (Pali and Swaans, 2013).The purpose of this manual is to provide a seven-step methodology to allow family farmers to co-build and adopt CSA options to tackle climate change in an open innovation platfor

The logic behind negotiation : from pre-argument reasoning to argument-based negotiation

The use of agents in Electronic Commerce environments leads to the necessity to introduce some formal analysis and definitions. A 4-step method is introduced for developing EC-directed agents, which are able to take into account non-linearites such as gratitude and agreement. Negotiations that take into account a multi-step exchange of arguments provide extra information, at each step, for the intervening agents, enabling them to react accordingly. This argument-based negotiation among agents has much to gain from the use of Extended Logic Programming mechanisms. Incomplete information is common in EC scenarios; therefore arguments must also take into account the presence of statements with an unknown valuation

Moving formal methods into practice. Verifying the FTPP Scoreboard: Results, phase 1

This report documents the Phase 1 results of an effort aimed at formally verifying a key hardware component, called Scoreboard, of a Fault-Tolerant Parallel Processor (FTPP) being built at Charles Stark Draper Laboratory (CSDL). The Scoreboard is part of the FTPP virtual bus that guarantees reliable communication between processors in the presence of Byzantine faults in the system. The Scoreboard implements a piece of control logic that approves and validates a message before it can be transmitted. The goal of Phase 1 was to lay the foundation of the Scoreboard verification. A formal specification of the functional requirements and a high-level hardware design for the Scoreboard were developed. The hardware design was based on a preliminary Scoreboard design developed at CSDL. A main correctness theorem, from which the functional requirements can be established as corollaries, was proved for the Scoreboard design. The goal of Phase 2 is to verify the final detailed design of Scoreboard. This task is being conducted as part of a NASA-sponsored effort to explore integration of formal methods in the development cycle of current fault-tolerant architectures being built in the aerospace industry

Co-designing climate-smart farming systems with local stakeholders: A methodological framework for achieving large-scale change

The literature is increasing on how to prioritize climate-smart options with stakeholders but relatively few examples exist on how to co-design climate-smart farming systems with them, in particular with smallholder farmers. This article presents a methodological framework to co-design climate-smart farming systems with local stakeholders (farmers, scientists, NGOs) so that large-scale change can be achieved. This framework is based on the lessons learned during a research project conducted in Honduras and Colombia from 2015 to 2017. Seven phases are suggested to engage a process of co-conception of climate-smart farming systems that might enable implementation at scale: (1) “exploration of the initial situation,” which identifies local stakeholders potentially interested in being involved in the process, existing farming systems, and specific constraints to the implementation of climate-smart agriculture (CSA); (2) “co-definition of an innovation platform,” which defines the structure and the rules of functioning for a platform favoring the involvement of local stakeholders in the process; (3) “shared diagnosis,” which defines the main challenges to be solved by the innovation platform; (4) “identification and ex ante assessment of new farming systems,” which assess the potential performances of solutions prioritized by the members of the innovation platform under CSA pillars; (5) “experimentation,” which tests the prioritized solutions on-farm; (6) “assessment of the co-design process of climate-smart farming systems,” which validates the ability of the process to reach its initial objectives, particularly in terms of new farming systems but also in terms of capacity building; and (7) “definition of strategies for scaling up/out,” which addresses the scaling of the co-design process. For each phase, specific tools or methodologies are used: focus groups, social network analysis, theory of change, life-cycle assessment, and on-farm experiments. Each phase is illustrated with results obtained in Colombia or Honduras