Skip to content

Commit

Permalink
changed sounds in trusted setup and ceremony
Browse files Browse the repository at this point in the history
  • Loading branch information
martawleklinska committed Jul 16, 2024
1 parent f6c36e6 commit 718e05c
Show file tree
Hide file tree
Showing 12 changed files with 13 additions and 12 deletions.
Binary file modified data/sound/episode3/slide4-0.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide4-2.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide4-3.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide4-4.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide5-0.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide5-1.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide5-2.mp3
Binary file not shown.
Binary file modified data/sound/episode3/slide5-3.mp3
Binary file not shown.
6 changes: 3 additions & 3 deletions zkmarek/video/main.py
Original file line number Diff line number Diff line change
Expand Up @@ -182,13 +182,13 @@
Introduction(),
TitleSlide("Pairing", sound="data/sound/episode3/slide1-3.mp3", wait_time=3),
Pairing(),
TitleSlide("Trusted setup"),
TitleSlide("Trusted setup", sound="data/sound/episode3/slide3-0.mp3", wait_time=1.5),
TrustedSetup(),
Ceremony(),
CeremonyVerification(),
CeremonyVerification2(),
Subscribe("data/sound/episode1/s28.wav"),
Credits2(),
# Subscribe("data/sound/episode1/s28.wav"),
# Credits2(),
]

EPISODE4 = [
Expand Down
1 change: 0 additions & 1 deletion zkmarek/video/slides/episode3/ceremony.py
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,5 @@ def animate_in(self, scene):
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)
4 changes: 1 addition & 3 deletions zkmarek/video/slides/episode3/pairing.py
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ def construct(self):
self.multiplying_brace.put_at_tip(self.multiplying_brace_label)
self.non_degeneracy_label = Text("Non-degeneracy", font_size=40, color=SECONDARY_COLOR, font = PRIMARY_FONT)
nd_text = r"\forall{a \in G_1}, \forall{b \in G_2} ({{a, b \neq \mathcal{O}}}"
nd_text += r" \Rightarrow e(a, b) \neq {{1_{G_T})}} "
nd_text += r" \Rightarrow e(a, b) \neq {{1_{G_T}}}) "
self.non_degeneracy = MathTex(nd_text, font_size=40, color=SECONDARY_COLOR)
self.computability_label = Text("Computability", font_size=40, color=SECONDARY_COLOR, font = PRIMARY_FONT)

Expand Down Expand Up @@ -137,5 +137,3 @@ def animate_in(self, scene):

self.new_subsection(scene, "computability", "data/sound/episode3/slide2-6.mp3")
scene.play(Write(self.computability_label))


14 changes: 9 additions & 5 deletions zkmarek/video/slides/episode3/trusted_setup.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
from manim import LEFT, RIGHT, DOWN, UP, MathTex, Tex, Text, Write, Line, FadeOut
from manim import LEFT, RIGHT, DOWN, UP, MathTex, Tex, Text, Write, Line

from zkmarek.video.constant import PRIMARY_COLOR, PRIMARY_FONT, SECONDARY_COLOR
from zkmarek.video.mobjects.tex_array import TexArray
Expand Down Expand Up @@ -66,17 +66,21 @@ def construct(self):
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.wait(1.5)
scene.play(Write(self.tau))
self.new_subsection(scene, "tau", "data/sound/episode3/slide4-1.mp3")

self.new_subsection(scene, "multiplying by G1", "data/sound/episode3/slide4-2.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")

self.new_subsection(scene, "multiplying by G2", "data/sound/episode3/slide4-3.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")
self.vector_g2.animate_transform_matching_shapes(scene, SETUP_G2_2)

scene.wait(5)


0 comments on commit 718e05c

Please sign in to comment.