diff --git a/data/sound/episode3/slide3-0.mp3 b/data/sound/episode3/slide3-0.mp3 new file mode 100644 index 00000000..154b7c84 Binary files /dev/null and b/data/sound/episode3/slide3-0.mp3 differ diff --git a/data/sound/episode3/slide4-0.mp3 b/data/sound/episode3/slide4-0.mp3 new file mode 100644 index 00000000..5c1cb6b7 Binary files /dev/null and b/data/sound/episode3/slide4-0.mp3 differ diff --git a/data/sound/episode3/slide4-1.mp3 b/data/sound/episode3/slide4-1.mp3 new file mode 100644 index 00000000..9e8bbef0 Binary files /dev/null and b/data/sound/episode3/slide4-1.mp3 differ diff --git a/data/sound/episode3/slide4-2.mp3 b/data/sound/episode3/slide4-2.mp3 new file mode 100644 index 00000000..b54e330a Binary files /dev/null and b/data/sound/episode3/slide4-2.mp3 differ diff --git a/data/sound/episode3/slide4-3.mp3 b/data/sound/episode3/slide4-3.mp3 new file mode 100644 index 00000000..6b4151bc Binary files /dev/null and b/data/sound/episode3/slide4-3.mp3 differ diff --git a/data/sound/episode3/slide4-4.mp3 b/data/sound/episode3/slide4-4.mp3 new file mode 100644 index 00000000..7cd50617 Binary files /dev/null and b/data/sound/episode3/slide4-4.mp3 differ diff --git a/data/sound/episode3/slide5-0.mp3 b/data/sound/episode3/slide5-0.mp3 new file mode 100644 index 00000000..86f0d54d Binary files /dev/null and b/data/sound/episode3/slide5-0.mp3 differ diff --git a/data/sound/episode3/slide5-1.mp3 b/data/sound/episode3/slide5-1.mp3 new file mode 100644 index 00000000..79593e80 Binary files /dev/null and b/data/sound/episode3/slide5-1.mp3 differ diff --git a/data/sound/episode3/slide5-2.mp3 b/data/sound/episode3/slide5-2.mp3 new file mode 100644 index 00000000..3f949e4a Binary files /dev/null and b/data/sound/episode3/slide5-2.mp3 differ diff --git a/data/sound/episode3/slide5-3.mp3 b/data/sound/episode3/slide5-3.mp3 new file mode 100644 index 00000000..42c163da Binary files /dev/null and b/data/sound/episode3/slide5-3.mp3 differ diff --git a/data/sound/episode3/slide5-4.mp3 b/data/sound/episode3/slide5-4.mp3 new file mode 100644 index 00000000..f22e09b3 Binary files /dev/null and b/data/sound/episode3/slide5-4.mp3 differ diff --git a/zkmarek/video/main.py b/zkmarek/video/main.py index 5860f2eb..a6cff470 100644 --- a/zkmarek/video/main.py +++ b/zkmarek/video/main.py @@ -187,10 +187,6 @@ Ceremony(), CeremonyVerification(), CeremonyVerification2(), - TitleSlide("KZG", subtitle="Kate, Zaverucha and Goldberg"), - PolynomialCommitment(), - KZG(), - Verkle(), Subscribe("data/sound/episode1/s28.wav"), Credits2(), ] @@ -198,6 +194,10 @@ EPISODE4 = [ # Intro("data/sound/episode2/slide1-0.mp3"), # Sponsored(), + TitleSlide("KZG", subtitle="Kate, Zaverucha and Goldberg"), + PolynomialCommitment(), + KZG(), + Verkle(), Verkle(), Subscribe("data/sound/episode1/s28.wav"), ] diff --git a/zkmarek/video/slides/episode3/ceremony.py b/zkmarek/video/slides/episode3/ceremony.py index 076697f6..5290f4af 100644 --- a/zkmarek/video/slides/episode3/ceremony.py +++ b/zkmarek/video/slides/episode3/ceremony.py @@ -63,13 +63,18 @@ def construct(self): self.tau.next_to(self.vector_k, DOWN, buff=0.5) 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)) + self.new_subsection(scene, "first participant", "data/sound/episode3/slide5-1.mp3") scene.play(Write(self.vector_0)) scene.play(Write(self.tau_1)) + self.new_subsection(scene, "beginning of ceremony", "data/sound/episode3/slide5-2.mp3") scene.play(Write(self.vector_1)) scene.play(Write(self.three_dot)) + self.new_subsection(scene, "next participant", "data/sound/episode3/slide5-3.mp3") scene.play(Write(self.tau_k)) scene.play(Write(self.vector_k)) + self.new_subsection(scene, "conclusion of ceremony", "data/sound/episode3/slide5-4.mp3") scene.play(Write(self.tau)) scene.wait(2) diff --git a/zkmarek/video/slides/episode3/introduction.py b/zkmarek/video/slides/episode3/introduction.py index 10672ed3..114a6074 100644 --- a/zkmarek/video/slides/episode3/introduction.py +++ b/zkmarek/video/slides/episode3/introduction.py @@ -42,10 +42,12 @@ def animate_in(self, scene): self.new_subsection(scene, "any polynomial", "data/sound/episode3/slide1-2.mp3") self.person_wthumb.generate_target() - self.person_wthumb.target.shift(RIGHT*2+DOWN*2).scale(2) + self.person_wthumb.target.shift(RIGHT*2.5+DOWN).scale(2) scene.play(MoveToTarget(self.person_wthumb)) scene.play(FadeIn(self.polynomial)) + scene.wait(0.5) scene.play(FadeIn(self.polynomial1)) + scene.wait(1.5) def animate_out(self, scene): scene.play(FadeOut(self.person_wthumb, self.polynomial, self.polynomial1)) diff --git a/zkmarek/video/slides/episode3/trusted_setup.py b/zkmarek/video/slides/episode3/trusted_setup.py index a0648d9c..f8fdcafd 100644 --- a/zkmarek/video/slides/episode3/trusted_setup.py +++ b/zkmarek/video/slides/episode3/trusted_setup.py @@ -1,4 +1,4 @@ -from manim import LEFT, RIGHT, DOWN, UP, MathTex, Tex, Text, Write, Line +from manim import LEFT, RIGHT, DOWN, UP, MathTex, Tex, Text, Write, Line, FadeOut from zkmarek.video.constant import PRIMARY_COLOR, PRIMARY_FONT, SECONDARY_COLOR from zkmarek.video.mobjects.tex_array import TexArray @@ -64,12 +64,19 @@ def construct(self): end=self.tau.get_critical_point(RIGHT), color=SECONDARY_COLOR) def animate_in(self, scene): + self.new_subsection(scene, "intro to trusted setup", "data/sound/episode3/slide4-0.mp3") scene.play(Write(self.title_label)) scene.play(Write(self.tau)) + self.new_subsection(scene, "tau", "data/sound/episode3/slide4-1.mp3") scene.play(Write(self.vector_g1)) self.vector_g1.animate_transform_matching_shapes(scene, SETUP_G1_2) + self.new_subsection(scene, "multiplying by G1", "data/sound/episode3/slide4-2.mp3") scene.play(Write(self.vector_g2)) scene.play(Write(self.strike)) + self.new_subsection(scene, "multiplying by G2", "data/sound/episode3/slide4-3.mp3") self.vector_g1.animate_transform_matching_shapes(scene, SETUP_G1_3) self.vector_g2.animate_transform_matching_shapes(scene, SETUP_G2_2) + self.new_subsection(scene, "there are ec points", "data/sound/episode3/slide4-4.mp3") + scene.wait(5) +