Adds lecture 8 folder and lesson 8.1

jarturomora · jarturomora · commit d63bcaff2671 · 2023-07-18T13:18:24.000+02:00
diff --git a/docs/lectures/lecture-08/README.md b/docs/lectures/lecture-08/README.md
@@ -0,0 +1,15 @@
+# Lecture 8
+
+## Welcome to Lecture 8
+
+Congratulations on completing Lecture 7 of the Plutus Pioneers Program (PPP)! In this lecture, you'll learn about staking and how it relates to Plutus. So, let's begin Lecture 6!
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category. So whether you're getting started with Plutus or a veteran participant of the PPP, we encourage you to pass by the [#pioneers-lounge chanel](https://discordapp.com/channels/826816523368005654/862912746847993887) and say hello!
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
diff --git a/docs/lectures/lecture-08/lesson-01/README.md b/docs/lectures/lecture-08/lesson-01/README.md
@@ -0,0 +1,33 @@
+# Lesson 8.1: Introduction to Lecture 8
+
+Welcome to Lesson 8.1! In this lesson, Lars provides an introduction to this lecture and explain how staking works in Cardano.
+
+{% embed url="https://youtu.be/07ATzubeHjo" %}
+
+{% tabs %}
+{% tab title="Learning Objectives" %}
+After completing this lesson, you'll be able to:
+
+* Describe how staking works in Cardano testnet.
+* Understand the advantages of testing staking by using a private testnet.
+{% endtab %}
+
+{% tab title="Additional Resources" %}
+To learn more about the topics covered in this lesson, we encourage you to review the following resources:
+
+* [Delegate Your Stake To Build The Network, Earn Rewards, And Become Part Of The Cardano Journey](https://cardano.org/stake-pool-delegation/)
+* [How to stake your ada](https://www.essentialcardano.io/infographic/how-to-stake-your-ada)
+{% endtab %}
+{% endtabs %}
+
+## Collaborate with the Pioneers Community
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category.
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
diff --git a/docs/lectures/lecture-08/lesson-02/README.md b/docs/lectures/lecture-08/lesson-02/README.md
@@ -0,0 +1,29 @@
+# Lesson 6.2: Introduction to the Plutus Simple Model Library
+
+Welcome to Lesson 6.2! In this lesson, you'll learn how the Plutus Simple Model library works.
+
+{% embed url="https://youtu.be/Sft02LeXA_U" %}
+
+{% tabs %}
+{% tab title="Learning Objectives" %}
+After completing this lesson, you'll be able to:
+
+* Launch the Plutus Simple Model Library documentation.
+* Describe how the Plutus Simple Model library works.
+* Define tests by using the Plutus Model library.
+* Explain how tests use the state monad.
+{% endtab %}
+
+{% endtabs %}
+
+## Collaborate with the Pioneers Community
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category.
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
diff --git a/docs/lectures/lecture-08/lesson-03/README.md b/docs/lectures/lecture-08/lesson-03/README.md
@@ -0,0 +1,34 @@
+# Lesson 6.3: Unit Testing a Smart Contract
+
+Welcome to Lesson 6.3! In this lesson, you'll learn .
+
+{% embed url="https://youtu.be/vB8hyVq3HVo" %}
+
+{% tabs %}
+{% tab title="Learning Objectives" %}
+After completing this lesson, you'll be able to:
+
+* Explain how unit test works in Cardano.
+* Define unit test for Cardano smart contracts.
+
+{% tab title="Additional Resources" %}
+To learn more about the topics covered in this lesson, we encourage you to review the following resources:
+
+* [How can I write unit tests for Plutus contracts?](https://cardano.stackexchange.com/questions/381/how-can-i-write-unit-tests-for-plutus-contracts)
+* [Testing smart contracts on Cardano](https://blog.iagon.com/testing-smart-contracts-on-cardano/)
+* [TxInfo Docs](https://input-output-hk.github.io/plutus-apps/main/plutus-script-utils/html/Plutus-Script-Utils-V2-Contexts.html#t:TxInfo)
+
+{% endtab %}
+{% endtabs %}
+
+## Collaborate with the Pioneers Community
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category.
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
diff --git a/docs/lectures/lecture-08/lesson-04/README.md b/docs/lectures/lecture-08/lesson-04/README.md
@@ -0,0 +1,34 @@
+# Lesson 6.4: Property Testing a Smart Contract
+
+Welcome to Lesson 6.4! In this lesson, you'll learn how to use property testing by using the quick check library.
+
+{% embed url="https://youtu.be/pF8HpKmaQi4" %}
+
+{% tabs %}
+{% tab title="Learning Objectives" %}
+After completing this lesson, you'll be able to:
+
+* Describe the differences between unit and property testing.
+* Explain the benefits of using the quick check library for property testing.
+* Create property tests by using quick check to validate smart contracts.
+{% endtab %}
+
+{% tab title="Additional Resources" %}
+To learn more about the topics covered in this lesson, we encourage you to review the following resources:
+
+* [QuickCheck: Automatic testing of Haskell programs](https://hackage.haskell.org/package/QuickCheck)
+* [Introduction to QuickCheck](http://wiki.haskell.org/Introduction_to_QuickCheck2)
+{% endtab %}
+{% endtabs %}
+
+## Collaborate with the Pioneers Community
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category.
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
diff --git a/docs/lectures/lecture-08/lesson-05/README.md b/docs/lectures/lecture-08/lesson-05/README.md
@@ -0,0 +1,35 @@
+# Lesson 6.5: Testing Smart Contracts with Lucid
+
+Welcome to Lesson 6.5! In this lesson, you'll learn how to test off-chain code with Lucid.
+
+{% embed url="https://youtu.be/aUrIuDQgg5c" %}
+
+{% tabs %}
+{% tab title="Learning Objectives" %}
+After completing this lesson, you'll be able to:
+
+* Explain the process of testing off-chain code with Lucid.
+* Describe how to use the emulator to run a local blockchain for testing.
+* Create and run tests by using Lucid.
+{% endtab %}
+
+{% tab title="Lesson Resources" %}
+Internet resources mentioned in the lesson's video:
+
+* [Lucid Emulator](https://deno.land/x/lucid@0.9.8/mod.ts?=Emultator&s=Emulator)
+* [Unit Testing in Deno](https://deno.com/manual@v1.32.3/basics/testing)
+* [Fast Check](https://github.com/dubzzz/fast-check)
+{% endtab %}
+{% endtabs %}
+
+## Collaborate with the Pioneers Community
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category.
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
diff --git a/docs/lectures/lecture-08/lesson-06/README.md b/docs/lectures/lecture-08/lesson-06/README.md
@@ -0,0 +1,27 @@
+# Lecture 6 Homework Assignment: Testing Double Spending Contracts 
+
+Congratulations on finishing Lecture 6! Please watch the following video to learn what's your homework to get your hands on the skills you learned in this lecture.
+
+{% embed url="https://youtu.be/AZVpkwRhEaY" %}
+
+{% tabs %}
+{% tab title="Learning Objectives" %}
+After completing this homework assignment, you'll be able to:
+
+* Understand how double spending works.
+* Identify double spending vulnerabilities.
+* Define tests for catching error in double spending contracts
+{% endtab %}
+{% endtabs %}
+
+## Collaborate with the Pioneers Community
+
+Remember that you can interact with the participants of the PPP through the [IOG's technical community on Discord](https://discord.gg/inputoutput) by joining the channels under the Plutus Pioneers category.
+
+If during the program you have questions about Plutus, we invite you to share them at [Cardano Stack Exchange (CSE)](https://cardano.stackexchange.com/) by adding the `plutus-pioneer-program` tag to your question. The IOG's Education Team members will monitor these questions to support your learning journey. Whenever you share a question at CSE, you're helping to build up the Cardano and Plutus development knowledge base.
+
+---
+
+This work is licensed under a [Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/).
+
+<figure><img src="https://i.creativecommons.org/l/by/4.0/88x31.png" alt="Creative Commons License BY 4.0"></figure>
