Work in progress to retrofit crowdfunding theme… Please excuse our dust – We are not a substitute for IdeaScale, just a place where you can view and comment on projects with NO LOGIN required – Project owners please contact me if you wish to have access to edit your projects


from the Cardano website

With the integration of smart contracts, the Goguen era represents a big step forwards in capability for the Cardano network. Where the Shelley era decentralizes the core of the system, Goguen adds the ability to build decentralized applications (DApps) on Cardano’s solid foundation of peer-reviewed research and high-assurance development.

The work for Goguen has been under way in parallel with Shelley, and when complete will allow users from technical and non-technical backgrounds to create and execute functional smart contracts on the Cardano network. One of the goals for the Goguen era has been the creation of Plutus, a purpose-built smart contract development language and execution platform using the functional programming language Haskell. Plutus is already available for testing and brings the benefits of functional programming to smart contract creation. It also allows one code base to support both on and off-chain components, improving the coherency and usability of the development experience compared with existing smart contract implementations.

The Goguen era also encompasses work to make Cardano accessible to wider audiences via Marlowe, allowing financial and business experts with no previous technical knowledge to create smart contracts. Marlowe is a high-level, domain-specific language (DSL) for financial contracts which is built on Plutus. Marlowe comes with the Marlowe Playground, an easy-to-use application-building platform that non-programmers can use to build financial smart contracts. Together, Marlowe and the Marlowe Playground simplify the process of creating smart contracts for financial applications, allowing subject matter experts to directly contribute without requiring deep programming skills. The combination of Plutus and Marlowe will enable a new class of enterprise-level smart contracts with verified functionality, capable of underpinning large scale implementations in the real world.

As well as adding functionality in the form of smart contracts, Goguen will also see improvements to the core Cardano offering. Most significantly, the addition of a multi-currency ledger will extend the usefulness of Cardano even further, enabling users to create new natively-supported tokens. This will allow the creation of fungible and non-fungible tokens, supporting the creation of new cryptocurrencies on Cardano as well as the tokenization of many types of digital and physical assets. Another benefit will be easier integration of smart contracts and DApps involving multiple cryptocurrencies.

The Goguen era represents a step change in the abilities of Cardano, opening the way to the development of enterprise-level, mission-critical, decentralized smart contract applications, with even more exciting things to come during the Basho and Voltaire eras.

Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure

This paper proposes a smart contract-based decentralized public-key infrastructure based on the inherent scalability and incentive mechanism of blockchains, formalizing some of the design problems involved using the Universal Composability framework.

[DRAFT] System F in Agda, for fun and profit

This paper presents the first complete intrinsically typed, executable formalization of System F, upon which Plutus Core is based.

[DRAFT] Unraveling recursion: compiling an IR with recursion to System F

This paper presents an intermediate representation (IR) based on System F, providing an extension to its abilities which enables recursion in both functions and data types, allowing it to support higher-level programming applications.

[DRAFT] Functional Blockchain Contracts

This paper presents the Plutus platform, a functional blockchain smart contract system for coding distributed applications on top of the Cardano blockchain, and describes how the broader Plutus library interacts with Plutus Core in both on and off-chain code.

Proposal Updates

Proposals are uploaded / updated once a week and before voting starts.

If you would like to update your own proposal, please contact me and after verification I will give you access. After you are given access you are responsible for keeping your proposal updated.  Contact Me