![]() We’ll present some early results that illustrate the interaction between the Ethereum blockchain and regular distributed systems (e.g task scheduler, data management, etc.) Moreover, because the blockchain provides distributed consensus and resiliency while being fully distributed, we think that it’s going to change drastically the way we design distributed systems and applications. In this talk, we’ll show how Ethereum can be used to organize decentralised infrastructures and market places, where everyone will be able to rent its computing resources (CPU, storage, GPU, …), where the innovative SMEs which design Big Data and HPC applications will be able to sell them online immediately with the needed resources to run them, and where highly valued data-sets will be rentable with a fine-grain business model. Since the early 2000’s we have pushed this idea to its extreme limit by proposing many software and algorithms in the area of large scale data processing, data management, parallel computing, security and dependability, QoS,… iExec relies on XtremWeb-HEP, a mature, solid, and open-source Desktop Grid software which implements all the needed features : fault-tolerance, multi-applications, multi-users, hybrid public/private infrastructure, deployment of virtual images, data management, security and accountability, interoperability with eScience infrastructure, and many more. The principle is to collect the computer resources underutilized on the Internet to execute very large parallel applications at the fraction of the cost of a traditional supercomputer. iExec leverages a set of research technologies that have been developed at INRIA and CNRS in the field of Desktop Grid computing (aka Volunteer Computing). IExec provides the SMI / SME and individuals a scalable, secure and easy access to the application, the data-sets and the computing resources they need. L4 derives from the academic literature on contract formalization, everything is opensource and we invite feature requests and contributors to define and create what will become "SQL for contracts".įully Distributed Cloud Thanks to the Ethereum Blockchain Functional languages are well-suited for this kind of formal verification, and we developing L4 in Haskell. The compiler will be responsible for static analysis of the contracts and automated detection of several classes of errors, including: inconsistency, inompleteness, goal satisfaction, and policy compliance. ![]() This means the DSL natively expresses obligations, permissions, prohibitions, and other contractual concepts in a way that computers can easily reason about. Our DSL, L4, doesn’t simply fill templates, it fulfills the Curry–Howard correspondence between computer programs and mathematical proofs, i.e., what functional languages do for the □-calculus, the DSL will do for the deontic modal μ-calculus. We propose the creation of a domain-specific-language (DSL) for (smart) contracts are consistent, correct, and complete. Topics in this talk range from exploring the relationship between Ethereum protocol design and ideologies, the dangers of techno-utopianism, techno-colonial solutionism, and general recommendations for how Ethereum builders can adopt more socially-minded frameworks in their work to create a more ethical and accessible Ethereum ecosystem.ĭesigns for the L4 Contract Programming Language Based on Deontic Modal Logic It is thus important to critically reflect on the kinds of narratives and values we prescribe to blockchain and how in turn, actors within the blockchain community and beyond are influenced by them. The famous media theorist, Marshall McLuhan, once stated that technologies are extensions of the human this means that blockchain as a technology, reflects our values, beliefs, and biases. Despite popular claims that depict blockchain as a “neutral technology”, it is important to critically examine how blockchain expresses itself in different social, economic and political contexts. ![]() Technology and society mutually constitute one another. This talk offers insights on the Ethereum community from an anthropological perspective.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |