Home ‐ French - wimsio/universities GitHub Wiki

image

Vous êtes tous les bienvenus au programme Haskell Plutus pour Universités/Collèges.

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

A: Introduction

Nous menons actuellement un projet approuvé dans le cadre de Project Catalyst pour intégrer 16 universités à travers le monde. Cela représente une opportunité unique pour votre établissement de devenir un pionnier en participant à ce programme à fort impact.

Cardano est le foyer de Project Catalyst, le plus grand moteur d’innovation décentralisée au monde, conçu pour résoudre des défis réels grâce à des projets dirigés par la communauté.

B: Objectif

La vision de ce projet est de développer l’écosystème de développeurs Cardano et d’améliorer les compétences des étudiants d’universités/collèges dans le développement de Smart Contracts Web 3 sur Cardano.

C: Objectifs

  • les étudiants créent des actifs blockchain, par exemple des jetons fongibles et non fongibles
  • les étudiants développent des Smart Contracts onchain avec Haskell Plutus
  • les étudiants acquièrent des connaissances de base des technologies de l’écosystème Cardano : CIP1694, Midnight et Midgard (Hydra)
  • améliorer les compétences des étudiants en résolution de problèmes et en programmation fonctionnelle
  • fournir un support en direct et une collaboration avec le programme Intersect MBO Developer Advocate
  • les étudiants contribuent aux activités GitHub open source d’Intersect pour Cardano (forks, pull requests, commits, expérience développeur, etc.)
  • promouvoir les produits et services des communautés Cardano qui ont financé ce projet par le vote. La liste des communautés est vaste, incluant : Cardano Foundation, IOG, Intersect, opérateurs de Stakepool, développeurs Cardano, Emurgo, Gimbalabs, et les communautés Cardano du monde entier.

D: Support en direct et coordonnées :

  1. Rejoindre le groupe Telegram pour un support en direct 24/7 : https://t.me/coxygenglobal

image

Nous avons défini trois zones UTC pour les sessions quotidiennes Haskell Plutus : A : -8 à -3 UTC, B : 0 à +5 UTC, et C : +6 à +11 UTC

Les sessions en direct se tiennent sur FreeConferenceCall. Le lien et le code sont :
https://www.freeconferencecall.com/wall/coxygen/ et le code d'accès est 676767

  1. Rejoindre le serveur Discord : https://discord.gg/RxrhMgnSb4

  2. Incitations motivantes basées sur le code source Haskell Plutus Open Source et/ou des activités associées (marketing, coordination, responsables de groupes, etc.) : les montants sont en $USD mais versés en ADA/USDT/Fiat lorsque possible.

image

Les montants ci-dessus peuvent être révisés à tout moment, veuillez consulter régulièrement.

E: Prérequis

Afin d’éviter les frustrations, la perte d'information, la désinformation ou la confusion, voici les prérequis :

  1. Le public cible de ce projet est les étudiants d’universités/collèges de la première à la dernière année, les postgraduates et les chercheurs.
  2. Les étudiants doivent avoir étudié ou être en train d’étudier les matières suivantes : Mathématiques, Logique, Informatique, Finance, Développement Web, Structures de données et Algorithmes, Développement Full-stack, Génie logiciel, ou avoir ces modules dans leur programme.
  3. Excellentes compétences en recherche et un fort engagement à relever les défis, à s’impliquer dans de nouvelles technologies sans abandonner.
  4. Accès à un internet fiable, des ressources matérielles pertinentes et efficaces, et l’engagement à consacrer beaucoup de temps aux activités en autonomie.
  5. Détails de l’université/collège pour votre profil : Remplir ce formulaire Google Enrollment Form Les informations resteront privées et utilisées uniquement pour cette formation et l’émission d’un certificat on-chain CNFT.
  6. Connaissances et utilisation des portefeuilles Cardano (Preprod/Preview/Mainnet), gestion des clés secrètes, test ADA ; portefeuilles suggérés : Nami, Lace, Eternl, etc. Pour plus d’informations, visitez :
    -Types of Wallets -Faucet Tools
  7. Résolution de problèmes abstraits extrêmes (EABS) : cela exige de l’endurance mentale, comme jongler avec une infinité d’objets abstraits. Haskell vous mettra au défi, tout comme eUTXO, Plutus, Cardano et autres problématiques. Souvent dans les vidéos ou présentations, on vous dira « c’est facile ». Cela signifie généralement le contraire !
  8. Gestion de l’environnement de développement : installer Linux (commandes CLI, scripting shell), GHC (compilateur Haskell), gestionnaires Haskell (Nix, Cabal, Stack, etc.), contrôle de version (GitHub/Git), Docker, WSL, éditeur VS Code, compilateurs Haskell en ligne, collaboration GitHub (revues, pull requests, fusions, commits, forks, commandes Git, pipelines, déploiement, etc.).
    • Justification : les étudiants doivent pouvoir contribuer à tout projet Cardano open source sans obstacles. (Intersect et d’autres communautés Cardano proposent des contributions open source rémunérées et non rémunérées). La configuration de l’environnement développeur ne sera pas enseignée : tous les participants doivent être déjà compétents.

REMARQUE : Si vous ne remplissez pas les conditions ci-dessus mais que vous êtes passionné par l’apprentissage des compétences Cardano, alors soyez engagé et rejoignez, car cela renforcera vos compétences de développeur et vous placera potentiellement dans le top 5 % mondial.

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 | Cardano Blockchain Certified Associate (CBCA) from Cardano Foundation
  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:

Par Bernard Sibanda 10-01-2025 - [email protected], [email protected], +27 73 182 0631
discord : @wims5274, X : @wimscardano, telegram : @coxygenglobal

REMARQUE : Le contenu ci-dessus peut être modifié à tout moment sans préavis. Veuillez consulter régulièrement cette page pour les mises à jour.