added sound to ceremony and ceremony verification

zkmarek/video/slides/episode3/ceremony.py

@@ -1,4 +1,4 @@
-from manim import LEFT, DOWN, UP, MathTex, Tex, Text, Write, Line
+from manim import LEFT, DOWN, UP, MathTex, Tex, Text, Write, Line, ImageMobject, FadeIn, FadeOut, Indicate
 
 from zkmarek.video.constant import PRIMARY_COLOR, PRIMARY_FONT, SECONDARY_COLOR
 from zkmarek.video.mobjects.tex_array import TexArray
@@ -43,6 +43,7 @@ def __init__(self):
 
     def construct(self):
         self.title_label = Text("Ceremony", font=PRIMARY_FONT, color=PRIMARY_COLOR)
+        self.group = ImageMobject("zkmarek/video/slides/episode3/group.png")
         self.vector_0 = TexArray(PARTICIPANT_1)
         self.vector_1 = TexArray(PARTICIPANT_2)
         self.vector_k = TexArray(PARTICIPANT_N, 3)
@@ -65,13 +66,20 @@ def construct(self):
     def animate_in(self, scene):
         self.new_subsection(scene, "ceremony intro", "data/sound/episode3/slide5-0.mp3")
         scene.play(Write(self.title_label))
-        scene.play(Write(self.tau_0))
+        scene.wait(1.5)
+        scene.play(FadeIn(self.group))
+
         self.new_subsection(scene, "first participant", "data/sound/episode3/slide5-1.mp3")
+        scene.play(Write(self.tau_0), FadeOut(self.group))
         scene.play(Write(self.vector_0))
-        scene.play(Write(self.tau_1))
+        scene.play(Indicate(self.tau_0, color = SECONDARY_COLOR))
         self.new_subsection(scene, "beginning of ceremony", "data/sound/episode3/slide5-2.mp3")
+        scene.play(Write(self.tau_1))
         scene.play(Write(self.vector_1))
         scene.play(Write(self.three_dot))
+        scene.wait(3)
+        scene.play(Indicate(self.tau_0))
+        scene.play(Indicate(self.tau_1))
         self.new_subsection(scene, "next participant", "data/sound/episode3/slide5-3.mp3")
         scene.play(Write(self.tau_k))
         scene.play(Write(self.vector_k))

zkmarek/video/slides/episode3/ceremony_verification.py

@@ -86,12 +86,15 @@ def construct(self):
         self.pairing2.next_to(self.vec_g2, DOWN, buff=0.5)
 
     def animate_in(self, scene):
+        self.new_subsection(scene, "intro to verification", "data/sound/episode3/slide6-0.mp3")
         scene.play(Write(self.title_label))
+        self.new_subsection(scene, "not the powers of tau", "data/sound/episode3/slide6-1.mp3")
         scene.play(Write(self.header_label))
         scene.play(Write(self.subheader_label))
         scene.play(FadeIn(self.vec_g1))
         scene.play(FadeIn(self.vec_g2))
         scene.play(FadeIn(self.arrows_g1[0]))
+        self.new_subsection(scene, "pairing", "data/sound/episode3/slide6-2.mp3")
         self.pairing1.animate_first(scene)
         self.vec_g1.animate_transform_matching_shapes(scene, SETUP_WITH_TAU_G1)
         self.vec_g2.animate_transform_matching_shapes(scene, SETUP_WITH_TAU_G2)

zkmarek/video/slides/episode3/pairing.py

@@ -33,7 +33,7 @@ def construct(self):
         self.brace1.shift(UP * 2.5)
         self.brace2.shift(UP * 2.5)
         self.brace3.shift(UP * 2.5)
-        self.brace1_label = Text(r"Subgroup of points on elliptic curve", font_size=30, color=PRIMARY_COLOR, font = PRIMARY_FONT)
+        self.brace1_label = Text(r"Subgroups of points on elliptic curve", font_size=30, color=PRIMARY_COLOR, font = PRIMARY_FONT)
         self.brace1.put_at_tip(self.brace1_label)
         self.brace3_label = Text(r"Prime field", font_size=30, color=PRIMARY_COLOR, font = PRIMARY_FONT)
         self.brace3.put_at_tip(self.brace3_label)

zkmarek/video/slides/episode3/trusted_setup.py

@@ -75,12 +75,12 @@ def animate_in(self, scene):
 
         self.new_subsection(scene, "multiplying by G2", "data/sound/episode3/slide4-3.mp3")
         scene.play(Write(self.vector_g2))
+        self.new_subsection(scene, "there are ec points", "data/sound/episode3/slide4-4.mp3")
+
         scene.play(Write(self.strike))
         self.vector_g1.animate_transform_matching_shapes(scene, SETUP_G1_3)
-
-        self.new_subsection(scene, "there are ec points", "data/sound/episode3/slide4-4.mp3")
         self.vector_g2.animate_transform_matching_shapes(scene, SETUP_G2_2)
 
-        scene.wait(5)
+        scene.wait(1.5)