Skip to content

Commit

Permalink
changes in intro and ceremony
Browse files Browse the repository at this point in the history
  • Loading branch information
@martawleklinska
martawleklinska committed Jul 16, 2024
1 parent d023952 commit 2bc1d6e
Show file tree
Hide file tree
Showing 2 changed files with 32 additions and 16 deletions.
29 changes: 20 additions & 9 deletions zkmarek/video/slides/episode3/ceremony.py
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
from manim import LEFT, DOWN, UP, MathTex, Tex, Text, Write, Line, ImageMobject, FadeIn, FadeOut, Indicate
from manim import LEFT, DOWN, UP, RIGHT, 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
from zkmarek.video.slides.common.slide_base import SlideBase

PARTICIPANT_1 = [
r"\tau_0^1 G_1",
r"{{\tau_0^1 G_1}}",
r"\tau_0^2 G_1",
r". . .",
r"\tau_0^n G_1"
Expand Down Expand Up @@ -44,12 +44,16 @@ 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.tau_letter = MathTex(r"\tau", color = SECONDARY_COLOR, font_size=70)
self.person_tau0 = self.tau_letter.copy().next_to(self.group, DOWN, buff=0.01)
self.person_tau1 = self.tau_letter.copy().next_to(self.group, LEFT, buff=0.1)
self.person_tau2 = self.tau_letter.copy().next_to(self.group, RIGHT, buff=0.1)
self.vector_0 = TexArray(PARTICIPANT_1)
self.vector_1 = TexArray(PARTICIPANT_2)
self.vector_k = TexArray(PARTICIPANT_N, 3)
self.tau_0 = Tex(r"$\tau_0$: ", color=SECONDARY_COLOR)
self.tau_1 = Tex(r"$\tau_1$: ", color=SECONDARY_COLOR)
self.three_dot = Text(".\n.\n.", font=PRIMARY_FONT, color=SECONDARY_COLOR)
self.three_dot = Text(".\n.\n.", font=PRIMARY_FONT, color=SECONDARY_COLOR).scale(0.5)
self.tau_k = Tex(r"$\tau_k$: ", color=SECONDARY_COLOR)
self.tau = MathTex(r"\tau = \tau_0 \tau_1 ... \tau_k", color=SECONDARY_COLOR)

Expand All @@ -68,20 +72,27 @@ def animate_in(self, scene):
scene.play(Write(self.title_label))
scene.wait(1.5)
scene.play(FadeIn(self.group))
scene.play(FadeIn(self.person_tau0))
scene.play(FadeIn(self.person_tau1))
scene.play(FadeIn(self.person_tau2))

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.tau_0), FadeOut(self.group, self.person_tau0, self.person_tau1, self.person_tau2))
scene.play(Write(self.vector_0))
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))
scene.play(Indicate(self.tau_0, color = PRIMARY_COLOR))
scene.play(Indicate(self.tau_1, color = PRIMARY_COLOR))
self.new_subsection(scene, "next participant", "data/sound/episode3/slide5-3.mp3")
scene.play(Write(self.three_dot))
scene.play(Write(self.tau_k))
scene.play(Write(self.vector_k))
scene.play(Write(self.tau))
scene.wait(2)
scene.wait(1.5)
scene.play(Indicate(self.tau_0, color = PRIMARY_COLOR))
scene.play(Indicate(self.tau_1, color = PRIMARY_COLOR))
scene.play(Indicate(self.tau_k, color = PRIMARY_COLOR))
scene.play(Indicate(self.tau, color = PRIMARY_COLOR))
19 changes: 12 additions & 7 deletions zkmarek/video/slides/episode3/introduction.py
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
from manim import FadeIn, FadeOut, ImageMobject, LEFT, RIGHT, UP, DOWN, MathTex, Create, Group, MoveToTarget
from manim import FadeIn, FadeOut, ImageMobject, LEFT, RIGHT, UP, DOWN, MathTex, Create, Group, MoveToTarget, Text, AddTextLetterByLetter
from zkmarek.video.slides.common.slide_base import SlideBase
from zkmarek.video.constant import SECONDARY_COLOR
from zkmarek.video.constant import SECONDARY_COLOR, PRIMARY_FONT
from zkmarek.video.mobjects.verkle_tree import VerkleTree

class Introduction(SlideBase):
Expand All @@ -23,9 +23,12 @@ def construct(self):
self.thumb4 = thumb.copy().next_to(self.person4, UP+RIGHT).shift(DOWN+LEFT)

self.tau = MathTex(r"\tau", font_size = 80, color = SECONDARY_COLOR)

self.polynomial = MathTex(r"p(x) = a_n\cdot x^n + a_{n-1}\cdot x^{n-1} + \cdots + a_1 \cdot x + a_0", font_size = 50, color = SECONDARY_COLOR).shift(DOWN)
self.polynomial1 = MathTex(r"p(\tau) = z", font_size = 50, color = SECONDARY_COLOR).next_to(self.polynomial, DOWN)
self.plonk = Text("PLONK", font_size=100,
font=PRIMARY_FONT,
color=SECONDARY_COLOR)

self.polynomial = MathTex(r"p(x) = x^5+9x^4+6", font_size = 60, color = SECONDARY_COLOR).shift(DOWN)
self.polynomial1 = MathTex(r"p(\tau) = z", font_size = 60, color = SECONDARY_COLOR).next_to(self.polynomial, DOWN)

def animate_in(self, scene):
self.new_subsection(scene, "intro to tau", "data/sound/episode3/slide1-0.mp3")
Expand All @@ -42,7 +45,7 @@ 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.5+DOWN).scale(2)
self.person_wthumb.target.shift(RIGHT*4+DOWN).scale(2)
scene.play(MoveToTarget(self.person_wthumb))
scene.play(FadeIn(self.polynomial))
scene.wait(0.5)
Expand All @@ -54,6 +57,8 @@ def animate_out(self, scene):

def animate_tree(self, scene):
tree = VerkleTree().scale(0.8).shift(UP*1.5)
scene.play(AddTextLetterByLetter(self.plonk), run_time=2)
scene.play(FadeOut(self.plonk))
scene.play(Create(tree))
scene.wait(3)
scene.wait(1)
scene.play(FadeOut(tree))

0 comments on commit 2bc1d6e

Please sign in to comment.