etherdotblue / rv-iohk Goto Github PK
View Code? Open in Web Editor NEWCardano Projects for Runtime Verification
Cardano Projects for Runtime Verification
Description:
This task is to build a simple POC level Stake Pool using the Plutus language created by Cardano-IOHK. The developer ideally will have experience with Haskell and a history of work or an active interest in developing Decentralized Applications for Blockchains. In addition to the smart contract, the developer should include notes documenting the experience in detail and providing that feedback and recommendations to the Cardano-IOHK team.
For example, when liquidity is provided to a pool, the user receives a liquidity token representing that deposit. The contract should calculate fees (e.g. 0.3%) which are then dispersed to liquidity providers dependent on each provider’s share of the liquidity pool. Be creative and look at other smart contracts as templates.
In addition to the smart contract, the developer should include notes documenting the experience in detail and providing that feedback and recommendations to the Cardano-IOHK team. This is important!
Note: This project must be completed before April 15th.
Additional materials on Plutus:
Core repo: https://github.com/input-output-hk/plutus
Plutus constraints: https://github.com/input-output-hk/plutus/tree/master/plutus-ledger/src/Ledger/Constraints
Use cases and samples: https://github.com/input-output-hk/plutus/tree/master/plutus-use-cases/src/Language/PlutusTx/Coordination/Contracts
Plutus Playground: https://playground.plutus.iohkdev.io/
Plutus tutorial: https://playground.plutus.iohkdev.io/tutorial/index.html
Plutus technical overview: https://hydra.iohk.io/build/5400976/download/1/plutus.pdf
Description:
This task is to build a simple POC level DEX using the Plutus language created by Cardano-IOHK. The developer ideally will have experience with Haskell and a history of work or an active interest in developing Decentralized Applications for Blockchains.
Create a full POC that allows users to swap between supported tokens within one smart contract method call. Users can also contribute to liquidity pools for any supported token, and therefore gain commissions in the form of exchange fees for doing so.
In addition to the smart contract, the developer should include notes documenting the experience in detail and providing that feedback and recommendations to the Cardano-IOHK team. This is important!
Note: This project must be completed before April 5th.
Additional materials on Plutus:
Core repo: https://github.com/input-output-hk/plutus
Plutus constraints: https://github.com/input-output-hk/plutus/tree/master/plutus-ledger/src/Ledger/Constraints
Use cases and samples: https://github.com/input-output-hk/plutus/tree/master/plutus-use-cases/src/Language/PlutusTx/Coordination/Contracts
Plutus Playground: https://playground.plutus.iohkdev.io/
Plutus tutorial: https://playground.plutus.iohkdev.io/tutorial/index.html
Plutus technical overview: https://hydra.iohk.io/build/5400976/download/1/plutus.pdf
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.