Technical Lecture Series: Full Stack Financial Engineering on Cardano, With a Walk Through the Development of the Mortgage Smart Contract

[GENERAL] Name and surname of main applicant

[GENERAL] Are you delivering this project as an individual or as an entity (whether formally incorporated or not)

[GENERAL] Please specify how many months you expect your project to last (from 2-12 months)

[GENERAL] Please indicate if your proposal has been auto-translated into English from another language

[GENERAL] Summarize your solution to the problem (200-character limit including spaces)

A technical video series on the development of state-time propagated smart contracts. The full stack from mathematical definition, to writing the contract from scratch, to testing, to deployment.

[GENERAL] Does your project have any dependencies on other organizations, technical or otherwise?

[GENERAL] If YES, please describe what the dependency is and why you believe it is essential for your project’s delivery. If NO, please write “No dependencies.”

N/A

[GENERAL] Will your project’s output/s be fully open source?

[GENERAL] Please provide here more information on the open source status of your project outputs

• Videos will be freely available.
• Blog will be posted
• Code example artifacts will be linked and available

[SOLUTION] Please describe your proposed solution

A technical video series on the design, development, and test of state-time propagated smart contracts with particular focus on the amortized transfer of an asset (mortgage).

Course contents:

• Mathematical foundations
• Primer on modeling dynamical systems and state-space representation
• Non-linear dynamical systems
• Reconstructing mortgage contract from scratch in Aiken
• Concept Modeling
• Building an Actions Interface
• Data and State Definitions
• Logical Deduction (one for each action)
• Testing and Validation
• Unit Based Tests
• Property Based Tests and MonteCarlo Methods
• Verification
• Reconstructing the contract from scratch in Opshin (python)
• Building an Actions Interface
• Data and State Definitions
• Logical Deduction (one for each action)
• Deployment
• Javascript based integration

[IMPACT] Please define the positive impact your project will have on the wider Cardano community

An open advanced learning opportunity.

[CAPABILITY & FEASIBILITY] 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?

Strong formal educational background in engineering and practitioner in high assurance software development for spacecraft systems.

Also have completed a working version of the mortgage smart contract in Aiken, and partially in Opshin.

[PROJECT MILESTONES] What are the key milestones you need to achieve in order to complete your project successfully?

Complete detailed outline of curriculum and preliminary content for course overview.

Complete section on foundations.

Complete section on Aiken development.

Complete section on testing and verification.

Complete section on Opshin validation.

Complete video series with deployment and documentation best practices.

[RESOURCES] Who is in the project team and what are their roles?

Just me. But I will very likely be enlisting some people to help me to be able to deliver a high quality product.

[BUDGET & COSTS] Please provide a cost breakdown of the proposed work and resources

1 Full Time Equivalent (FTE) for 1 Year

[VALUE FOR MONEY] How does the cost of the project represent value for money for the Cardano ecosystem?

The community gets an open graduate level course on full stack financial engineering on Cardano, as well as the open sourced mortgage smart contract as a result. Videos will be freely available, blog posts will be included, and code example artifacts will be made available.