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

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

An open advanced learning opportunity.

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.

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

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

Milestone 2: Complete section on foundations.

Milestone 3: Complete section on Aiken development.

Milestone 4: Complete section on testing and verification.

Milestone 5: Complete section on Opshin validation.

Final Milestone: Complete video series with deployment and documentation best practices.

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.

Please provide a cost breakdown of the proposed work and resources

1 Full Time Equivalent (FTE) for 1 Year

N/A

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.