refactor(SmartContracts): refondre la serie avec du code executable

[jsboige]

Constat

La serie SmartContracts (SC-1 a SC-15) est actuellement une collection de cellules print() qui affichent du code Solidity en texte. Les notebooks ne contiennent aucun code executable - ni compilation, ni deploiement, ni interaction avec des contrats.

Problemes identifies

1. Pas d'execution reelle : tout le "code" Solidity est dans des print() Python
2. Pas de feedback etudiant : impossible de tester, deboguer ou experimenter
3. Exercices fragiles : les solutions etaient directement dans les cellules (corrige dans commit f2d02c2)
4. Aucune interaction blockchain : pas de deploiement, pas d'appels de fonctions, pas de tests

Objectif

Refondre la serie pour que les notebooks soient reellement executables avec des interactions blockchain en local.

Pistes techniques a discuter

Approche	Avantages	Inconvenients
py-solc-x + web3.py	Standard, bien documente	Necessite solc installe
Brownie	Framework complet (tests, deploy)	Projet archive, migration vers Ape
Ape Framework	Successeur de Brownie, actif	API differente, moins de docs
Foundry (forge)	Tres rapide, standard industrie	CLI, pas natif Python
Ganache / Anvil	Blockchain locale pour tests	Dependance externe
Remix API	Zero install	Dependance reseau

Plan propose (a valider)

1. Phase 1 : Choisir le stack technique (discussion avec l'utilisateur)
2. Phase 2 : Refondre SC-1 a SC-4 (fondations Solidity) avec code executable
3. Phase 3 : Refondre SC-5 a SC-7 (tokens, DeFi, DAO) avec interactions reelles
4. Phase 4 : Adapter SC-8 a SC-15 (securite, gas, testing, cross-chain)
5. Phase 5 : Creer des exercices avec tests automatises (assertions, pas de print)

Contraintes

• Doit fonctionner sur les machines etudiants (Windows/Mac/Linux)
• Installation minimale (idealement pip install uniquement)
• Compatible avec le kernel Python 3 standard
• Les notebooks existants servent de base pour le contenu pedagogique

Labels

• enhancement
• symbolicai
• smartcontracts

Deadline

EPITA IA Symbolique : 20 mai 2026 (si SmartContracts fait partie du programme)

[jsboige]

Audit d'état - Phase 2 SmartContracts (2026-03-20)

Machine : myia-po-2023

État actuel des notebooks

SC-15 à SC-20 (04-Privacy-Cryptography, 05-Alternative-Chains) : ✅ DÉJÀ EXÉCUTABLES

• SC-15 : Zero-Knowledge Proofs (Python + pysecp256k1)
• SC-16 : Homomorphic Encryption (Python + TenSEAL)
• SC-17 : E2E Verifiable Voting (Python + crypto)
• SC-18 : Vyper (Python + anvil)
• SC-19 : Ripple XRP (Python + network)
• SC-20 : Bitcoin Scripting (Python + bitcoin)

Validation : 27/27 OK, 0 erreurs, 35 cellules d'exercices avec TODO/NotImplementedError

SC-3 à SC-14 (01-Solidity-Foundation, 02-Solidity-Advanced, 03-Foundry-Testing) : ⚠️ PARTIELLEMENT REFACTORISÉS

• Pattern actuel : cellules print(SOLIDITY_SNIPPET) pour montrer les concepts + cellules compile_and_deploy() réelles
• Kernel smartcontracts (Python + Foundry) correctement configuré
• Reste : ~58 cellules print() qui affichent du Solidity sans le compiler → candidats pour Phase 3

Prochaine action proposée

Si la Phase 2 (SC-15 à SC-20) est considérée terminée, la Phase 3 serait :

• SC-3 à SC-6 (01-Solidity-Foundation) : Remplacer les print(EXEMPLE) par des cellules qui compilent réellement les snippets pédagogiques
• Utiliser compile_and_deploy() de forge_helper.py déjà disponible
• Estimer ~12 cellules print() → compilation réelle par notebook

[jsboige]

Phase 3 complete: SC-3 to SC-7 converted from print-only to executable compile_and_deploy (PRs #184-188). SC-8 to SC-11 already OK. SC-12-14 (Foundry) intentionally print-only (templates). All web3/anvil notebooks now have real Solidity compilation.