►
From YouTube: IOHK | PMO Project Goguen May 2018 update
Description
In this update, project manager Gerard Moroney talks about the progress in the last month on Project Goguen; the initiative to deliver smart contracts capability to the Cardano platform. Among other achievements, we've launched our testnet where users can experiment with executing smart contracts written in Solidity.
https://testnet.iohkdev.io/goguen/
https://iohk.io/team/gerard-moroney
--
Input Output
See more at: https://iohk.io
Get our latest news updates: https://iohk.io/blog/
Meet the team: https://iohk.io/team/
Learn about our projects: https://iohk.io/projects/cardano/
Read our papers: http://iohk.link/paper-ouroboros
Visit our library: https://iohk.io/research/library/
In the press: https://iohk.io/press/
Work with us: https://iohk.io/careers/
A
A
So,
as
you
know,
Gogan
is
about
delivering
a
smart
contracts
capability
for
the
Cardinal
platform.
As
part
of
that,
we've
been
doing
a
lot
of
very
fundamental
research
on
things
like
side-chains,
accounting
and
multi
currency,
to
allow
a
new
blockchain
to
be
created
for
the
computational
layer,
and
this
is
an
important
architectural
construct
which
will
means
we're
going
to
create
technology
which
is
extensible
and
scalable
going
into
the
future.
A
very
important
part
of
the
third-generation
philosophy
net.
A
For
the
Cardinal
platform,
we
have
Plutus
and
Merlot,
which
are
languages
that
allow
you
to
execute
smart
contracts
and
I
mean
really,
which
is
a
registered
based
virtual
machine
that
allows
different
languages
such
a
solidity
to
be
run
on
the
Cardinal
platform
and
we
finally
have
end-user
an
external
developer
and
integration.
An
end-user
external
developer
is
really
important
because
we're
as
well
creating
smart
contracts
was
thinking
about
the
user
experience
or
that
someone
is
using
the
smart
contracts
at
the
the
end
of
the
day
or
someone
who's
developing
them.
A
That's
very
important
for
us
and
an
integration
is
really
about
bringing
everything
together
into
high-quality
platform
that
not
only
has
technology
but
also
has
a
lot
of
the
supporting
infrastructure
such
as
educational
materials
and
forums.
So
you
can
learn
and
you
can
develop
so,
as
I
said
we
open.
All
this
is,
is
a
computational
layer
fundamentally
and
tools,
training
and
documentation,
and
we
regard
education
as
being
very,
very
important.
A
So
look
at
the
bunch
of
updates.
We've
had
so
we've
competed,
computed,
rattled,
fundamental
research
on
sidechains,
accounting
and
multi
currency.
So
now
we're
going
to
what's
called
formal
methods
where
we
start
defining
prototypes
and
models.
That's
going
to
eventually
be
used
to
develop
out
the
the
code
that
will
create
the
computational
error
for
polluters
in
Merrell,
or
that
the
work
is
progressing
very
well
there
and
we're
developing
out
the
specification
and
the
libraries
that
are
gonna
eventually
form
part
of
the
languages.
A
That
would
be
a
little
to
use
to
make
smart
contracts
for
yearly
or
pleased,
not
pleased
to
announce.
We've
launched
our
first
test
net
was
the
KA
vm
based
on
the
cave
decay
framework
and
we're
preparing
for
the
launch
of
the
ele
test
net.
So
the
KA
vm
is
a
stack
based
machine
that
mimics
all
the
functionality
of
the
theory
of
virtual
machine.
A
But
it's
built
using
formal
semantics
and
the
yelly
is
a
register
based
machine
also
built
using
that
the
game
framework
with
a
lot
of
additional
benefits
and
features
that
are
going
to
really
help
smart
contracts,
developers
to
get
better
performance
and
more
secure
smart
contracts,
end-user
and
external
developers.
So,
for
that
one
we're
starting
a
lot
of
the
analysis
phase
now-
and
this
is
the
right
time
when
a
lot
of
the
kind
of
the
fundamental
technology
has
been
understood
until
the
research
has
been
has
been
nearly
completed.
A
So
we
really
got
to
look
at
what
are
the
right
things?
We
need
to
do
to
provide
educational
materials
to
for
external
developers
and
to
start
thinking
about
how
will
the
end
user
start
to
experience
and
use
smart
contracts
so
as
part
of
our
project
we're
looking
at
different
verticals
and
the
different
up
to
use
cases
that
are
important
in
those
verticals,
so
that
we
make
sure
that
the
languages
we
develop
our
fit
for
purpose.
An
integration
and
an
integration
is
where
we
bring
everything
together.
A
So
we've
agreed
fundamentally
what
the
target
architecture
is
going
to
be.
We've
had
meetings
in
london's
with
our
with
our
senior
technical
people,
and
we
come
up
with
this
agreed
plan
and
we're
we're
also
considering
support
and
education
now
at
this
very
early
stage,
because
we
really
want
to
deliver
something
which
only
functions
technically,
but
it
is
usable
and
maintainable
as
we
go
forward.
A
So
if
you
go
to
the
chestnuts
ice
test
net
at
I/o,
h,
ke
dev,
that
IO
you'll
be
able
to
see
the
KVM
test
nut
and
there's
some
some
guides
there
about
you
getting
started
on
how
to
install
the
software
in
your
desktop,
how
to
perform
some
some
basic
actions
and
there's
some
information
there
about
smart
contracts
as
well.
So
please
feel
free
to
to
go
there
and
if
you've
got
any
questions,
then
just
email,
email,
us
at
chestnut
at
Gogan
at
io
HK
at
IO.
A
You've
also
asked
about
more
information
about
future
projects
and
if
you
go
to
Carla,
no
roadmap
com,
that's
being
updated
on
a
very
regular
basis
and
you
can
find
out
a
lot
of
the
new
and
exciting
things
that
we
have
coming
down.
The
track
give
us
more
about
partnerships
and
we're
very
pleased
to
hear
that
interest.
A
Coming
from
you
and
again,
you
know
in
due
course
we'll
be
announcing
partnerships
we
have
which,
with
different
groups
for
the
test
nets
themselves,
we
work
with
runtime
verification
at
the
University
of
Illinois
and
that's
an
important
partnership
for
us
I'm,
actually
at
the
University
of
Illinois
this
week
to
meet
with
the
team
and
look
at
how
we
will,
as
I
say,
fair
for
the
launch
of
the
early
test
net
and
unfinish
ative
that
we
have
going
on.
You've
also
talked
about
enhancement
of
the
content
on
the
test
nets
eyes.
A
While
you
said
it's
useful
content,
you
want
some
more
information
about
certain
things,
so
we're
in
the
process
of
providing
a
new
sections
to
help
you
to
interact
better
with
our
test
nets
and
have
a
better
experience.
But
this
is
a
continuous
process.
So
the
more
feedback
you
give
us
we'll
the
better
the
content
and
the
site
will
be
and
we're
always
willing
to
listen.
A
So
important
dates.
Finally,
so
28th
of
May
was
the
date
we
launched
the
kab
M
chestnut,
so
you
can
see
the
URL
there
where
you
can
go
to
access
it
if
you're
interested
and
the
end
of
July
2018
is
when
the
yearly
test
met
scheduled
for
release.
So
we're
really
excited
about
that.
So
please
keep
those
in
your
calendar
and
we
look
forward
to
hearing
from
you
about
your
experiences
and
your
interest
and
where
you
think
it's
good
and
where
you
think
maybe
we
can,
we
can
do
better.