sound changes in commitment, polishing polynomials, beginning working…

… on commitment

zkmarek/video/slides/e4/chart.py

@@ -1,7 +1,7 @@
 from manim import Axes, Create, SingleStringMathTex, TexTemplate, VGroup, Write
 from manim.mobject.graphing.functions import ImplicitFunction
 
-from zkmarek.video.constant import PRIMARY_COLOR, SECONDARY_COLOR, HIGHLIGHT_COLOR
+from zkmarek.video.constant import PRIMARY_COLOR, SECONDARY_COLOR, HIGHLIGHT_COLOR, HIGHLIGHT2_COLOR
 
 
 class Chart(VGroup):
@@ -38,7 +38,7 @@ def __init__(self, include_details=True, **kwargs):
         )
         self.graph3 = self.ax.plot_implicit_curve(
             lambda x, y: 3*x**3 - 9*x**2 - 15*x + 22 - y,
-            color=PRIMARY_COLOR
+            color=HIGHLIGHT2_COLOR
         )
         self.add(self.ax)
         if include_details:

zkmarek/video/slides/e4/commitment.py

@@ -11,15 +11,11 @@ def __init__(self):
 
     def construct(self):
         self.title_text = Text("Commitment scheme", font = PRIMARY_FONT, color = PRIMARY_COLOR, font_size=40).to_edge(UP)
-        self.verifier = ImageMobject("data/images/person.png")
         self.commiter = ImageMobject("data/images/person_blue.png")
-        self.rectangle = Rectangle(height=1.5, width=4, color = PRIMARY_COLOR).to_edge(LEFT + UP, buff = 0).shift(DOWN)
-        self.rectangle_copy = Rectangle(height=1.5, width=4, color = PRIMARY_COLOR).next_to(self.commiter, LEFT + UP, buff = 0).shift(DOWN)
-        self.commitment = Text("secret message", font = PRIMARY_FONT, color = PRIMARY_COLOR).scale(0.6).next_to(self.commiter, UP+LEFT, buff = 0.3)
-        self.commitment_copy = Text("secret message", font = PRIMARY_FONT, color = PRIMARY_COLOR).scale(0.6).next_to(self.commiter, UP+LEFT, buff = 0.3)
-        self.verifier.shift(3*RIGHT)
+        self.rectangle = Rectangle(height=1.5, width=4, color = PRIMARY_COLOR).next_to(self.commiter, LEFT, buff = 0.5)
+        self.commitment = Text("secret message", font = PRIMARY_FONT, color = PRIMARY_COLOR).scale(0.6).next_to(self.commiter, LEFT, buff = 0.6)
+
         self.lock = ImageMobject("data/images/Locked@2x.png").scale(0.25).next_to(self.commitment, RIGHT, buff = 0.1)
-        self.lock_copy = ImageMobject("data/images/Locked@2x.png").scale(0.25).next_to(self.commitment, RIGHT, buff = 0.1)
         self.tex = Tex(load("zkmarek/video/slides/e4/properties.tex"), color=SECONDARY_COLOR)
 
     def animate_in(self, scene):
@@ -28,35 +24,30 @@ def animate_in(self, scene):
         scene.play(FadeIn(self.commiter))
         scene.play(Create(self.rectangle))
 
-        self.commiter.generate_target()
-        self.commiter.target.shift(LEFT*3)
-        scene.play(MoveToTarget(self.commiter))
-        scene.play(FadeIn(self.verifier))
-        scene.wait(1)
-        scene.play(Write(self.commitment))
+        scene.wait(2)
+        scene.play(Write(self.commitment), run_time=1.2)
         scene.wait(2)
         scene.play(FadeIn(self.lock))
 
-        self.commitment_copy.generate_target()
-        self.commitment_copy.target.next_to(self.verifier, UP+RIGHT, buff = 0.3).shift(0.5*LEFT)
-        self.lock_copy.generate_target()
-        self.lock_copy.target.next_to(self.commitment_copy, RIGHT, buff = 0.1)
-        self.rectangle_copy.generate_target()
-        self.rectangle_copy.target.to_edge(UP+RIGHT).shift(DOWN)
-        scene.play(MoveToTarget(self.rectangle_copy), MoveToTarget(self.commitment_copy), run_time=2)
+
+        scene.wait(4.5)
+        scene.play(Indicate(self.lock, color = HIGHLIGHT_COLOR))
 
         self.new_subsection(scene, "properties of commitment", "data/sound/e4/slide2-2.mp3")
