Blockchain na proteção do direito autoral: consequências na indústria fonográfica

O presente estudo tem por objetivo analisar as consequências na indústria fonográfica em relação à Blockchain, especialmente focado na proteção do direito do autor, este que pode ser muito beneficiado no contexto. Mostra-se como a Blockchain é capaz de servir como meio de registro de prova de autoria de obra, notadamente musical, destacando a ausência de jurisprudência brasileira sobre o tema, muito embora a perspectiva legal e o entendimento chinês sejam favoráveis. Apresenta-se a definição de Blockchain, a de criptoativos, e mostrase os potenciais exemplos práticos que poderiam revolucionar o meio, em benefício dos artistas, os quais não teriam a necessidade de contratar com intermediadores que lucram a maioria de seus royalties, especialmente as editoras, bem como evita a pirataria e o uso ilegal de conteúdo. No entanto, considerando o desinteresse e potencial prejuízo desses agentes nesta toada, refletese em até que escala eles têm poderes para frear essa inovação na indústria fonográfica

How solid is solidity? An in-dept study of solidity’s type safety.

Blockchain has evolved a lot in the last years: one of the most important features is the possibility, for mutually untrusted parties, to interact with one another without relying on a third party trusted entity. This interaction is made possible by the so-called smart contracts, passive arbitrary programs executed in a decentralized network and usually manipulating money. One of the main platforms in this sense is Ethereum, and a number of programming languages exist in its ecosystem, all with points of strength and flaws. Of these, the most widely used is for sure Solidity. In spite of its high potential, repeated security concerns have undercut the trust in this way of handling money. Bugs and undesired behaviors are worsened by the impossibility of patching a contract once it is deployed on the blockchain. As a consequence, many analysis tools have been developed by researchers. However, those operating on Solidity lack a real formalization of the core of this language. We aim to fill the gap with Featherweight Solidity (FS). To the best of our knowledge, this is the first calculus including the semantics as well as the type system. Thanks to it, we proved the theorem of Type Safety for Solidity (claimed in the official documentation, although not supported by any public proof). We also formalized, and proved, an extended Type Safety statement addressing groups of transactions. During this process, we found out that Solidity's type system is far from being safe with respect to any type of error: in many occasions, contract interfaces are not consulted at compile-time, and this makes the execution raise an exception and the user waste money. Sometimes, in particular when transferring money from one party to another, exceptions can be avoided by simply looking at, at compile-time, contract interfaces. We also propose an extension of the type system, FS+, that targets this undesired behavior. We prove that Type Safety is maintained, but we formalize additional theorems stating new safety properties, too. In particular, but not only, FS+ statically detects, and consequently rules out, ill-formed money transfers made by means of the Solidity's built-in transfer function. We compared it with Solidity, and showed that including this extension does not change radically the way of writing smart contracts, whereas it makes them much safer.ope