►
Description
While at Devcon3, we got to speak with Dr. Christian Reitwiessner regarding his work as the Solidity Team Lead, on Ethereum C++ Implementation as well as zk-SNARKs. We learned about his unlikely introduction to Ethereum and his thoughts on a safe and stable network.
A
A
That
was
way
back
in
was
a
2015
in
the
summer
of
2015.
Firstly,
after
the
pre-sale,
it's
quite
interesting
story,
because
I
yeah
I
was
yeah
I
mean
we
probably
all
know
this.
This
meetup
software
now
and
I
was
just
looking
for
interesting
meetups
in
the
area
and
it
based
on
my
profile,
is
such
a
sturdy
theorem
to
me
the
locally
to
meet
up
in
Berlin
and
I.
Read
the
description
and
I
was
immediately.
Hooked
basically
went
there
and
asked
for
a
job.
A
There
are
two
big
chunks
of
work
currently
I
mean,
apart
from
adding
tiny
new
features,
fixing
packs
and
also
removing
some
tiny
features
that
turn
out
to
be
unsafe.
The
two
big
things
are
yeah.
We
were
interested
introducing
a
new
intermediate
language
called
Yulia
that
will
make
the
compiler
more
flexible
because
it
will
be
able
to
target
multiple
backends.
So
the
EVM
the
card
EVM,
we
have
the
EVM
1.5,
the
e
webassembly
back-end.
A
It
was
allow
yeah,
better
optimization
steps,
because
currently
all
optimization
is
done
on
the
on
the
bytecode
on
opcodes
directly,
which
requires
a
quite
complicated
analysis
phase
to
find
out
what
can
actually
be
done
and
if
we
do
it
on
the
intermediate
language,
then
yeah
loops
are
obvious
because
they
are
still
there,
for
example,
variables
and
so
on
mainly
finding
people
to
help
with
some
idioms
we
have.
We
have
yeah
lots
of
open
issues,
lots
lots
of
many
plans.
A
It
really
takes
much
longer
than
you
think
to
to
complete
stuff.
You
designed
the
second
thing
is
adding
a
formal
verification
module
directly
into
the
compiler,
which,
basically
it
just
runs
in
the
background
and
users.
Don't
really
have
to
so
programmers
don't
need
to
know
much
about
it.
They
just
get
additional
error
messages
from
the
compiler.
They
can
react
upon
that.
A
A
Have
you
compare
a
positive
number
and
check
that
is
not
negative,
which
doesn't
make
sense
and
they've
wants
you
about
that,
but,
with
this
form
verification
tool
in
solidity
it
can
yeah
I
hope
it
can
handle
more
or
less
arbitrarily
complex
situations,
but
we'll
have
to
see
how
well
that
scales
with
byzantium.
We
added
these
freaking
paths
that
kind
of
enable
the
use
of
Sikhi
snarks
in
aetherium
and
people
keep
on
asking
hey.
How
can
I
use
it,
and
what
do
you
have
to
do?
I
have
this
project
here.
A
Is
that
possible,
but
and
jakob
is
creating
a
toolkit
that
includes
a
programming
language
and
you
can
write
software
in
that
programming,
language
and
it'll,
compile
it
into
a
circuit
that
can
be
used
with
the
case-knives
yeah.
I'm
it's
again
another
programming
language,
but
that's
required
because
TK
stocks
have
very
specific
requirements
and
at
the
current
time,
at
the
current
phase
of
research,
they
are
even
more
constraint
and
block
chains
are
but
yeah
in
principle.
They
were
powerful,
so
we'll
again
we'll
have
to
see
how
that
evolves.
A
Yeah
most
of
all,
I'm
really
excited
about
all
the
people
being
here.
So
in
this
space,
when
people
get
excited
about
blockchain
and
start
a
project
and
kind
of
get
into
the
space
and
then
they're
just
stuck
so
then
they'll
leave
so
because
it's
so
exciting
and
such
a
nice
place
and
yeah
each
Def
Con.
You
meet
more
and
more
people,
and
it's
just
such
an
amazing
community
and
we
don't
do
kind
of
marketing
or
go
into
the
streets
because,
hey
you
want
to
help
facility,
it's
just.
A
A
It's
it's
kind
of
a
test
net,
but
it's
tied
to
the
main
nature,
which
is
really
exciting
and
at
the
point
where
it
stabilizes
yeah,
we
say:
okay,
that's
that's
the
sharding
blockchain
we
want
to
use
yeah
I
mean
getting
say
the
incentive
structure
right,
I'm,
the
thrifty,
the
asynchronous
communication
between
the
nodes
will
be
an
issue.
Perhaps
also
I
mean
this.
This
switch
from
a
test
net
to
a
stable
net
might
be
challenging
because
a
network
only
proves
itself
stable
or
safe.
When
many
people
use
it.