Skip to content

Home

Jump to bottom
Bernard Sibanda edited this page Feb 17, 2025 · 45 revisions

coxygen global

Once more,you are all welcome to the Haskell Plutus for Universities/Colleges.

Code It Right With Plutus Code : Music & Dance Challenge for Universities/Collegues Students

A: Introduction

We are currently running a project approved under Project Catalyst to onboard 16 universities globally. This represents a unique opportunity for your College to be a pioneer and take part in this impactful program.

Cardano is home to Project Catalyst, the world's largest decentralized innovation engine, designed to solve real-world challenges through community-driven projects.

B: Aim

The vision of this project is to grow Cardano developer ecosystem and also to upskill universities/colleges students in Web 3 Cardano Smart Contract development.

C: Ojectives

  • students create blockchain asserts e.g. Fungible Tokens, Non Fungible Tokens
  • students create onchain Smart Contracts with Haskell Plutus
  • students gain basic knowledge of Cardano ecosystem technologies: CIP1694, Midnight and Midgard(Hydra)
  • upskill students on problem solving skills and functional programming
  • provide live support and collaboration with Intersect MBO Developer Advoate Program
  • students contribute to Cardano Open Source Intersect github activities(fork, pull requests, commits, developer experince, etc)
  • promote Cardano communities products, services because they funded this by voting for it. Essential communities list is endless but just to mention a few :- Cardano Foundation, IOG, Intersect, Stakepool Operators, Cardano Developers,Emurgo, Gimbalabs, Cardano Communities globally, etc.

D: Live Support and Contact Details:

  1. Join telegram for 24/7 live support https://t.me/coxygenglobal

image

We have established three UTC zones for Haskell Plutus daily sessions: A: -8 to -3 UTC, B: 0 to +5 UTC and C: +6 to +11 UTC

Live session are on freeconference call and link and code is : https://www.freeconferencecall.com/wall/coxygen/ and the login code is 676767

  1. Join discord at https://discord.gg/RxrhMgnSb4

  2. Motivational Incentives based on Open Source Haskell Plutus source code and/or related activites(marketing, coordination, group leaders etc): Figures are in $-USD but paid in ADA/USDT/Fiat-where possible.

image

The above figures might be revised anytime, keep checking here.

E: Pre-requisites

In order to avoid frustrations, students getting lost, misinformation or confusions, these are the prerequisites:

  1. The target audience for this project is university/college students from First Year to Final Year, Postgraduates, and researchers.
  2. Students must have or be studying the following: Mathematics, Logic, Computer Science, Finance, Web Development, proficiency in manipulating Data Structures & Algorithms, Full-stack Development, Software Engineering, and similar fields or must have these as part of their modules in their disciplines.
  3. Very strong research skills and high commitment to overcome challenges, applying themselves to new technologies without giving up.
  4. Access to reliable internet, relevant and effective hardware resources, and a commitment to dedicate many hours to self-paced activities.
  5. University/College details for your profile: Complete this Google [Enrollment Form](https://forms.gle/SRfNLuJJ3nFCA9iq9). Information will be kept private and confidential and will be used only for this training and on-chain credential CNFT.
  6. Knowledge and usage of Cardano wallets (Preprod/Preview/Mainnet), secret key management, test ADA; suggested wallets include Nami, Lace, Eternl, and others. For more information, visit:
  7. Extreme Abstract Problem Solving (EABS): This requires mental stamina, akin to being a mental juggler of infinite abstract objects. Haskell will challenge you in this domain, along with eUTXO, Plutus, Cardano, and other problems that will come your way. Quite often, in videos or presentations, you will hear them say: "it's easy." Take it to mean the opposite!
  8. Developer Environment Management: Install Linux (CLI commands, shell scripting), GHC (Haskell Compiler), Haskell package managers/tools (Nix, Cabal, Stack, etc.), version control (GitHub/Git), Docker, Windows Subsystem for Linux, VS Code editor, online Haskell compilers, and GitHub collaboration (Peer Reviews, Pull Requests, Merging, Commits, Forks, Git commands, Pipelining, Deployment, etc.).
    • Rationale: Students must be able to work on any open-source Cardano project without constraints or issues. (Cardano Intersect has open-source jobs, both unpaid and paid, as do many other Cardano communities). Developer tooling and environment setup will not be taught: All participants must already be proficient in these before joining.

NOTE: If you do not meet the above but you are passionate about learning Cardano Skills, then be committed and join because this will boost your developer skills and make you one of the world's top 5%.

Output expectation for each qualifying university/college:

  • at least 20 students complete the journey
  • each university to produce and show case at least (2) Real World Applications(RWA) using Haskell Plutus. Each RWA application must have Onchain & Offchain integrated working code on preproduction testnet
  • each RWA have property based testing Haskell Plutus code and implement Formal source code Proofs
  • licensing must be OPEN SOURCE : MIT

F: Haskell Self Paced Interactive Activities

  1. Complete these IOG Haskell activities : 1 - 19 a) English Version b) French Version
  2. Cardano Architecture
  3. IntersectMBO Plutus User Guide
  4. Plutus Core Specification
  5. COQ Smart Contract Formal Verification Framework - M1
  6. UntypedPlutusCore Evaluation Machine Cek
  7. Plutus Ledger APIs : V1, V2, V3,PlutusTx Prelude
  8. Smart Contract Guided Tutorials Weeks(1-8,10) Skip sections on : a) Use of Playground for testing, b) Plutus Application Backend(PAB)
  9. Videos Plutus Pioneer Program Iteration 4 IOG Academy(Lecture 1 - 10)
  10. Practicals Smart Contract Demos Onchain & Offchain, Each University/College produce 2 working demos - RWAs using Haskell Plutus.
  11. Cardano Trending Technologies: Each university/College show case CIP-1694, Midnight and Hydra or Midgard technologies

G: Optional Cardano Upgrades:

By Bernard Sibanda 10-01-2025 - cto@wims.io, cto@coxygen.co, +27 73 182 0631 dicord : @wims5274, X: @wimscardano, telegram : @coxygenglobal

NOTE : Content above may be changed at anytime without notice. Please keep checking here for updates.

Clone this wiki locally