-        self.tex.scale(0.8).to_edge(DOWN)
+
+        self.tex.scale(0.8).next_to(self.commiter, RIGHT, buff = 1)
         scene.play(Write(self.tex))
 
         self.new_subsection(scene, "hiding", "data/sound/e4/slide2-3.mp3")
-        scene.wait(2)
-        scene.play(Indicate(self.tex[0][1:8], color = HIGHLIGHT_COLOR))
+        scene.wait(0.2)
+        scene.play(Indicate(self.tex[0][1:7], color = HIGHLIGHT_COLOR))
         scene.wait(2)
 
-        self.new_subsection(scene, "binding", "data/sound/e4/slide2-3.mp3")
-        scene.play(Indicate(self.tex[0][9:15], color = HIGHLIGHT_COLOR))   
+        self.new_subsection(scene, "binding", "data/sound/e4/slide2-4.mp3")
+        scene.play(Indicate(self.tex[0][8:15], color = HIGHLIGHT_COLOR))   
         scene.wait(4)
+        scene.play(Indicate(self.lock, color = HIGHLIGHT_COLOR))
+        scene.wait(3)
 
     def animate_out(self, scene):
-        scene.play(FadeOut(self.tex, self.rectangle, self.rectangle_copy, self.verifier, self.commitment, self.commiter, self.lock, self.lock_copy, self.title_text))
+        scene.play(FadeOut(self.tex, self.rectangle, self.commitment, self.commiter, self.lock, self.title_text))

zkmarek/video/slides/e4/poly_commitment.py

@@ -13,7 +13,7 @@ def __init__(self):
         super().__init__("Polynomial Commitment")
 
     def construct(self):
-        self.title = Text("Polynomial Commitment", color = PRIMARY_COLOR, font = PRIMARY_FONT, font_size=80).to_edge(UP)
+        self.title = Text("Polynomial Commitment", color = PRIMARY_COLOR, font = PRIMARY_FONT, font_size=40).to_edge(UP)
         self.verifier = ImageMobject("data/images/person.png").shift(RIGHT*1.5)
         self.commiter = ImageMobject("data/images/person_blue.png").shift(LEFT*1.5)
 
@@ -24,12 +24,12 @@ def construct(self):
 
         self.chart = Chart(include_details=True).scale(0.5).to_edge(LEFT+UP).shift(DOWN*0.3)
         self.commitment = MathTex(r"C = p({{\tau}}) \cdot {{G_1}}", color = SECONDARY_COLOR).next_to(self.chart, DOWN, buff = 0.4)
-        self.commitment_copy = MathTex(r"C = p({{\tau}}) \cdot {{G_1}}", color = SECONDARY_COLOR).next_to(self.verifier, RIGHT, buff = 0.2).shift(DOWN)
+        self.commitment_copy = MathTex(r"C = p({{\tau}}) \cdot {{G_1}}", color = SECONDARY_COLOR).next_to(self.verifier, RIGHT, buff = 0.2).shift(DOWN*0.8)
 
         self.point = ValueTracker(-1.849)
         a = Curve.from_x(self.point.get_value())
         self.p = DotOnCurve(self.chart.ax, "(z, y)", a)
-        self.p.label.shift(LEFT)
+        self.p.label.shift(LEFT*1.1)
         self.point_tau = ValueTracker(2)
         a_tau = Curve.from_x(self.point_tau.get_value())
         self.p_tau = DotOnCurve(self.chart.ax, r"({{\tau}}, {{?}})", a_tau)
