Last updated 3 weeks ago
Cardano lacks accessible, project-based learning for formal verification; fostering Lean talent can boost ecosystem growth and blockchain security worldwide.
Create a special interest group to develop project-based Lean courses, fostering talent in formal verification and growing Cardano’s ecosystem through education and community.
Please provide your proposal title
Empowering Global Cardano Growth with Lean Education
Enter the amount of funding you are requesting in ADA
60000
Please specify how many months you expect your project to last
6
Please indicate if your proposal has been auto-translated
No
Original Language
en
What is the problem you want to solve?
Cardano lacks accessible, project-based learning for formal verification; fostering Lean talent can boost ecosystem growth and blockchain security worldwide.
Does your project have any dependencies on other organizations, technical or otherwise?
No
Describe any dependencies or write 'No dependencies'
Lean, Gimbalabs, Andamio, Cardano Community Hubs
Will your project's outputs be fully open source?
Yes
License and Additional Information
Will be licensed as Creative Commons.
Please choose the most relevant theme and tag related to the outcomes of your proposal
Education
Who you’re targeting, how you’ll reach them, and why this matters for Cardano.
Students, and blockchain enthusiasts worldwide, especially in regions with limited access to formal computer science education. By partnering with local community hubs and education centers, we will provide inclusive, project-based Lean courses both online and offline. Our approach emphasizes hands-on learning and collaboration, ensuring diverse participation regardless of background or location. This matters because empowering global talent with formal verification skills strengthens Cardano’s ecosystem, enhances smart contract security, and fosters innovation in underrepresented communities.
Provide a list of key activities of your project?
Form a special interest group between Lean and Cardano.
Develop project-based Lean learning curricula tailored for blockchain applications.
Host workshops and webinars both online and at local community hubs.
Collaborate with educational centers in underserved regions to provide access.
Create mentorship programs linking experienced users with new learners.
Promote the courses via social media and Cardano communities globally.
Continuously gather feedback to refine content and increase engagement.
What are your success metrics?
Success will be measured by reaching at least a 75% course completion rate among enrolled participants, onboarding 500+ active learners within the first year, and achieving a 60% increase in Cardano community engagement in target regions. We aim for a 50% likelihood that participants will apply Lean skills in real projects within six months. Additionally, a 70% participant satisfaction rate and successful partnerships with at least 10 community hubs globally will indicate strong ecosystem growth and inclusive education outcomes.
Please describe your proposed solution and how it addresses the problem
The problem we address is the lack of accessible, hands-on learning resources focused on formal verification and Lean within the Cardano ecosystem, especially in regions with limited education infrastructure. This gap limits the growth of skilled developers who can ensure blockchain security and innovate confidently.
Our solution is to create a special interest group that develops project-based Lean courses tailored for Cardano applications. By partnering with community hubs and education centers worldwide, we provide inclusive learning opportunities accessible both online and offline. This approach fosters diverse talent, making advanced formal methods approachable and practical through real-world projects—addressing both skill development and ecosystem expansion.
We engage developers, students, blockchain enthusiasts, and educators globally, with special focus on underrepresented and underserved regions to promote inclusivity and broaden Cardano’s community.
We will demonstrate impact by tracking course participation and completion rates, the number of active learners applying Lean in projects, engagement growth within Cardano communities, and feedback from partners and participants. Showcasing learner projects and partnerships with community hubs will concretely prove educational reach and ecosystem benefit.
Please define the positive impact your project will have on the wider Cardano community
Our project will strengthen the Cardano ecosystem by cultivating skilled developers proficient in formal verification using Lean, enhancing the security and reliability of smart contracts and decentralized applications. By fostering inclusive, project-based learning globally, we expand the community with diverse contributors, driving innovation and adoption.
We will measure impact quantitatively through learner enrollment and completion rates, active project participation, and community engagement metrics. Qualitatively, we will gather participant feedback and success stories to understand educational effectiveness and motivation.
Outputs—including course materials, learner projects, and partnership models—will be shared openly via Cardano forums, community hubs, social media, and dedicated webinars. Collaborations with local hubs and global Cardano foundations will ensure broad dissemination, creating sustained opportunities for education and ecosystem growth that benefit the entire Cardano community.
What is your capability to deliver your project with high levels of trust and accountability? How do you intend to validate if your approach is feasible?
Our capability to deliver this project with a high degree of trust and accountability is rooted in a strong network and proven experience in blockchain education and community development. Although there is a sole author writing the proposal, we collaborate closely with reputable organizations such as Gimbalabs, Intersect, the IOG technical community, and community hubs across Vietnam and Africa. These established partners bring technical expertise, regional outreach, and educational experience essential for successful implementation.
We have a clear governance and accountability framework: project milestones will be regularly monitored with transparent reporting to stakeholders, including detailed financial accounting and progress updates. Funds will be managed through trusted channels with oversight mechanisms such as multi-signature wallets and regular audits to ensure proper allocation and prevent misuse.
Our network’s collaborative approach ensures diverse input, resource sharing, and broad community engagement, all contributing to reliable execution. The combination of technical expertise, regional partnerships, and rigorous financial controls positions us as a trustworthy and effective project leader committed to maximum impact for the Cardano ecosystem.
Milestone Title
Special Interest Group Formation and Curriculum Development
Milestone Outputs
Establish a diverse special interest group of Lean and Cardano experts. Develop a comprehensive project-based Lean curriculum tailored to blockchain applications, including lesson plans, exercises, and assessment materials.
Acceptance Criteria
At least 5 experts signed on and actively contributing. Curriculum covers foundational to intermediate Lean topics and integrates Cardano-specific use cases. Curriculum reviewed and approved by peer experts with ≥80% satisfaction.
Evidence of Completion
Signed participation agreements, finalized curriculum documents, and recorded peer review feedback demonstrating curriculum readiness. A 70% probability assigned to on-time completion despite potential scheduling delays.
Delivery Month
3
Cost
24000
Progress
30 %
Milestone Title
Pilot Course Delivery and Community Hub Partnerships
Milestone Outputs
Launch the pilot Lean course with a first cohort of at least 10 learners. Establish partnerships with at least 5 community hubs in underserved regions for offline access and support. Facilitate mentorship sessions and collect learner feedback.
Acceptance Criteria
Pilot course achieves ≥60% participant completion. Partnerships formalized with community hubs through MOUs. Feedback from ≥75% of participants reflects positive learning experience and skill acquisition.
Evidence of Completion
Enrollment and completion data reports, signed MOUs with community hubs, and compiled learner feedback surveys. A contingency-adjusted 65% likelihood of meeting enrollment targets considering outreach challenges.
Delivery Month
7
Cost
27000
Progress
80 %
Milestone Title
Project Close-out and Impact Reporting
Milestone Outputs
Produce a comprehensive project report highlighting key achievements, challenges, and lessons learned. Create a professional video summarizing the project journey, outcomes, and participant testimonials for dissemination.
Acceptance Criteria
Final report reviewed and approved by project stakeholders with ≥85% approval rating.
Video reaches at least 100 views across Cardano and educational platforms within the first year of release.
There are likes on the video Youtube .
Evidence of Completion
Approved final report document, published video on multiple platforms, analytics reports showing engagement metrics. Project completion probability estimated at 80%, accounting for potential delays in production and review.
Delivery Month
9
Cost
9000
Progress
100 %
Please provide a cost breakdown of the proposed work and resources
For cost breakdown see the spreadsheet.
We will utilize Andamio.io, a platform that streamlines decentralized project collaboration and funding management, to coordinate our course delivery, mentorship programs, and community engagement activities efficiently. This software will facilitate transparent financial tracking, milestone reporting, and communication across our distributed team and partner hubs.
Additionally, we may leverage cloud-based services for hosting course materials and virtual workshops, but no proprietary hardware or expensive software licenses are required. Professional services such as legal or accounting support will be provided through partnerships with our network to ensure compliance and proper fund management without incurring significant third-party costs. This combination ensures efficiency, transparency, and accountability throughout the project.
How does the cost of the project represent value for the Cardano ecosystem?
The 60,000 ADA investment in this project represents exceptional value for the Cardano ecosystem by strategically addressing a critical skills gap in formal verification and Lean expertise—key to enhancing blockchain security and innovation. By developing high-quality, project-based education accessible globally, especially in underserved areas, we cultivate a diverse, skilled talent pool capable of building more secure, robust smart contracts and decentralized applications. This foundational capacity building accelerates Cardano’s adoption, reliability, and competitive edge in the broader blockchain space.
Each budget item is essential for delivering this impact: expert honoraria ensure top-tier curriculum development and mentorship; funding community hubs enables inclusive, regional educational access; pilot course operations guarantee smooth, scalable learner experiences; and outreach expands participation across diverse global communities. Administration and reporting maintain transparency and continuous improvement, while a contingency reserve mitigates risks that could delay progress.
This carefully allocated funding creates sustainable value by growing Cardano’s developer community, strengthening ecosystem security, and empowering users worldwide with critical technical skills—making it a highly efficient and impactful use of funds.
Terms and Conditions:
Yes