►
From YouTube: A new zero-knowledge game - zk nonogram
Description
It's a nonogram game! You can play here: https://dcspark.github.io/zkapp-nonogram/
we also MIT open-sourced the code if you want to look at it here: https://github.com/dcSpark/zkapp-nonogram
Twitter: https://twitter.com/dcspark_io
A
Hey
everyone
Sebastian
from
DC's
bark
here
and
I-
wanted
to
make
a
video
about
a
new
project
we
just
released,
which
is
a
nonogram
puzzle,
written
entirely
with
zero
knowledge
circuit,
so
kind
of
interesting
project
and
I
want
to
really
talk
about.
You
know
what
is
a
nonogram
puzzle.
What
is
this
exactly
and
then
how
we
did
it
to
technical
technology,
and
this
would
be
fairly
high
level.
Then
I'll
talk
about
what
this
means
for
Cardinal,
algoran
milcomita
and
these
other
ecosystems
where
ecosystems
were
part
of,
and
then
lastly,
I
will
talk
about.
A
You
know
future
plans
for
this.
So
first,
what
is
the
nonogram
puzzle?
For
those
who
don't
know
a
nonogram
puzzle
is
a
way
to
encode
a
sequence
solution
with
rows
and
columns,
and
so
basically
there's
a
secret
picture
encoded
here
and
you
have
to
try
and
figure
out
what
the
secret
picture
is.
So,
for
example,
you
can
see
up
here
we
have
one
orange
one
orange
one
blue
and
on
the
other
side
over
here
we
have
two
orange
one
blue
one
orange.
So
this
gives
you
a
hint
about
what
is
contained
inside
the
specific
column.
A
You
also
have
row
hints
that
tell
you
what
contained
inside
the
specific
row
so,
for
example,
up
here,
we
know
that
this
solution
is
is
not
valid,
because
we
don't
have
a
2
up
here.
We
have
a
one
and
a
one,
so
you
have
a
one,
a
one
and
then
one
blue.
So
this
is
a
potential
valid
solution.
We
don't
know
if
the
solution
is
is
actually
this
or
if
the
blue
is
down
here,
for
example,
or
maybe
the
Orange
is
over
here,
so
you
need
to
figure
out.
A
A
The
way
it
happens
is
that
once
you've
completed
this
program,
there'll
be
a
submits
button
that
appears
at
the
top,
and
once
you
press
the
submit
button,
It'll
ask
you
to
create
a
transaction
and
it'll
submit
a
proof
that
you
found
the
solution
on
chain.
So
how
do
we
do
this?
We
created
the
CK
app
nodegram
project
that
uses
snarky
JS,
which
is
a
JavaScript
library
for
writing.
Zero
node
circuits.
A
So
if
you
go
into
the
contracts
repository
and
don't
worry,
I'll
I
won't
go
into
the
full
detail,
but
just
I
want
to
give
you
an
idea
of
what
this
looks
like
and
you
can
see
here.
We
have
regular
JavaScript
code,
but
it's
not
quite
the
JavaScript
regular
code
because
you
have
to
use
circuits.ifs
instead
of
regular
if
condition
conditions.
A
So
if
you
have
a
state,
a
state,
B
and
state
C,
instead
of
having
three
different
blocks
in
your
blockchain,
you
can
instead
create
a
proof
that
there's
a
valid
transition
from
a
block
a
to
Block
C
and
then
use
this
compressor
representation
as
the
only
Block
in
the
blockchain
which
allows
me
to
have
a
fixed
size.
The
blockchain
representation
never
really
grows.
It's
just
an
evolving
recursive
proof
of
the
state
of
the
system,
and
the
really
interesting
thing
about
this
is
that
it
makes
it
as
a
interesting
Target
for
compatibility
with
other
blockchains.
A
So,
for
example,
there's
a
group
called
The
nil,
Foundation
that
wrote
an
evm
verifier
for
the
Mina
blockchain
State,
and
so
that
means
that
you
can
reuse
the
code
from
Neil
foundation,
for
example,
to
have
Mina
chain
State,
go
to
milcomida
and
then
have
that
accessible
from
cardano
and
have
accessible
from
algrand
have
that
accessible
from
other
blockchain
ecosystems.
We
might
work
with
in
the
future,
and
so
this
is
really
a
really
interesting
way
to
bring
as
you're,
not
particular
knowledge
cryptography.
A
To
a
lot
of
you
know,
existing
projects
out
there
and
developers
want
to
get
involved,
can
use
JavaScript
for
this
and
get
involved
with
ecosystem
and
start
writing
their
proofs,
and
they
could
be
able
to
use
that
from
you
know,
various
different
blocks
and
ecosystems.
So
I
think
this
is,
you
know,
really
exciting
project
that
has
some
interesting
technology.
They
also
have
a
lot
of
philosophical
overlaps.
So,
as
you
may
know,
there's
multiple
people
at
Mina
that
used
to
work
on
cardano.
A
They
use
Aura
Boris
for
the
proof
of
stake,
consensus
protocol
and
so
there's
a
lot
of
overlap
as
well
from
a
philosophical
point
of
view
which
which
got
us
interested
in
the
project.
Obviously
midnight
is
not
the
only
zero
knowledge
based
blockchain
out
there
there's
a
few
other
projects
that
are
kind
of
trying
to
build
similar
Technologies,
but
we
want,
to
you
know,
get
involved
with
the
medium
project,
deploy
this
and
then
you
know
see
what
opportunities
exist
for
collaboration
for
bringing
you
know.
A
Layer,
3
solutions,
for
example,
to
cardamomina
as
well,
as
you
know,
contribute
to
the
amino
ecosystem
itself.
Now,
obviously,
we
wrote
this
entire.
You
know
smart
contract
and
I
will
have
a
follow-up
video
in
the
future.
That
goes
in
more
detail
about
how
we
wrote
this
contract
and
the
actual
way
we
made
this
all
work
if
you
want
to,
if
you're
a
developer-
and
you
want
to
learn
more,
but
this
is
all
I
want
to
talk
for
now
kind
of
an
exciting.
A
You
know
first
step
first
entry
into
a
new
ecosystem
and
hopefully
we'll
be
able
to
bring
this
really
interesting
technology
to
a
lot
of
different
ecosystems
and
milk
media
cardano,
El
Gran
and
you
know,
help
develop.
You
know:
zero
launch
cryptography
ourselves
with
our
new
zero
knowledge,
cryptography
team
at
DC
spark.
So
thank
you
very
much.