@@ -39,12 +39,11 @@ def construct(self):
         self.trusted_setup1 = MathTex(r"\left[ {{\tau^1}} + {{\tau^2}} + {{\cdots}} + {{\tau^n}} \right] \cdot {{G_1}} ", color = SECONDARY_COLOR).next_to(self.commiter_label, DOWN, buff = 0.3).shift(RIGHT*1.5)
         self.trusted_setup2 = MathTex(r"p({{\tau}}) \cdot{{G_1}} = \left[ {{\tau^1}} + {{\tau^2}} + {{\cdots}} + {{\tau^n}} \right] \cdot {{G_1}} ", color = SECONDARY_COLOR).next_to(self.commiter_label, DOWN, buff = 0.3).shift(RIGHT*1.5)
 
-        self.opening = MathTex(r"p(z) = y", color = SECONDARY_COLOR).shift(3*UP)
+        self.opening = MathTex(r"p(z) = y", color = SECONDARY_COLOR).shift(2*UP)
 
 
     def animate_in(self, scene):
         self.new_subsection(scene, "intro", "data/sound/e4/slide3-1.mp3")
-        scene.wait(1)
         scene.play(Write(self.title))
         scene.play(FadeIn(self.commiter))
         scene.play(Write(self.commiter_label))
@@ -56,7 +55,7 @@ def animate_in(self, scene):
         scene.play(Indicate(self.chart.graph, color = HIGHLIGHT_COLOR))
 
         self.new_subsection(scene, "committing", "data/sound/e4/slide3-2.mp3")
-        scene.wait(1)
+        scene.wait(0.2)
         scene.play(Indicate(self.commiter, color = HIGHLIGHT_COLOR))
         scene.wait(4)
 
@@ -112,5 +111,5 @@ def animate_in(self, scene):
         scene.play(Indicate(self.chart.graph, color = HIGHLIGHT_COLOR))
 
     def animate_out(self, scene):
-        scene.play(FadeOut(self.commiter, self.verifier, self.commiter_label, self.verifier_label, self.opening, self.chart.ax, self.chart.labels, self.chart.graph, self.p_tau, self.p, self.trusted_setup2, self.commitment_copy))
+        scene.play(FadeOut(self.commiter, self.verifier, self.commiter_label, self.verifier_label, self.opening, self.chart.ax, self.chart.labels, self.chart.graph, self.p_tau, self.p, self.trusted_setup2, self.commitment_copy, self.title))
 

zkmarek/video/slides/e4/polynomials.py

@@ -1,4 +1,4 @@
-from manim import DOWN, UP, RIGHT, LEFT, FadeIn, FadeOut, MathTex, ValueTracker, Text, Create, Write, TransformMatchingShapes, Indicate, ApplyWave, MoveToTarget, Transform, Line, VGroup
+from manim import DOWN, UP, RIGHT, LEFT, FadeIn, FadeOut, MathTex, ValueTracker, Text, Create, Write, TransformMatchingShapes, Indicate, ApplyWave, MoveToTarget, Transform, Line, VGroup, Unwrite
 
 from numpy import linspace
 import random
@@ -89,13 +89,13 @@ def construct(self):
             points = ValueTracker(point_value)
             a = Curve.from_x(points.get_value())
             self.point.append(DotOnCurve(self.chart.ax, "", a)) 
