IOHK/IOG will be hosting a meeting at Edinburgh next week. Available online, plus an in-person meetup for folk near Edinburgh.
Let’s celebrate the dawning of a new era for #Cardano together. Join us for a virtual event that will showcase the community’s achievements over the last 5 years & discuss IOG’s vision for the future of Cardano. Learn more: https://lnkd.in/g2bzZEtR
After months of testing with smaller groups, the Cardano public testnet was recently upgraded to support smart contracts. The surge of activity that followed included many dApp tests and experiments, with developers eager to perform a large-scale test and show off their hard work. This effort has created a ferocious discussion around some of the design decisions behind Cardano. Many critics are using this discussion as an opportunity to point to Cardano, misrepresent the problem, and ultimately underestimate the potential of one of the giants of the crypto industry. Misconceptions are now floating around suggesting that Cardano only supports one transaction per block, only one user can interact with a smart contract at a time, and that cardano is ultimately destined for centralization. All of these are inaccurate, and we present below a new framing and the start of a few solutions that dApp builders might choose.
We are searching for a Software Engineer to lead our Plutus team. The Plutus team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. We are an interdisciplinary team who do original R&D and turn it into production systems.
In the past few years, the Plutus team has:
Such a heady and complex mixture of research, development, and design work needs a competent leader to keep it all working well. If that sounds like fun to you, drop us a line!
https://apply.workable.com/io-global/j/DC4A9703F1/The Cardano ecosystem is expanding and software developer interest is increasing rapidly, so we are looking for a Developer Relations Specialist for the Plutus smart contract programming platform. You will help build, nurture and manage new relationships within established blockchain and smart contract development communities, especially Ethereum.
This role will put you at the forefront of an exciting developer ecosystem at a crucial time in its development, winning and onboarding partners, feeding any requirements and proposals back into the business, and helping rapidly expand a healthy, productive Cardano developer base.
To enjoy this role you will be someone who is passionate about blockchain technologies and the real problems they can address. You will have a proactive, problem-solving attitude, and enjoy working with customers and representing IOG at conferences, meetups, podcasts, etc.
https://apply.workable.com/io-global/j/965433F163/
This project aims to develop a certifying compiler for Plutus Tx, a subset of the purely functional language Haskell that is used to implement smart contracts for the Cardano blockchain. The Plutus smart contract framework is being developed by IOHK for Cardano and the present project is a joint effort of IOHK and Utrecht University. The Plutus Tx compiler is based on the GHC Haskell compiler and adds a translation step from GHC Core to a minimal lambda calculus. Programmes in this lambda calculus are executed during transaction validation in a sandboxed execution environment in a manner that is crucial to the security of the blockchain. The aim of this project is to formalise the semantics of the languages involved in a proof assistant such as Coq, to reason about the transformation and optimisation steps that the compiler performs, and finally, to generate a proof object certifying the correctness of the generated code together with that code.
