►
From YouTube: The Baseline Show: Zero Knowledge Proofs Co-Stream w/ C4
Description
On this special episode of the Baseline Show, we will be co-streaming with the folks from Cryptocurrency Certification Consortium [C4] and delivering a refresher on key concepts of Zero Knowledge Proofs.
A
B
I
welcome
you
all
to
the
Baseline
show
we
do
this.
Every
Wednesday
at
noontime,
EST
and
6
PM,
6,
PM,
CET
and
10
30
PM
India
time
so
Baseline
show
is
a
community
effort.
It
is
for
the
Outreach
and
informing
people
more
about
Baseline
protocol
and
what
all
is
being
built
within
the
Baseline
Community
today
is
a
very
special
episode,
as
I
also
posted
on
social
media
handles.
B
We
are
co-streaming
with
the
folks
from
C4,
cryptocurrency,
Consortium,
cryptocurrency,
certification,
Consortium
right,
so
I'm,
going
to
invite
Jessica
from
there
and
Joshua
from
from
from
C4
to
tell
us
a
little
more
about
C4.
But
you
know,
first
of
all,
say
hi
to
all
the
ogs
of
Baseline
who
are
on
the
show
today.
So
Andreas
is
here.
We
have
you
are
via
sonal,
we
have
Mercado,
we
have.
We
have
Jack,
so
everybody
is
going
to
talk
about
out.
B
Zk
proves
today
we
are
going
to
be
doing
a
refresher
for
people
who
are
for
for
people
who
just
want
to
brush
up
Core
Concepts
and
for
starters,
it's
going
to
be
a
good
starting
point
to
gain
some
key
key
Concepts
core
concept
and
build
build
upon
that
so
yeah
Jessica.
Why
don't
you
go
ahead?
Introduce
yourself
tell
us
a
little
more
about
C4
and
take
it
from
them
awesome.
Thank
you.
A
So
this
is
super
cool
for
us
to
be
joining
today,
so
I'm
Jessica
I
am
from
C4
I'm
the
executive
director
and
we
have
a
scheduled
live
stream
as
well
at
this
time
with
our
cep
committees.
So
we've
got
two
of
our
CP
committee
members
here
today,
Josh
and
sonal
sonal
is
both
part
of
Baseline
and
part
of
C4
cep
committee
and
if
you
have
not
heard
of
C4
first
of
all,
why
not?
A
Second
of
all,
we
are
a
non-profit
organization
based
out
of
Canada
and
we
do
education
and
certification
for
Bitcoin
ethereum
and
we've
got
the
cryptocurrency
security
standard,
but
today
we're
here
to
talk
about
zero
knowledge.
So
anybody
from
C4
want
to
say
anything
else
about
what
we
do,
that
I
haven't
added
Yet
Josh
sonal.
C
A
It's
about
us
all
doing
this
together
is
that
we're
going
to
get
kind
of
a
wide
variety
of
perspectives
and
information
about
zero
knowledge
and
actually
zero
knowledge
is
one
of
those
things
that's
been
around
for
a
little
bit,
but
it's
just
starting
now,
at
least
from
my
perspective,
to
be
something
that
like,
if
you're
in
this
space,
it's
really
important
to
know
about
understand
and
that's
what
we're
doing
today.
So
with
that
being
said,
why
don't
we
start
jumping
right
into
the
content,
so
we
can
really
explain
what
zero
knowledge
is.
A
A
Let's
start
with
what
the
heck
we're
talking
about,
I
feel
like
that's
always
a
good
thing.
So
if
you
just
joined
and
you're
like
you,
keep
saying
these
words,
what
is
zero
knowledge?
Let's
start
by
just
explaining
what
that
means.
So
Andreas
do
you
want
to
get
us
started
with
just
the
basics
of
what
it
is
that
zero
knowledge
is.
D
D
D
So,
let's,
let's
dive
in
and
I'll,
give
a
very
non-technical
introduction
to
zero
knowledge,
and
why
really
do
we
need
it
right?
So
the
the
florals
and
the
digital
worlds
are
merging
right.
So
we
we're
we're
creating
we're.
You
know
it's
like
everybody
calls
it
the
metaverse.
Well,
that's
really
what
it
is
you
have
physical
things
or
or
or
are
becoming
digitized
and
digital
things
suddenly
become
real
or
they
just
live
in
that
in
that
space.
D
A
A
F
No
I
I
think
basically,
he
was
starting
off
as
far
as
zero
knowledge
Computing,
which
is
getting
a
lot
of
attention
right
now
really
emerging
out
of
you
know.
You
know
a
kind
of
a
clustering
of
a
lot
of
these
emerging
Technologies
we're
really
starting
to
figure
out.
You
know
how
can
we
actually
sit
there
and
do
things
that
we're
not
allowed
to
do
right
now
either
because
of
data
privacy
or
just
corporate
policy?
F
Competitive
concerns
I
need
to
collaborate
with
someone
that
is
beyond
my
corporate
border
and
they
need
to
collaborate
with
me
and
we're
very
limited
as
far
as
the
data
that
we
can
actually
share.
So
how
can
I
sit
there
and
prove
consistency
to
know
that
you
know
what
I'm
looking
at
is
the
same
thing
you're
looking
at
even
in
the
environment,
to
where
there's
rapid,
updating
and
there's
Version
Control
going
on.
Even
when
you
have
counterparties
that
you
know
have
varying
levels
of
technical
sophistication,
you
know
how
can
they
share
data?
F
You
know,
but
you
know,
still
maintain
their
security
profile,
their
data,
privacy,
compliance
and
you
know,
or
even
in
a
multi-party
environment
that
you
know,
operates
very
rapidly.
How
can
we
make
sure
everybody
is
at
least
updated,
and
you
know
a
lot
of
the
collaboration
platforms
that
are
out
there
right
now,
like
you
know,
slack
and
teams
Salesforce,
you
know
a
lot
of
them.
Have
you
know
kind
of
done
a
lot
as
far
as
you
know,
within
a
single
single
organization
are
within
a
single
work
group.
F
You
know
they've
been
able
to
go
around
and
and
really
either
through.
You
know
different
sharing
mechanisms
within
a
particular
application
most
commonly
Excel,
but
in
order
to
really
collaborate,
you
know
we
need
to
set
up
those
secure
and
maintain
those
secure.
You
know
work
groups
and
that
can
be
a
really
tall
order
and
what
happens
when
you
have
an
environment
to
where
you're
going
to
have
some
people
that
you
know
are
really
arms
linked.
F
F
You
know
component
of
that
as
to
where
you're
not
sharing
the
data
itself,
because
you
can't
but
you're
sharing
a
proof
of
the
data,
and
you
know
within
the
business
environment
I
commonly
tell
them
to
where
I
can't
share
with
you.
The
real
thing,
but
I
can
tell
you
a
mathematical
proof
that
we
are
aligned.
F
Does
that
cross
your
threshold
and
that's
enough
yeah
to
cross
it,
because
I
can't
have
the
data,
but
I
have
a
proof
that
my
data
set
matches
those
of
my
counterparties
in
any
given
point
in
time,
and
even
you
can
start
to
get.
You
know
more
granular
about
it
to
where
you
know.
If
you
look
at
it
from
you,
come
to
the
macro
aspect
to
where
yes,
this
spreadsheet
matches
your
spreadsheet.
Well,
what
happens
when
it
doesn't,
and
you
know,
through
zero
knowledge
proof
and
with
Baseline
protocol
we
can
pinpoint
well.
F
This
is
where
you
the
misalignment,
is,
you
know
there
was
something
that
was
changed
at
the
last
minute.
We,
you
don't
have
to
go
back
open
up
the
spreadsheet
and
start
you
know
combing
through
it
to
find
out.
Okay,
what's
different,
we
can
basically
give
you
boom.
This
is
where
it's
different,
so
you
know
whatever
it
needs
to
be
to
be
updated
and
everybody
can
get
re-synchronized.
F
D
B
D
The
houses
all
right-
okay,
so
so
we
have,
we
have
I
was
saying
you
know
you
have
houses
real
or
imagined.
People
are
paying
money
for
it.
Cars
remember
commercial
documents,
that's
about
is,
is
is
doing
business
transactions
based
on
Commercial
documents
and
you
have
fungible
digital
assets.
Liquidity
rewards
if
you're
into
defy
utility
tokens
such
as
for
storage.
If
you
like,
falcon
or
storage,
a
or
tokens
with
programmatic
value,
for
example,.
B
A
C
C
You
know
either
share
information
without
sharing
information,
but
mostly
you
know,
share
truth
without
without
sharing
information,
so
privacy
has
always
been
the
focus
of
zero
knowledge
proof
it's
just
it's
basically
in
the
name,
which
is
which
is
wonderful,
but
more
recently,
we're
now
realizing
that
that
same
kind
of
attribute
that
same
helpful
element
of
this
technology
also
ability
to
use
it
in
in
efficiencies
and
and
optimizing
these
networks
as
well
and
then
helping
to
decentralize
these
networks.
So
it's
usually
security
generally
means
inefficient
and
and
frustrating.
C
A
D
Okay,
I,
don't
understand
what
the
what
the
what
the
WTF
is
happening,
but
I
don't
know
anyway.
So
and
and
with
these
sorry,
you
know
we
have
these
Digital
World
Views
right
on
the
one
end.
We
have
Pake
centralized
World,
which
is
which
we
know
you
know
traditional
Finance
companies,
and
then
we
have.
D
So,
but
we
are
or
more
than
that
so,
but
we
are
there's
a
there's,
a
what
I
call
a
chimerian
area
between
these
two,
where
we
have
a
multi-trillion
dollar
opportunity.
Why?
Because
we
can
be
privacy,
preserving
so
fulfilling
the
the
beats
for
of
of
the
left
side,
the
left-hand
side
as
what
verifiable,
which
is
means.
Okay,
I,
might
not
be
able
to
see
everything,
but
I
can
verify
everything.
It's
decentralized.
D
We
can
decentralize
it,
but
it
can
be
controlled
at
the
same
time,
which
is
pretty
pretty
amazing
and
it
can
be
really
fast
which
blockchains
are
not.
If
you
claim
your
your
first,
yours
is,
there's
a
trade-off
that
you're
not
talking
about
welcome
to
Solana
you're
crashing
all
the
time
dissing
on
Solana.
D
A
Feel
like
this
is
our.
This
is
our
opportunity
to
go
into
the
where's
Waldo
where's
Wally
example,
except
it's
like
where's
Andreas,
but
maybe
we
should,
since
he
keeps
disappearing,
and
you
know
where
in
the
world
is:
oh,
that's
Carmen,
San
Diego,
not
where's,
Waldo,
anyways,
I'm,
mixing
my
stories
together
and
singing.
A
D
Waldo's
back
yeah,
so
it's
like,
let's
forget
about
the
the
screen
sharing.
Let
me
just
talk
about
like
really
so.
If
you're
using
zero
knowledge
proofs,
you
can
you
can
you
can
generate,
you
can
do
amazing
things
right.
So,
for
example,
you
can
have
fully
verifiable
and
auditable
by
anyone
anytime,
traditional
investment
funds
welcome
to
FTX
world
right.
That
would
have
been
great
to
have
had
it,
but
you
don't
have
it
so
that
that
is
that's
key.
D
D
Okay,
so
it's
like
it's
like
it's
like
the
only
way
around
that
is
using
zero
knowledge
proofs
that
present
what
the
state
of
of
of
hardware
and
software
is
at
any
point
in
at
any
point
in
point
in
time.
So
but
again
you
can
combine
those
and
using
so
the
key
thing
is:
where
does
the
decentralization
aspect
comes
into
the
zero
knowledge
that
I'm
I'll
talk
about
in
a
second?
What
that,
actually
is?
D
A
D
D
And
then
you
have
your
your
your
layer,
which
I
call
the
magic
layer
of
privacy
and
and
speed
in
the
parlance
of
of
of
web3,
it's
called
a
layer
two
and
what
above
it
is
a
layer
three
and
underneath
it,
and
that's
why
it's
really
important
to
use
public
blockchains,
because
this
this
magic
layer
of
processing
in
in
speed
where
all
the
zero
knowledge
magic
happens,
is
actually
inheriting
the
security
properties
of
the
public
blockchain.
If
you're
doing
it
right,
if
you
don't,
then
ER,
that's
really
bad.
D
So,
but
I
can
do
all
the
wonderful
things
of
of
cryptography
and
I,
don't
have
to
to.
You
know:
do
everything
on
a
blockchain,
because
that's
not
what
A
blockchain
is
for
right.
It's
like
I!
You
know
it's
like
if
everybody's
actually
wants
to
be
interested
in
how
why
we
can
actually
verify
their
knowledge
proofs
on
ethereum,
it's
a
very
fascinating
story
about
zcash
and
and
casino
and
vitalik
and
so
forth.
I
can
tell
that
at
one
point
in
time,
but
really
important.
D
What
is
your
knowledge
right
and
the
easiest
example
is:
what's
called
alibaba's
cave
right,
alibaba's
cave
just
says:
it's
like
it's
like
you
know,
I
tell
samrat,
hey,
I,
know
the
password
to
alibaba's,
cave
and
Sarah
goes
well,
prove
it
like.
Okay,
so
I,
you
know
and
and
alibaba's
Cave
hasn't
hasn't,
has
an
entrance
at
an
exit
right.
So
only
you
can
only
come
out
the
exit
right,
if
you,
if
you
know,
if
you
know
the
the
the
the
the
password
to
get
in
the
entrance,
so
what
I?
D
D
D
Your
bank
account
balance,
but
now
you're
you're
you're
proliferating,
all
of
your
private
private
private
data
out
into
organizations
that
have
absolutely
shitty
controls
right.
So
it's
like
it's
like
you.
If
you
work
with
a
lender,
you
know
a
little
bit
about
the
industry.
You
know
it's
terrible
right.
It's
like
it's
like
forget
about
it.
So
what?
If
you
could
prove
to
A
lender
that
yes
I
have
over
a
hundred
thousand
dollars
in
my
bank
account
and
is
there
a
knowledge
proof
can
actually
do
that
they
can
say.
D
G
D
Actually,
there
are
with
imaginary
prime
prime
field,
so
it's
two-dimensional
and
I'm
mapping
one
elliptic
curve
to
the
other
right.
So
there's
there's
there
there's
a
lot
of
Fancy
Fancy
Fancy
cryptography
going
on,
but
basically
what
I'm,
what
I'm?
What
I'm
generating
is
a
proof
right.
All
of
that
that
my
balance
is
over
a
hundred
thousand
dollars
and
it's
I
can
I
can,
if
it's
that
can
be
proven
right
with
in
code
and
we'll
see
that
in
one
second,
that
we
that
does
their
knowledge
proof.
D
That
means
I
can
an
honest
proverb
and
can
prove
to
an
honest
verifier.
The
statement
and
soundness
right,
that's
the
second
and
that's
really
hard-
is
that
a
a
a
dishonest
proverb
cannot
prove
that
statement
to
an
honest
verifier,
except
for
some
minor
small
probability
right
and
then
this
our
knowledge
part
comes
in,
is
that
I
can
I
can
have
a
I
have
a
perfectly
hiding
characteristic
of
my
cryptographic.
D
D
A
I,
actually,
this
is
funny.
I
played
Battleship
this
past
weekend
and
I
was
accusing
my
boyfriend
of
cheating
and
he
was
like
we're
literally
like
at
home
playing
Battleship
like
nerds.
Really,
you
think
I'm,
cheating
and
I'm
like
prove
it,
but
of
course
so
I'm
excited
to
see
how
this
works
so
carry
on.
That's.
D
H
D
H
H
H
Understands
that,
when
you're
playing
Battleship,
you
don't
want
your
opponent
to
see
your
your
board
state.
So
once
you've
gone
through
the
emotions
of
obscuring
board
state
in
a
circuit,
it
becomes
a
lot
easier
for
you
to
understand
how
you
can
kind
of
take
your
knowledge
circuits
and
repurpose
them
for
more
practical
use
cases.
H
F
D
A
G
A
H
H
So
in
zero
knowledge,
what
we
do
is
we
take
in
five
different
ship
placements
and
then
compute.
Basically,
according
to
you
know
some
hard-coded
logic
how
we
place
these
boards
or
these
ships
down
on
a
100x
there.
We
go
100x100
board.
Let's
actually
go
look
at
this,
so
there
should
be
open
games
here
again.
Polygon
mobile
is
not
cooperating
right
now,
so
we'll
at
least
be
able
to
show
how
it
generates
a
proof
and
we
might
be
able
to
pop
open
the
console
and
see,
but.
H
H
If
it's
going
vertical
and
then
it
computes
it
serializes
this
all
into
a
single
number,
where
all
the
ones
that
are
assigned
are
ones
all
the
ones
aren't
that
aren't
are
zeros
and
it
hashes
that
number
and
then
that
number
is
put
on
chain
as
basically
so.
If
I
confirm
this,
it's
gonna
yeah
RPC
well
missing
tree
node
now,
so
it's
changing
yeah,
there's
something
going
on
with
it.
But
if
we
open,
maybe
it'll.
H
H
So
the
third
already
film
injected
into
a
metamask
transaction,
where
it
anchors
that
commitment
and
then
the
smart
contract
injects
that
commitment
in
each
shot
proof
and
basically
constrains
that
you're
you're,
checking
that
when
you're
making
a
shot,
it's
against
the
board
commitment
that
you
you
attested
to
in
that
first
shot
so
you're
able
to
operate
trustlessly
on
the
board
State
without
ever
having
to
reveal
the
board
State,
which
allows
adversarial
parties
to
coordinate.
So
this
is
done
in
circum
and.
H
So
we
will
be
like
kind
of
changing
this.
Instead
of
battlezips.com
it'll
be
like
circom.battleships.com
Halo,
2.,
battlezips.com,
noir.battlesnips.com
kind
of
showing
off
all
the
different
ways
that
these
different
proving
systems
are
used
to
accomplish
a
very
simple
mechanism
of
obscuring
information
from
adversarial
parties
in
a
decentralized
way.
So
yeah.
A
This
is
so
cool
I'm,
not
super
technical,
so
I
don't
understand
all
the
technical
things
that
you
brought
up,
but
in
general,
like
this
idea
of
being
able
to
I
mean
zero.
Knowledge
is
amazing,
and
it's
cool
to
see
this
in
action
when
you're
sharing
your
screen,
some
of
the
kind
of
behind
the
scenes
with
the
coding
and
stuff
that's
interesting,
I
was
wondering
if
well
any
other
comments
or
questions
we
want
to
get
into
about
battle
Zips
before
we
move
on
to
other
examples,
I'm.
C
G
You
know
what
I
I
think
this
is
a
good
segue
to
the
Noir
implementation.
I,
actually
just
got
done,
writing
the
circuits
for
that
and
we're
going
to
be
shipping
the
front
end
for
that
within
the
next
few
days.
But
what
Noir
basically
is
is
it's
another
domain
specific
language
for
writing.
Zk
proofs
battle,
Zips
V1,
was
in
cercom
and
you
know
the
real.
In
order
for
this
to
be
developer
friendly
or
really,
you
know
this
goes
for
anything
in
life.
G
In
order
for
something
to
be
usable,
you
have
to
reduce
complexity
and
when
it
comes
to
zero
knowledge
cryptography,
it's
very
counter-intuitive
at
first.
You
know
everything
is
translated
into
an
arithmetic
circuit,
and
that
concept
is
very,
you
know
it's
not
friendly
to
the
public,
but
it's
even
very
developer
and
friendly.
G
So
what
Noir
basically
aims
to
do
is
really
abstract
away
from
that
and,
for
example,
they
want
to
make
it
so
a
developer
can
come
in
without
needing
to
use
the
crypto
photography,
part
of
their
brain
and
really
just
you
know,
brings
a
software
developer,
be
able
to
write
proofs
with
these.
So
it
really
builds
Upon
A
lot
of
the
past
dsls.
It
allows
a
lot
more
abstraction,
so
you
can
actually
use
if
statements
in
it,
unlike
certcom,
and
it's
really
easy
to
use.
G
I
will
say,
though,
right
now
in
the
early
stages,
there's
a
few
Growing
Pains.
For
instance,
they
have
a
typescript
library
and
also
a
command
line
tool
set
for
compiling
the
waterproofs
and,
unfortunately,
the
command
line
tool
set.
There's
a
bug
with
it,
so
I
had
to
switch
to
their
typescript
compiler
and
ended
up
having
to
rewrite
the
entire
turkey
without
a
stack
tree
errors
that
are
produced.
So
that
was
a
bit
painful.
G
There's
also
not
logging
yet,
but
you
know
this
is
just
a
really
promising
project
overall,
because
when
they
actually
get
to
the
point
where
this
reaches
mainstream
adoption
and
they've
really
worked
out.
A
lot
of
the
bugs
and
Kinks
with
it
I
think
this
is
gonna,
be
you
know
one
of
the
most
powerful
tools
going
forward
for
writing.
Zk
proofs.
G
C
G
D
Where
there's
there
there
are,
there
are
different
types
of
approaches
that
allow
you
to
do
trade-offs
right.
So
you
can
you
and
the
trade-offs
are
whether
you
want
to
have
a
proof
generated
fast
and
the
verification
of
the
proof
is
done
much
slower
or
if
you
want
to
have,
if
you're,
if
you're,
okay
to
to
generate
it,
takes
a
little
time
more
time
to
generate
the
proof,
but
the
verification
is
really
fast.
So
it's
it's
and
and
those
are
different
types
of
prover
systems.
D
We
call
proverb
prover
systems
that
just
work
with
different
cryptographic,
assumptions
and
techniques
and
like
with
everything
in
life,
it's
a
trade-off
right.
It's
like
it's,
like
you
know,
having
your
cake
and
eat
it
is
is,
is
typically
makes
you
fat.
So
it's
like
there's,
there's
no
two
way
around
it.
So
if
you,
if
you
don't
want
to
get
fat
but
still
want
to
have
the
cake
you,
you
need
to
eat
less
of
the
cake
right.
So
it's
it's
it's.
So
this
is
exactly
the
same
as
as
with
with
Azure
knowledge.
D
Proofs
and
Noir
is
a
great
example
of
a
domain
specific
language.
There
are
others,
there's
like
Cairo
from
like
Stark,
where
they're
doing
that
are
just
focused
on
on
the
case
Starks
versus
CK
snarks
again,
those
are
those
are
different
types
of
types
of
cryptographic
approaches,
so
different
type
of
languages.
You
have
zinc
and
then
you
have
good
old
solidity,
because
now
we
also
have
systems
that
can
take
solidity
code
and
generate
zero
knowledge.
Proofs,
bundles
out
of
that
that
are
then
wrapped
into
one
zero
knowledge.
D
Proof
that
is
actually
then
can
be
verified
on
chain
and
I.
Just
want
to
say
really
one
thing:
that's
really
important.
The
fact
that
it's
on
chain
and
verification
is
on
chain
is
absolutely
critical,
because
that
allows
anyone
anywhere
at
any
time
to
verify
a
statement.
So
when
you're
playing
battleship
in
a
tournament,
for
example,
if
just
Dak
and
Ian
play
it
right,
you
know
they.
They
don't
need
the
chain
for
that.
But
if
I
play
with
Jack
and
Ian
in
a
in
a
three-way
tournament
and
Jack
says
well,
I
won
against
Ian.
D
It's
like
really.
This
is
like.
Oh
I,
didn't
see
that
right.
So
then
Jack
can
say.
Well,
here's
you
know
he.
Here's
the
here's,
the
button,
click
on
that
verify
game
boom.
Yes,
I
can
actually
verify
on
chain
that
Jack
beat
Ian
fan
square
right,
so
it's
really
important
once
you
have
more
than
two
parties
start
to
coordinate
and
that's
again,
what's
what
Baseline
is
about?
D
That's
why
Battleship
was
developed
within
the
Baseline
Community,
because
it's
a
it's
a
simple
intuitive
example
of
multi-party
coordination
under
under
zero
zero
knowledge
that
that's
what
I
just
wanted
to
say.
It's
like
this
is
the
this
is
you
can
verify
these
proofs
on
chain,
because
some
people
were
kind
enough
back
in
2017
to
write
all
these
nice
pre-compiles
in
in
that
allow
you
to
do
cryptographic
operations
Unchained.
D
A
To
solve
a
lot
a
lot
of
different
issues,
one
in
particular
people
like
me
and
my
boyfriend-
that
fight
over
like
stupid
things
like
you
know,
games,
but
also
like
proving
it
to
people
who
won
like
I
love
that
this
is
something
that
is
like
when
we
get
into
the
technical
stuff.
People
like
me
are
kind
of
like
okay,
but
then,
when
we
bring
it
back
out,
like
you
just
did
and
start
talking
about
how
this
can
really
impact
our
world.
A
It's
just
so
fascinating
and
I
was
wondering
if
we
could
talk
a
little
bit
about
some
real
life
examples
and
use
cases,
we've
talked
a
little
about
the
theoretical
games.
What
else
are
we
going
to
be
seeing
or
or
is
already
happening
with
zero
knowledge
in
terms
of
How
It's,
shifting
our
current
world
that
people
that
maybe
don't
even
need
to
know
what
zero
knowledge
is,
will
be
seeing
as
it
like
creeps
up
into
their
life
in
different
ways?
Anybody
have
any
examples
or
things
that
are.
D
Yeah,
so
there
are
two
examples,
one
sort
of
like
super
intuitive
and
one
is
sort
of
like
industry
specific,
but
it's
like
very,
very
real
because
it
happens
every
single
day,
every
single
time
you
most
people,
don't
see
it,
but
it
it
happens.
So
number
one
is,
is
you
know
everybody
loves,
can
only
calendly
right,
but
you
always
see
whether
whether
you
know
you
always
oh
I.
Have
all
these
open
spots
right.
It's
like
it's
like
so
I'm,
revealing
stuff
about
myself
right.
D
So
really
what
you
want
to
do
is
like
hey.
You
know
it's
like
like
it's
like.
It's
like
it's
like
I
want
bot.
Is
this
available
right
without
revealing
anything
about
about
that
and
it's
like?
Is
it
really
available?
No
I
mean
really
really
available
right
and
and
I
I
as
the
as
the
the
one
who
has
the
calendar.
Don't
have
to
do
anything
about
it
right.
D
So
that
is
another
example
of
a
baseline
grant
that
we
that
we
just
recently
did,
which
is
calendar
sharing
under
zero
knowledge,
which
allows
you
to
book
an
open
appointment
without
seeing
anything
about
the
other
person's
calendar,
which
is
like
really
cool.
Imagine,
like
all
your
you
know.
All
your
colleagues
see
all
your
open
spots
on
your
calendar.
What
happens
it
gets
booked
up
all
the
times
like?
No?
No,
no!
D
It's
the
best
thing
since
since
sliced
bread
for
for
meetings,
so
that's
one,
the
other
one
is
is
which
is
actually
we
could
actually
demo
sort
of
like
the
the
the
the
nuts
and
bold
of
it
is
what
is
called
a
car
dealer
floor
plan
audits.
Why
is
that
super
important?
So
let
me
so
banks
give
dealers
loan.
So
if
you
don't
know,
when
you
buy
a
car,
the
dealer
actually
owns
the
car,
not
the
manufacturer.
The
dealer
owns
the
car
right.
D
They
actually
have
to
buy
it
from
the
manufacturer
because
the
manufacturer
is
like
I,
don't
want
to
have
to
to
worry
about
whether
this
stuff
gets
sold
while
I
own
it
right
so,
and
the
dealer
obviously
doesn't
have
the
cash
on
hand.
So
he
goes
to
a
bank
to
get
a
loan
with
a
collateral
being
the
car
right.
But
dealers
I
mean,
if
you've
gone
to
like
used
car
dealerships
and
like
right,
there's
there's
there's
the
running
joke
of
the
CD
You
Know
Carl
salesman
right!
That's!
D
Actually,
that's
actually
really
true
and
they're
actually
cheating
a
lot.
How
do
they
cheat?
They
sell
a
cop,
sell
a
car
and
they
move
it
off
a
lot
as
soon
as
they
as
as
the
car
is
off.
The
bot
doesn't
have
to
pay
in
car
loan
anymore,
but
the
owner,
the
new
owner,
can
return
the
car
within
like
two
weeks,
depending
on
which
state
you're
in
like
in
California.
You
can
tweaks
boom
right
return,
it
right.
So
the
dealer
can
still
Market
did
not
Mark.
D
You
know
it's
like
I,
so
he
can
still
try
to
sell
the
car
that
has
quote-unquote
sold
and
is
not
paying
interest
on
anymore.
So
the
the
dealer
is
cheating
the
bank
just
to
say.
Jpmorgan
Chase
has
a
trillion
dollars
worth
of
car
loans
on
their
on
their
on
their
own
sheet,
just
to
say
just
to
give
give
give
sort
of
like
a
rough
order
of
magnitude
what
a
single
bank.
D
So
this
is
a
very,
very,
very,
very,
very,
very
large
field
with
a
lot
of
problems
right,
everybody
and
their
cousin
or
the
lenders
are
sending
people
in
to
count
right.
It
takes
a
long
time,
it's
very
expensive,
so
what
a
company
called
zootopia
is
doing.
It's
it's
cooperating
with
a
a
location,
Beacon
provider
that
is
attached
to
irremovably
attached
to
the
car
key
and
that
sends
location
information
right.
D
It
doesn't
take
forever
and
it
it
comes
out
of
out
of
out
of
one
out
of
one
hand,
so
that
is
saving
well
and
there's
a
lot
of
money
and
from
a
people
point
of
view
from
a
timing
point
of
view,
but
also
because
now
they
can
have
better
loan
conditions
it
it
will.
It
reduces
fraud
and
therefore
it
reduces
cost
for
the
honest
cardiers.
So
that-
and
you
know
we're
talking
about
hundreds
of
millions
of
of
dollars.
A
F
F
I
was
going
to
say,
I
commonly
tell
people
that
I
like
to
where
you're
you
think
of
the
zero
knowledge
proof,
as
like
a
fingerprint
of
the
data
set
that
it's
referencing
and
you
know
when
you're
in
a
multi-party
environment.
You're,
not
you
can't
share
the
data
or
you
won't
share
the
data.
You're
basically
matching
up
the
Fingerprints
of
the
data
and
where
are
they
where
they
match
them,
where
they
misaligned
so
yeah?
That's
one.
One
kind
of
way
to
you
know
really
articulate
zero
knowledge
proofs.
F
A
lot
of
us
that
have
been
in
blockchain
kind
of
are
really
familiar
about
the
rabbit
holes
that
we
can
get
LED
down.
When
you
start
to
really
start
to
go
deep,
you
know
peeling
away
the
first
two
layers
of
the
technology.
You
can
really
get
yourself
into
a
chat.
Your
way
into
a
cul-de-sac,
as
I
would
say
with
a
lot
of
this,
and
so
you
know
with
zero
knowledge,
proofs,
I
commonly
tell
people
I
was
like
you
know
certain
elements.
F
You
know
they
don't
have
to
be
as
complex
or
just
esoteric
as
everybody
thinks
he
is
I
mean
it's
a
fairly
easy
concept
to
where
it's
like
I
can't
show
you
my
data,
but
I
can
show
you
the
fingerprint
you
get
the
fingerprint.
Let's
compare
our
fingerprints
so,
and
that
is
is
enough
for
most
operational
environments,
but
you
know
one
thing:
I
do
want
to
kind
of
emphasize.
Is
you
know
when
it
comes
to
zero
knowledge
proofs?
F
You
have
three
elements
that
are
really
being
that
are
going
to
be
comprising
any.
You
know
complete,
proper
zero
knowledge
proof.
The
first
one
is
going
to
be
completeness.
You've
got
to
have
the
entire
pieces
of
the
puzzle.
You
cannot
withhold
something
because
the
proof
will
not
the
the
proof
will
fail.
So
that's
the
first.
It's
going
to
be
complete.
Second
of
all,
it's
got
to
be
sound.
F
You
know
don't
try
and
prove
that
the
grass
is
blue
and
the
sky
is
green,
because
that
is
not
sound
and
stuff,
and
the
third
element
is
zero
knowledge
that,
in
this
exchange,
you
have
not
gained
any
new
knowledge
whatsoever
other
than
you
are
either
consistent
or
you
are
not.
You
are
matched
up
or
you
are
not
so
to
you
largely
the
non-technical
audience.
F
B
A
A
That
has
always
been
something.
That's
been
really
creepy
to
me
that
there's
a
random
person
you're
just
sharing
it
and
then
to
hear
like,
oh,
maybe
there'll,
be
other
options.
That's
what
got
me
like
well,
I
would
love
not
that
I
get
pulled
over
all
the
time.
I'm,
not
like
a
you
know,
crazy
race,
car
driver
or
something
like
that,
but
assuming
that
maybe
maybe
I
am
I,
wouldn't
like
my
information
to
be
spread
all
the
way
around
so
yeah.
There's
all
these
little
things.
D
F
I'm
sure
Justice
likely
Jessica
you're,
probably
going
to
you,
know
a
lot
of
clubs
and
stuff
and
you've
got
to
show
your
ID
to
get
in
there
and
the
bouncers.
Looking
at
it
going
hey
Jessica
we
live,
we
live
we're
from
the
same
Hometown
and
you're
like
okay,
I,
didn't
tell
you
this
and
I.
Don't
want
you.
Knowing
this,
you
just
need
to
know
am
I
over
21.
That's.
A
It
yeah
20
years
ago.
Yes,
now,
I
can't
remember
the
last
time
I
showed
my
ID
to
a
bouncer,
but
yes,
but
in
in
like
the
idea
behind
that
is
wonderful
and
like
being
able
to
prove
that
you're
able
to
work
somewhere
without
giving
your
even
your
employers.
All
of
your
information
I
mean
it's.
It's
pretty
fascinating.
It's
cool
like
working
in
a
space
where
you
don't
have
to
do
that
everywhere,
like
there
are
other
options
and
people
think
that
privacy
is
normal
and
in
order
to
get
a.
F
A
F
E
F
A
lot
of
those
proofs
to
where
it's
like
you
don't
need
to
know
all
of
the
you
know
different
data,
because
if
you
look
at
all
the
things
you
know
even
on
your
driver's
license,
it's
got
your
own
address
your
date
of
birth,
your
height,
your
weight,
your
eye,
color,
if
you're
an
organ
donor,
all
this
stuff.
None
of
this
is
relevant
to
the
exchange
that
you
would
have
to
have
access
to
an
age-restricted
environment
such
as
a
club.
F
F
E
I
was
going
to
mention
the
other
end
as
well.
So
aside
from
like
consumer,
like
user
use
cases
that
we
would
all
be
compelled
to
there's
the
huge
huge
bucket
of
Enterprise
use
cases
as
well.
Our
technical
steering
committee
from
Baseline
just
published
a
Blog
called
digital
business
at
across
roads,
backed
by
a
ton
of
stats,
so
feel
free
to
check
that
out.
E
But
it's
all
about
the
need
for
multiple
parties
to
coordinate
information
in
businesses
where
Global
Supply
Chain
is
a
very
obvious
example,
but
really
any
situation
where
a
company
would
benefit
from
exchanging
data,
but
not
even
that
data.
That's
not
what
it's
important.
They
don't
need
the
raw
data
or
anything
private.
They
just
need
certain
attributes
or
outputs
of
calculations
of
that
data,
and
then
they
can
do
all
sorts
of
undiscovered
capabilities
for
their
consumers
for
their
clients.
E
F
G
B
B
B
Is
so
fragile
because
of
the
connection
issues
but
I'm
just
going
to
say,
there's
two
points
here,
so
one
is
trade
line
shut
down
very
recently.
It
was
because
of
lack
of
the
right
data,
the
right
parties
sharing
the
right
amount
of
data
at
the
right
time
and
that's
what
they
said.
That's
the
sole
reason
why
they
have
to
shut
down
and
and
and
take
it
offline.
B
In
fact,
that's
the
third
Consortium
third
search
Consortium
to
go
down
so
so
that
is
one
and
the
second
thing
you
know
the
flip
side
is
also
you
know
the
cyber
security
aspect.
So
imagine
because
you're
not
exchanging
so
many
scenes.
You
know
so
many
pieces
of
information
you're,
also
reducing
your
attack,
surface
you're,
also
reducing
the
aspects
which
you
need
to
secure.
So
in
a
way
it
makes
this
whole
system
lightweight
and
also
later
on
the
compliance
side.
B
So
there's
a
there's
a
whole
lot
of
benefits
which
come
using
this
and
you
know
one
of
the
key
examples
which
I
give
to
people.
One
is
a
club
example
which
Mark
told
about,
and
the
other
one
is
Elon
musk's
jet.
So
imagine
somebody
is
tracking
the
Jet
and
they
know
that
this
is
owned
by
Elon,
Musk
and
and
the
guy
eventually
had
to
pay
pay
somebody
to
not
track
him
and
LV
had
to
sell
their
Jet
right.
B
C
F
Well,
actually,
if
you
think
of
you
know
one,
you
know
use
case,
or
at
least
industry
that
has
you
know
an
a
lot
of
participants
that
all
have
to
you
know
have
their
their
data.
You
know
zealously
guarded,
but
at
the
same
time
the
entire
project
needs
to
be
kind
of
kept
on
the
down
low
anyway
is
like
clinical
trials,
or
you
know,
drug
vaccines
or
vaccines.
F
Biologics
I
mean
any
any
new
drugs,
because
you've
got
to
have
all
of
these
actual
participants
and
you
have
to
monitor
their
adherence.
Are
they
taking
the
the
investigative
medication
at
the
proper
time
in
the
proper
dosage?
And
you
know
in
the
proper
method,
all
of
that
and
you've
got
to
Aggregate
and
manage
all
of
this
data.
That
is
all
you
know,
subject
to
HIPAA
and
Phi
data
privacy
laws.
But
at
the
same
time
you
don't
want
your
competitors.
F
You
know
catching
wind
of
what
you're
doing
too,
so
you
really
have
to
kind
of
have
that
veil
of
secrecy
as
maintained
as
much
as
possible,
and
yes,
people
can
pierce
it,
but
you
just
want
to
you
know,
make
to
the
point
to
where
you're
not
generating
any
attention
or
giving
any
type
of
signals
and
zero
knowledge
is
an
excellent
way
of
doing
that.
So
any
process
environment
to
where
privacy
and
security
or
tat
amount
is
is
just
right
for
zero
knowledge,
Computing
and
zero
knowledge.
Method
of
you
know
collaborating.
F
And
a
big
thing
that
I'm
seeing
right
now
is
you
know
people
sitting
here,
starting
to
empty,
emphasize
cryptography
over
encryption.
You
know
encryption
basically
is
going
to
have
an
inherent
flaw.
There's
going
to
be
a
keyhole,
it's
meant
to
be
unlocked
by
someone
cryptography.
We
removed
that
entire
element,
so
cryptography.
F
F
A
Yeah
I
was
just
gonna
say
so
there
I
feel
like
we
could
go
on
and
on
forever
about
this,
which
we
all
want
to
and
we're
kind
of
going
to,
because
we're
going
to
be
back
to
dual
streaming
in
two
weeks.
So
not
next
Wednesday
Baseline,
you
guys,
will
have
your
regular
show
and
then
the
week
after
that,
C4
will
be
back
I'm,
not
sure
it'll,
be
me
and
I,
don't
know
if
it'll
be
Josh
or
Cheyenne
or
somebody
else
from
our
committee
we'll
see.
A
But
we'll
have
somebody
else
and
we'll
talk
more
in
depth
about
different
examples.
And
if
you
have
questions
that
you
that
have
come
up
during
this
stream,
if
you're
a
viewer
or
if
you're,
an
attendee
put
them
in
the
chat
comments
on
any
of
the
socials
and
we'll
take
a
look
before
we
talk
next
and
we'll
make
sure
that
we
answer
them
so
that
if
there's
things
that
are
unclear
or
you're
like
okay,
I
would
want
some
examples
on
this
or
whatever
it
is.
A
B
H
D
B
Yeah,
we're
gonna
be
we're
going
to
be
seeing
everybody
on
the
Baseline
show
next
week,
which
is
our
general
assembly
and
the
next
in
the
week
following
the
21st,
we're
gonna
be
pairing
up
with
C4
again
and
continue
the
chat
on
zkp's.
Thank
you
once
again,
who
all
tuned
in
do
follow
us
on
Twitter
and
YouTube
and
yeah.
That's
it
from
our
site
today.
That's
us
wrapping
up
the
Baseline
show.
Thank
you
very
much.