-        self.polynomial_modulo = MathTex(r"P({{x}}) = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ p}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
-        self.polynomial_modulo5 = MathTex(r"P({{x}}) = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ 5}} {{}} {{}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
-        self.polynomial0_modulo5 = MathTex(r"P({{0}}) = 4\cdot {{0^3}} - 8\cdot{{0^2}} - 17\cdot {{0}} + 30 {{\mod \ 5}} {{= 30 \mod 5}} {{= 0}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
-        self.polynomial1_modulo5 = MathTex(r"P({{1}}) = 4\cdot {{1^3}} - 8\cdot{{1^2}} - 17\cdot {{1}} + 30 {{\mod \ 5}} {{= 9 \mod 5}} {{= 4}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
+        self.polynomial_modulo = MathTex(r"P({{x}}) \mod \ p = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ p}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
+        self.polynomial_modulo5 = MathTex(r"P({{x}}) \mod \ 5 = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ 5}} {{}} {{}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
+        self.polynomial0_modulo5 = MathTex(r"P({{0}}) \rightarrow = 4\cdot {{0^3}} - 8\cdot{{0^2}} - 17\cdot {{0}} + 30 {{\mod \ 5}} {{= 30 \mod 5}} {{= 0}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
+        self.polynomial1_modulo5 = MathTex(r"P({{1}}) \rightarrow = 4\cdot {{1^3}} - 8\cdot{{1^2}} - 17\cdot {{1}} + 30 {{\mod \ 5}} {{= 9 \mod 5}} {{= 4}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
 
-        self.polynomial_modulo23 = MathTex(r"P({{x}}) = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ 23}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
-        self.polynomial_modulo41 = MathTex(r"P({{x}}) = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ 41}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
+        self.polynomial_modulo23 = MathTex(r"P({{x}}) \mod \ 23 = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ 23}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
+        self.polynomial_modulo41 = MathTex(r"P({{x}}) \mod \ 41 = 4 {{x^3}} - 8{{x^2}} - 17 {{x}} + 30 {{\mod \ 41}}", color = PRIMARY_COLOR).scale(0.7).to_edge(DOWN)
 
     def animate_in(self, scene):
         self.new_subsection(scene, "intro", "data/sound/e4/slide1-0.mp3")
@@ -187,15 +187,15 @@ def animate_in(self, scene):
         self.chart_group.generate_target()
         self.chart_group.target.shift(LEFT*4+UP*0.15)
         self.polynomial.to_edge(RIGHT).shift(LEFT*0.8+UP*3.7)
-        scene.play(MoveToTarget(self.chart_group), Write(self.polynomial), run_time=1.5)
+        self.label_poly_p = MathTex(r"P(x)", color = SECONDARY_COLOR).next_to(self.chart.graph, RIGHT, buff = 0.1).shift(4*LEFT+UP)
+        self.label_poly_q = MathTex(r"Q(x)", color = HIGHLIGHT_COLOR).next_to(self.chart.graph2, LEFT, buff = 0.1).shift(LEFT*0.8+UP)
+        self.label_poly_r = MathTex(r"R(x)", color = PRIMARY_COLOR).next_to(self.chart.graph3, RIGHT, buff = 0.1).shift(LEFT*4+UP)
+        scene.play(MoveToTarget(self.chart_group), Write(self.polynomial), Write(self.label_poly_p), run_time=1.5)
         self.chart.graph2.shift(LEFT*4+UP*0.15)
         self.chart.graph3.shift(LEFT*4+UP*0.15)
-        self.label_poly_p = MathTex(r"P(x)", color = SECONDARY_COLOR).next_to(self.chart.graph, RIGHT, buff = 0.1)
-        self.label_poly_q = MathTex(r"Q(x)", color = HIGHLIGHT_COLOR).next_to(self.chart.graph2, LEFT, buff = 0.1)
-        self.label_poly_r = MathTex(r"R(x)", color = PRIMARY_COLOR).next_to(self.chart.graph3, RIGHT, buff = 0.1)
         self.intersect.shift(LEFT*4+UP*0.15)
         self.intersect.label.shift(0.2*DOWN+LEFT*0.1)
-        scene.play(Write(self.chart.graph2))
+        scene.play(Write(self.chart.graph2), Write(self.label_poly_q))
         scene.play(Create(self.intersect.dot))
         self.quotient.next_to(self.polynomial, DOWN, buff = 0.3)
         scene.wait(1)
@@ -218,22 +218,23 @@ def animate_in(self, scene):
         scene.wait(1)
         a_i = Curve.from_x(self.p_intersect.get_value())
         self.intersect_sub = DotOnCurve(self.chart.ax, r"(z,0)", a_i)
-        self.intersect_sub.set_color(PRIMARY_COLOR).shift(DOWN*1.05)
-        self.intersect_sub.label.shift(LEFT*0.2+UP*0.3)
+        self.intersect_sub.set_color(PRIMARY_COLOR).shift(DOWN*0.9)
+        self.intersect_sub.label.shift(LEFT*0.2+UP*0.35)
 
         scene.play(Write(self.subtract), run_time=1)
-        scene.play(TransformMatchingShapes(VGroup(self.chart.graph2, self.chart.graph), self.chart.graph3), TransformMatchingShapes(self.intersect, self.intersect_sub))
+        scene.play(TransformMatchingShapes(VGroup(self.chart.graph2, self.chart.graph), self.chart.graph3), TransformMatchingShapes(self.intersect, self.intersect_sub), Write(self.label_poly_r), Unwrite(self.label_poly_p), Unwrite(self.label_poly_q))
         scene.wait(2)
         scene.play(TransformMatchingShapes(self.subtract, self.subtract_z), TransformMatchingShapes(self.polynomial, self.polynomial_z), TransformMatchingShapes(self.quotient, self.quotient_z))
         scene.wait(2)
         scene.play(FadeOut(self.intersect_sub))
         scene.wait(2)
+        scene.play(Indicate(self.intersect_sub, color = HIGHLIGHT_COLOR, scale_factor=1.7))
         self.polynomial.to_edge(DOWN).shift(LEFT*3).scale(0.7)
         scene.play(FadeOut(self.line_subtract, self.minus, self.subtract_z, self.quotient_z), TransformMatchingShapes(self.polynomial_z, self.polynomial))
 
         self.new_subsection(scene, "finite fields", "data/sound/e4/slide1-6.mp3")
         self.chart1.gen_points()
-        scene.play(Create(self.chart1), TransformMatchingShapes(self.chart.graph3, self.chart.graph), run_time=2)
+        scene.play(Create(self.chart1), TransformMatchingShapes(self.chart.graph3, self.chart.graph), Unwrite(self.label_poly_r), run_time=2)
         scene.wait(4)
         scene.play(ApplyWave(self.chart1.ax[0]), ApplyWave(self.chart1.ax[1]), DIRECTION=UP)
         scene.wait(4)
@@ -259,7 +260,7 @@ def animate_in(self, scene):
 
         scene.wait(2)
         scene.play(Create(self.p0), Create(self.p1), Create(self.p2), Create(self.p3))
-        scene.wait(2)
+        scene.wait(0.5)
         scene.play(ApplyWave(self.chart1.ax[0]), ApplyWave(self.chart1.ax[1]), DIRECTON=UP)
 
         self.new_subsection(scene, "P(0)", "data/sound/e4/slide1-8.mp3")
@@ -278,7 +279,13 @@ def animate_in(self, scene):
         scene.play(Indicate(self.polynomial1_modulo5[13], color = HIGHLIGHT_COLOR))
         scene.wait(4)
         scene.play(ApplyWave(self.chart1.ax[1], DIRECTION=UP))
-        scene.wait(2)
+
+        top_val = MathTex(r"p-1", color = SECONDARY_COLOR).to_edge(UP+RIGHT).shift(DOWN+LEFT*2).scale(0.8)
+        scene.play(FadeIn(top_val))
+        self.chart1.animate_create_horizontal_line(
+            scene, 4, 0, 4
+        )
+        scene.play(FadeOut(top_val))
 
         self.new_subsection(scene, "p=23", "data/sound/e4/slide1-10.mp3")
         scene.wait(2.3)
@@ -288,9 +295,8 @@ def animate_in(self, scene):
         scene.wait(1)
 
         self.new_subsection(scene, "p=41", "data/sound/e4/slide1-11.mp3")
-        scene.play(TransformMatchingShapes(self.polynomial_modulo23, self.polynomial_modulo41))
         self.chart3.gen_points()
-        scene.play(FadeOut(self.chart2), FadeIn(self.chart3))
+        scene.play(FadeOut(self.chart2), FadeIn(self.chart3), TransformMatchingShapes(self.polynomial_modulo23, self.polynomial_modulo41))
 
         scene.wait(1)
 

zkmarek/video/slides/e4/properties.tex

@@ -1,4 +1,4 @@
 \begin{itemize}
-    \item Binding
     \item Hiding
+    \item Binding
 \end{itemize}

zkmarek/video/slides/episode3/ceremony.py

@@ -131,31 +131,37 @@ def animate_miniature(self, scene):
         rectangle = Rectangle(color=PRIMARY_COLOR, width=15, height=8)
         text = Text("Ceremony of the trusted setup", color=SECONDARY_COLOR,
             font=PRIMARY_FONT, font_size=50).scale(0.65)
-        self.add(rectangle, self.title_label, self.tau_0, self.tau_1, self.tau_k)
+        self.tau_col = MathTex(r"\tau = \tau_0 \cdot \tau_1 \cdot \cdots \tau_i", color = SECONDARY_COLOR).scale(1.2).shift(RIGHT)
+        self.add(rectangle, self.tau_0, self.tau_1, self.tau_k)
         self.scale(0.65)
+        self.tau_0.scale(1.2).shift(DOWN*0.2)
+        self.tau_1.scale(1.2).shift(DOWN*0.2)
+        self.tau_k.scale(1.2).shift(DOWN*0.2)
+        self.line0 = Line(start = self.tau_0.get_right(), end = self.tau_col.get_left(), color = HIGHLIGHT_COLOR).scale(0.65).next_to(self.tau_0, DOWN, buff = 0.1).shift(RIGHT+UP*0.2)
+        self.line1 = Line(start = self.tau_1.get_right(), end = self.tau_col.get_left(), color = HIGHLIGHT_COLOR).scale(0.65).next_to(self.tau_1, DOWN, buff = 0.1).shift(RIGHT+UP*0.3)
+        self.linei = Line(start = self.tau_k.get_right(), end = self.tau_col.get_left(), color = HIGHLIGHT_COLOR).scale(0.65).next_to(self.tau_k, DOWN, buff = 0.1).shift(RIGHT+UP*1.55)
         text.next_to(rectangle, DOWN, buff=0.4)
         self.person.scale(0.65).next_to(self.tau_0, LEFT, buff = 0.6)
         self.person2.scale(0.65).next_to(self.tau_1, LEFT, buff = 0.6)
         self.person3.scale(0.65).next_to(self.tau_k, LEFT, buff = 0.6)
-        scene.play(FadeIn(text, rectangle, self.title_label))
+        scene.play(FadeIn(text, rectangle))
         self.add(text)
         scene.play(FadeIn(self.person, self.person2, self.person3))
         scene.play(Write(self.tau_0))
         scene.play(Write(self.tau_1))
+        self.three_dot.scale(0.65).next_to(self.tau_1, DOWN, buff = 0.4)
+        scene.play(Write(self.three_dot))
         scene.play(Write(self.tau_k))
-        self.vector_0.scale(0.65).next_to(self.tau_0, RIGHT, buff = 0.5)
-        self.vector_1.scale(0.65).next_to(self.tau_1, RIGHT, buff = 0.5)
-        self.vector_k.scale(0.65).next_to(self.tau_k, RIGHT, buff = 0.5)
-        self.three_dot.scale(0.65).next_to(self.vector_k, UP, buff = 0.3)
+        scene.play(Write(self.line0))
+        scene.play(Write(self.line1))
+        scene.play(Write(self.linei))
 
-        scene.play(Write(self.vector_0))
-        scene.play(Write(self.vector_1))
-        scene.play(Write(self.three_dot))
-        scene.play(Write(self.vector_k))
-        scene.play(Indicate(self.vector_0.cells[0][1][0], color = HIGHLIGHT_COLOR), Indicate(self.vector_1.cells[0][1][0], color = HIGHLIGHT_COLOR), Indicate(self.vector_k.cells[0][1][0], color = HIGHLIGHT_COLOR))
+        scene.play(Write(self.tau_col))
+
+        scene.play(Indicate(self.tau_0, color = HIGHLIGHT_COLOR), Indicate(self.tau_1, color = HIGHLIGHT_COLOR), Indicate(self.tau_k, color = HIGHLIGHT_COLOR))
 
         scene.wait(2)
-        scene.play(FadeOut(self.vector_0, self.vector_1, self.vector_k, self.person, self.person2, self.person3, self.tau_0, self.tau_1, self.tau_k, self.three_dot, text, rectangle, self.title_label))
+        scene.play(FadeOut(self.person, self.person2, self.person3, self.tau_0, self.tau_1, self.tau_k, self.three_dot, text, rectangle, self.line0, self.line1, self.linei, self.tau_col))
 
     def animate_out(self, scene):
         scene.play(FadeOut(self.person, self.person2, self.person3, self.tau_0, self.tau_1, self.tau_k, self.title_label, self.three_dot, self.vector_0, self.vector_1, self.vector_k, self.tau))