►
From YouTube: TokenScript Weekly Meeting 20200730
Description
00:09:10 weiwu: https://community.tokenscript.org/t/cards-name/406
00:12:25 hboon: test
00:12:36 weiwu: https://github.com/AlphaWallet/TokenScript-Examples/pull/122
00:25:38 hboon: ping
00:26:00 weiwu: https://community.tokenscript.org/t/javascript-api-design-for-generating-a-asn-1-data-object/397/5
A
A
A
B
Hey
yes,
hi,
I'm
here,
let's
get
some.
A
A
Yeah
yeah,
it's
good,
let's
wait
for
other
people.
So
how
is
only
holiday.
C
I
was
good,
I
was
in
germany.
C
No,
I
didn't
yeah,
that's
not
really
the
best
time
to
go.
Go
very
far
on
holiday
these
days,
so
yeah.
B
A
I
went
to
bethesda,
which
is
a
small
town,
about
three
hours
away
from
sydney.
Sorry
in
the
family,
we
want
to
go
out,
so
I
have
to
drag
them
and
the
furthest
that
I
can
go
coming
to.
Queensland
queensland
is
roughly
the
size
of
germany,
a
lot
like
less
populated
with
a
lot
of
forest
and
the
desert.
A
C
C
A
Yeah
there
were
no
border
patrol
between
new
south
wales
and
melbourne,
so
they
use
the
drones.
Oh
okay,
yeah,
because
what?
If
somebody
go
through
this
launching
trail.
C
A
C
A
Yeah,
hello,
hello,
james
brown,
hello,
hi,
hi,
hello,
everybody's
mic
is
working,
so
we
have
a
lot
of
topics
that
is,
that
has
stacked
up
in
the
due
to
two
weeks,
not
having
talking
with
weekly
meeting.
A
I
think
I'm
going
to
prioritize
prioritize
what
what
what
work
needed,
like
a
sought
out
to
do
task
to
get
the
email
attestation
a3
project
going
on
and
also
like
to
arrange
a
separate
meeting
between
james
brown
and
boone
and
me
on
searching
out
to
do
items
for
key
management
and
that's
the
two
items
other
than
that.
A
A
E
That
helps
a
lot
with
forming
the
the
item
view
as
well,
because
one
thing
I
noticed
was
that
we
have
to
add
a
add,
a
heuristic
to
work
out
what
the
the
item
view
should
be
called
the
title
of
the
opening.
A
So
basically,
there
are
three
considerations
about
giving
requiring
every
name,
then
that
that
I
have
all
considered
in
this
post.
This
is
just
my
note.
I
think
everybody
should
agree
with
that,
and
yeah
boom
is
okay
with
that
right.
D
A
A
A
A
The
second
decision
that
I
made
is
every
er.
Every
every
card
now
has
a
one
additional
view
called
guide
view
guide
view
is
what
pops
up,
if
you
click
the
question
mark
on
the
upper
right
corner
of
the
card.
A
A
A
A
A
Okay,
good
okay,
so
this
is
a
link
for
the
second
window,
and
this
is
maybe
google
direct
look
at
the
the
look.
This
is
what
combat
produced
a
long
time
ago
and
look
at
the
changes,
which
is
simply
you
get
an
you,
get
a
guide
view
between
cards
inside
card.
You
can
have
a
card
with
guide
view.
D
E
Okay,
so
can
you
go
what
would
happen
if
you
press
the
x
above
the
what
is
c
die?
Have
you
got
a
layout
of
that?
Yes,
but
where
does
the?
Where
does
the
little
question
mark
sit.
E
E
A
It
will
work
on
the
web
too.
If
you
are
going
to
check
out,
then
you
choose
to
use
and
then
the
website
says
check
out
50
discount
with
american
express.
Then
you
might
click
american
express
card
and
the
card
will
say
you
don't
have
american
express
token,
but
you
can
get
help
message
on
what
it
is
about.
A
Creep,
if
it's,
if
it's
not
usable
on
the
web,
then
I
think
it
would
be
so
yeah.
A
D
A
So
the
the
the
danger
of
feature
creep
or
over
design
in
my
term
is
that
you
might
keep
on
adding
stuff
instead
of
guide
view.
You
also
add
a
itemized
view,
a
guide
view,
or
you
might
add
a
tutorial
view-
a
how
to
get
this
token
view.
So
there
are
two
guide
views,
one
being
introduced
in
this
token,
the
other
being
introducing
it
to
those
people
who
never
seen
this
token.
Before.
How
do
you
prevent
this
from
ever
growing
right.
D
A
We
talked
to,
I
talked
with
tomac.
My
question
to
him
is:
do
you
think
well,
two
questions.
First,
do
you
think
actually
three
questions?
The
third
one
was
separate.
The
first
do
you
think
every
card
need
a
guide
view,
including
activity
card,
including
token
card,
including
action
card,
and
second
question
is:
do
you
think
the
guided
view
makes
sense
for
the
user
if
they
use
it
on
the
web?
A
And
third
question
is:
if
you
provide
a
guided
view,
how
confident
are
you
that
users
will
actually
click
that
button?
One
example
of
such
thing
that
never
gets
used
like
a
field
set.
You
know
if
you
reset
in
html,
yes,
yeah,
that's
an
example
of
a
good
design.
I
think
it's
good
design
and
it
never
gets
used
and
tomek's
answer
to
these
questions
are
yes
and
yes,
and
I'm
very
confident,
so
I
just
trusted
him
and
then
just
go
ahead
and
edit
this
okay.
D
That's
how
feature
clip
happens
yes,
okay,
so
and
and
one
more
one,
one
more
one
main
way
to
look
at
this
is:
is
there
something
else
which
we
can
implement
instead
of
this,
which
is
more
important
and
more
helpful.
A
There
are
two
things
that
tomak
suggested
and
I
I
believe
one
is
over
design
and
the
other
is
not,
but
I
think
you
probably
have
the
opposite
opinion,
so
he
introduced
a
guide
view
for
every
token
card
and
he
also
introduced
a
guide,
a
guide
for
every
attribute.
B
A
I
think
having
guide
view
is
justified
and
having
a
having
a
formula
to
to
help
to
provide
help
after
every
attribute
is
over
designed.
But
I
got
a
feeling
you
think
it's
the
opposite.
What
do
you
think.
A
You
are
right,
you
are
right
and-
and
you
and
I'm
sure
thomas
doesn't
agree
with
you.
He
thinks
it's
really
important,
but
then
the
question
is:
if
it's
really
important,
should
it
be
a
token
script
feature.
D
A
Atomic
has
the
impression
that
token
cards
can
be
really
confusing
and
really
desirable
for
the
user,
and
this
tool
is
compiling
enough
to
provide
help
page
okay,
so
in
general
I
understand
you're
concerned
that
this
might
be
a
feature
creep,
in
my
words
over
design,
and
that's
actually
the
reason
why
I
didn't
put
this
until
this
year.
A
One
of
the
reasons,
although
I
don't
think
it's
prioritized
enough
but
thomas
thinks
it's
really
important,
because
our
view
of
what
is
important
is
functionality
and
his
view
of
what
is
important
is
user
journey,
and
so
I'm
taking
this
in
for
the
moment
and
if
you
still
object
this,
we
will
put.
We
will
do
this.
We
will
hold
this
for
the
next
meeting,
where
I
will
collect
arguments
for
and
against
it,
but
I
got
a
feeling
that
this
can
go
in.
How
do
you
think.
A
Well,
there
are
ways
to
solve
objections,
and
that
is
used,
for
example,
in
in
web3
consortium,
and
they
even
have
a
code
of
conduct
and
the
resolution
method,
because
these
projects
are
entirely
community
owned.
Nobody
can
even
even
the
coder
who
contributed
most
of
the
code
cannot
easily
claim
that,
because
he
did
that
he
can,
he
can
overdo
the
design.
So
there
is
a
design
process
and
similar
effort
was
done
in
apache,
open
source
project,
and
so
what
I
want
to
tell
you,
gentlemen,
is
that
we
can
we
will.
A
We
will
come
to
the
point
that
we
must
have
a
code
of
conduct
and
a
consulting
decision
making
process.
We
will
come
to
that
point,
but
I
feel
this.
This
point
comes
when,
when
this
is
the
standard
present
presently
we
want
to
make
this
useful
useful
first,
and
I
wish
to
have
a
quick
decision
cycle
where,
unless
there's
an
important
reason
to
object
and
concern,
we
simply
just
go
with
it.
E
That
sounds
suspiciously
like
a
certain
government
structure.
Yes,.
E
Anyway,
like
like,
I
don't
have
any
problem
with
it.
I
think
if
we
provide
this
tool
and
people
don't
use,
it
then
fair
enough,
and
if
they
do
want
to
use
it,
and
they
probably
will
then
it's
something
that
they
they
have
an
option
to
use.
It's
like
we're
not
going
to
make
it
essential.
So
as
long
as
you
don't
make
it
essential,
then
it's
okay,
if
you're.
A
About
to
look
talk
about
applicable,
this
is
quite
applicable.
It
is
applicable
in
every
imaginary
case,
an
actual
case
presented
in
public
design
and
then.
A
It
would
help
if
we
have
this
and
the
the
next
question
is:
if
we
put
it
there,
we
will
developer
and
a
abandoned
token
script,
because
there
are
too
many
things
in
it
or
b.
Learn
token
script,
but
completely
you
don't
use.
This
section
b
is
a
realistic
danger
and
I
feel
I
take
two
examples
of
where
really
good
designs
are
abandoned
by
developers,
because
they
don't
seem
to
be
relevant
enough
for
the
core
task
developers
are
doing.
A
A
And
actually
it's
a
good
design
because
it
would
have
solved
a
lot
of
problems
and
reduce
the
make
the
css
a
lot
cleaner,
but
developers
didn't
take
it
because,
when
they're
focusing
on
task
at
hand
they're
focusing
on
css,
not
html,
I
think
that's
what
that
was
the
reason
why
what
I'm
talking
about
is
the
fact
that
you
can
specify
two
classes
in
a
div
and
then
the
two
classes
will
be
both
applied.
They
are
separated
by
space.
A
The
new
reality
is
not
really
used
in
reality.
If
you
have,
let's
say
if
you
have
a
action
and
you
have
a
card
instead
of
defining
the
div
as
action
and
card,
you
usually
define
div
as
action
card
written
together,
and
then
you
have
to
replicate
the
card
definition.
Then
you
will
you
will
in
in
in
multiple
places.
That's
what
usually
happens.
A
I
feel
that
the
chance
of
this
design
becoming
one
of
those
two
is
actually
less
than
one
of
those
two.
These
are
the
bad
examples
which
I
want
to
avoid,
and
I
feel
this
is
not
one
of
the
bad
examples.
That's
that's
all
I
want
to
say
now
yeah.
A
So
can
we
take
this
in
sure?
Yes,
let's,
let's
move
on,
thank
you
for
a
blessing.
I
was
hoping
for
that
okay,
so
so
so
this
will
be
in
the
pull
request
status
until
it's
actually
done,
and
I
already
changed
the
schema
to
include
this.
A
These
are
the
things
that
that
I
decided
in
last
two
weeks
without
the
meeting
now
coming
back
to
the
meeting.
A
So
so
now
the
two
tasks
are:
first,
can
we
item
itemize
the
things
that
we
need
to
do
to
make
the
test
station
h3
work?
So
one
of
the
things
I
know
for
sure
that
will
happen
is,
is
how
to
how
to
have
a
how
to
have
a
javascript
api
to
build
a
data
object.
A
A
A
When
you
researched
this
problem,
I
looked
into
how
other
people
solve
this
problem,
and
one
of
the
similar
problem
is
the
data
type
of
ethereum
that
is
returned
and
to
okay.
So
they
are
talking
about
read
values
or
is
it
more
right
only
api
and
you
think
right.
Only
api
is
easier
to
do
right
because
they
simply
create
a
new
object
and
supply
the
the
value
you
want
and
a
new
object
is
created
and
confirmed
confirming
to
the
schema.
A
Yes,
we
we
that's,
that's
that's
one
of
the
problems
we
want
to
talk
about,
and
actually
I
think
we
have
to
solve
the
read
api
problem
anyway,
even
if
nothing
not
in
this
session.
So
right
now
we
you,
we
provide
data
with
update,
update
function,
we
provide
a
token
data,
token
attributes
and
the
card
I
should
use
through
update
right.
A
Yes,
yes
and
I
observed
that
in
truffle,
the
data
is,
for
example,
balance
is
provided
as
a
big
number.
Currently
we
provide
it
as
a
as
a
digit
right
as
a
number
right.
It's
a
string
as
a
string
and
yeah.
So
there
are
two.
I
I
first
thought
that
truffle
would
would
do
the
same.
Because
string
is
the
number
one
answer
one
can
think
of,
but
they
actually
provided
big
data,
a
big
number
as
a
javascript
object.
A
A
A
Yeah,
so
I
think
we
can
pretty
we.
We
are
pretty
clear
that
we
want
to
use
the
object
creation
method
when
it
when
it
comes
to
building
that
object
like
this
right.
A
We
just
don't
know
how
to
use
choice
and
the
choice
is,
I
think
the
choice
is
made
by
simply
how
which
an
object
is
assigned,
and
I
don't
know
whether
or
not
javascript
is
able
to
tell
like
the
getter
is
able
to
tell
type.
I
think
it
is
because
you
can
use
a
three
quotation
symbol
in
javascript
to
test.
What
is
the
type,
therefore,.
A
A
D
E
E
A
Which
is
very
similar,
actually
I
want
to
unify
them
at
certain
point
of
time,
but
right
now
the
issue
is:
how
do
we
build
that
object,
so
that
object
is
first,
it
has
a
module.
Look
at
this
sorry,
I
need
to
stop
sharing
and
and
just
to
clarify
tall.
Was
there
last
time
right?
A
A
And
I
I
think
tom
must
be
being
this
in
this
meeting.
Okay,
so
now
I'm
sharing
the
game,
so
james
there
are
the
first,
you
have
a
module
right.
This
is
the
modular
thumb.
This
is
the
modular
phone.
A
And
what
are
the
limitations
and
how
many
arrays
are
there,
for
example,.
A
And
one
easy
way
to
do,
that
is
simply
supply,
json
stream,
but
sometimes
the
java.
The
that
object
is
more
complicated
like
a
generalized
time
and
sometimes
the
basically,
the
data
types
in
java
cannot
be
one
to
one
matched
to
asm1.
It
cannot
be
one-to-man.
B
A
To
to
ethereum
data
objects
either,
so
you
always
have
this
problem
with
having
created
needing
to
create
a
object,
and
the
second
is
that
some
sometimes
you
need
to
make
choice.
A
Sometimes
schema
allows
two
types
of
different
things
and
you
can
make
a
choice,
and
this
happens
actually
also
in
smart
contract,
except
sometimes
you
can
choose
now
value.
I
don't
know
if
you
can
overload
same
contract
function
same
same
actually,
you
can
overload,
I
think
it's
my
function
call,
and
if
you
can,
then
you
actually
have
a
data
object
that
has
choices
either
way.
What
I
want
to
say
is
two
problems
to
solve:
one
is
creating
that
object,
creating
objects
to
fit
into
that.
How
to
populate
that
object.
A
A
So,
in
this
case,
it's
allowed
to
specify
time
as
block
height
or
as
generalized
time,
so
the
developer
can
either
create
a
new
generalized
time
and
assign
it
to
expiry
or
create
new
block
height.
And
yes,
I
think.
E
Anyway,
carry
on.
A
Yeah,
so
so
the
the
expiry
assignment
is
actually
a
getter
function,
so
it's
not
direct
assignment.
Something
will
evaluate
if
the
value
is
proper
and
if
the
typing
is
correct
and
then
make
choices
based
on
the
type
that
is
provided,
okay
and
then
then
then
boone
has
this
thing
that
whether
or
not
we
can
we
can.
We
should
do
the
right
interface
similar
to
the
the
reading
interface,
so
there
are
three
ways
to
solve
this
problem.
A
A
A
A
I
think
this
should
be
three
three
one
right
check
the
same
type.
You
know
two
should
be
three,
I
think,
okay,
so
I'm
not
very
good
at
javascript
by
the
way.
A
A
D
A
Okay,
how
do
you
access
value
in
that
object
like
when,
once
you
get
the
value
from
an
attribute
either
that
object?
What
what
do
you?
What
do
you
actually
get.
A
A
A
A
A
A
A
Okay,
so
james
brown
and
boone
and
toa,
are
you
there
too?
It's
just
interesting.
That's
that's
what
I
write
so
far,
understandable.
A
E
E
A
Okay,
except
that
there
is
also
always
a
constant
thing
that
returns
the
value
in
the
most
primitive
format,
either
a
string
or
a
normal
javascript
integer,
and
also
that
in
my
proposal,
the
the
transformation
is
applied
first,
but
forget
about
that.
That's
very,
very
small
detail.
Basically,
that
is.
We
also
always
provide
something
that
is
easily
accessible.
A
A
Code
running
this
code
is
well
that
object
is
accessible
from
both
inside
cards
and
outside
cards.
So
it's
not
certain,
but
let's
say
this
is
inside
the
token
card
where
a
data
object
is
used.
Imagine
you
have
a
token
card.
Remember
that
token
card
has
input
and
output.
D
A
Okay,
imagine
one
of
the
input
being
an
email
address
attestation
or
one
of
the
inputs
being
a
so
I'll,
give
you
the
card.
I
feel
that
this
one
is
trying
to
drag
a
little
bit
before.
I
don't
have
enough
time
to
talk
about
the
infestation
input.
A
A
Yeah,
I
I
hope,
eventually
the
way
we
deal
with
that
object
and
the
way
we
deal
with
token
attributes
are
going
to
merge.
Actually
I
intended
in
the
beginning
like
when
we
define
attributes,
we
define
them
as
asn.1
objects,
although
later
we
use
this
new
syntax,
which
is
asm.x
syntax,
but
the
word
first
one
I
use
like
syntax
equals
to
something
and
is
actually
make
sure
I
just
made
improvised,
but
there
is
a
formal
one
which
is
as
next
but
either
way.
A
Okay,
yeah,
so
imagine
this
not
being
the
the
new
man
might
have
another
open.
Okay,
maybe
one.
B
A
D
So
basically,
you're
saying
that
for
token
data
or
data
objects,
each
of
these
fields
or
attribute
values
should
not
use
the
javascript
primitive
types
that
should
be.
We
should
provide
custom
data
types
and
each
one
has
a
convenient
property
or
function
like
dot
value,
which
does
something
smart.
Is
that
what
you're
saying.
A
A
Okay,
with
the
dot
value
in
dom
dot
value
is
always
a
string,
and
so
it's
so
I'm
not
sure
if
we
should
follow
that
convention
or
should
we
do
that?
That's
why
I
have
to
stop
this
start.
A
E
A
Whether
or
not
you
copy
the
basic
style
or
whatever
just
the
notion
that
there
is
always
start
value
about
something.
A
Reason
in
many
cases,
javascript
developers
simply
want
to
get
the
value
and
we
don't
want
them
to
learn.
But
sometimes
the
javascript
author
wants
to
get
more
information,
for
example,
when
they
are
trying
to
pay
a
debt,
and
that
has
to
be
100
correct
and
it
can
easily
be
out
of
range
of
javascript.
A
A
A
Yeah
when
it
comes
to
dealing
with
the
attestation
and
the
blockchain
objects,
I
think
you
cannot
not
supply
the
original
object.
A
A
A
A
So
tell
me
one
thing:
I
think
putin
has
dealt
with
a
dom
object
more
than
everyone.
So
did
you
hear
developers
complain
that
every
dom
object
has
to
do
with
the
dot
value.
D
Right,
it's
just
that
if
you
take
the
example
of
line
39
where
you
have
the
underscore,
so
it
could
be
dot,
underscore
dot
value
or
anything.
It's
just
that
if
you
do
computations,
for
example,
if
you
count
both
left
hand,
side
and
right
hand,
side
of
an
operator,
you
would
have
to
type
two
more
words.
D
It
might
become
long
and
more
verbose
after
a
while,
and
can
you
explain
it
again
so,
instead
of
typing
price
times
unit,
I
have
to
type
price
dot
value
times,
price
dot
times
unit
dot
value?
Yes,
just
just
more
typing,
yes,
but
but
other
than
that
it
seems.
Okay,
strong,
stronger
typing
sounds
good.
A
E
This
is
just
it's
quite
similar
to
the
way
yeah
the
dom
stuff
works.
So
I
guess
people
just
have
to
get
used
to
it.
If
they're
doing
web
stuff.
D
E
Have
to
type
okay?
Okay,
so
you
so
that's
the
way
you
set
it
up.
Is
you
just
have
us?
Have
a
bigger
a
bit
bigger
inject
module
with
with.
D
On
each
yes,.
A
Yes,
I
I
feel
I
don't
know
if
this
is
shared
between
us.
I
feel
this
method
is
better
than
the
truffle
method,
because
I
am
thinking
about
providing
api
for
java
developers,
javascript
developers
not
for
solidity
developers,
and
I
hope
there
is
a
little
learning
burden
for
someone
who
only
wants
to
use
javascript
to
access
stuff.
Like
token
balance
or
this,
you
have
to
pay.
How
many
for
this
shopping
cart
of.
A
A
A
Well,
I
will
write
that
this
down
as
the
starting
point.
Then
we
can
go
over
this,
the
other
details
of
how
to
provide
stuff
and
type
stuff
yeah,
and
then
this
will
also
unify
the
not
unif
kind
of
unify
the
read
and
write
interface
for
that
objects,
so
that
that's
that's
what
we
have
today
time
is
already
up.
I
have,
I
think
I
don't
have
time
to
provide
a
component
list
of
things
has
to
be
done
for
email
attestation,
but
it's
really
urgent.
B
A
And
associated
with
the
a3
plan
and
share
it
across
and
start
getting
the
thing
moving
and
then
do
we
have
a?
Can
you
find
a
slot
that
you
can
have
a
separate
meeting
with
me
and
james
brown
on
key
management,
because,
according
to
our
last
discussion,
we
are
going
to
implement
this
on
android?
First,
thanks
to
its
java
support
and
thanks
to
the
existing
code
in
key
management
that
is
written
in
java.
C
Sure,
whenever
it's
good
for
you
yeah,
I
don't
have
a
lot
of
meetings
these
days.
Everyone
is
on
summer
holiday
all
of
july
and
the
first
half
of
august
and
denmark.
So.
A
A
C
E
Well,
tomorrow
will
be
quite
bad
because
I'm
right
in
the
middle
of
it
at
the
moment,
although
the
today's
been
a
bit
of
an
interruption
but
yeah,
but
sometime
next
week,
it's
fine,
I
don't
see
it
as
something
particularly
urgent.
So.
C
So
so
one
thing
I
wanted
to
mention
in
regards
to
to
email
letter
station
is
it's
probably
possible
to
avoid
the
possibility
of
brute
forcing
email
addresses
based
on
based
on
based
on
caching
checks
by
using
another
kind
by
by
adding
a
little
bit
more
cryptography.
So
that's
one
thing:
I'm
not
saying
we
should
do
it
now,
but
I'm
just
I'm
just
saying
the
other
thing
is
at
this.
A
Point
about
the
second
product
of
first,
the
first
one
is
email
test
station
usable
on
the
web
and
the
second
one
is
infestation
usable
to
redeem
check
and
also
the
creation
of
check.
So
this
is
applicable
to
the
second
part
right.
C
Yes,
yes,
it's
a
play:
yeah,
okay,
yeah!
It
is
good.
C
Yeah
I
mean
it
should
also
be
applicable
to
the
to
the
first
part.
It's
just
it's
it's
possible
to
add
some
some
some
randomness
to
to
the
things
that
still
allow
efficiency.
Your
knowledge
proofs,
however,
you
want
which
doesn't
really
commit
brute
forcing.
C
But
the
other
aspect
I
wanted
to
to
to
to
just
mention
in
regards
to
this
is
it
would
it
would
be
a
very
good
idea
to
actually
do
something
in
regards
to
provable
security
in
this
case
of
of
what
we
have
in
the
with
the
attestation
and
things
like
that,
because
I
mean
it's
it's
easy
to
to
make
mistakes
when
you
don't
actually
have
a
proof
that
the
cryptography
does,
as
as
you
intended
to
the
issue
with
that
is
like
because
of
of
of
the
way,
I
you
know
at
the
attestation,
in
particular
like
to
check
protocol
works,
having
a
lot
of
different
parties
estate
and
a
continuous
possibility
of
joining
and
moving
away.
C
It's
like
it's.
It's
like
formally
quite
challenging,
well,
not
necessarily
challenging,
but
not
not
super
easy
to
just
to
prove
this
secure
in
an
easy
way.
C
So,
like
there's
some
other
proof,
methods
that
are
not
as
as
good
called
like
game
theory
game-based
proofs,
but
I
feel
like
we
should
do
something
in
in
this
aspect
before
actually
deploying
it
in
in
the
real
world
to
ensure
that
this
that
there's
at
least
some
formal
argument
for
for
why
this
is
this
is
secure
and
in
particular
like
like
the
way
it
is
now
is.
You
would
also
like
to
use
the
strong
model
for
proving
secure
that
you
would
need
to
do
something
else.
C
So
I
mean
like
this
is
the
weird
thing
like
you
know,
cryptography
that
things
can
easily
be
secure
without
any
tangible
attacks,
but
based
on
the
mythology
of
of
of
of
security
proofs.
It
doesn't
actually
go
through,
at
least
in
the
strong
models
if
that
makes
any.
If
that
makes
any
sense,
I
I
know
it's
a
it's
a.
C
I
mean
the
the
the
most
eq
protocol
should
be
pretty
pretty
pretty
pretty
trivial
to
add
on
on
top,
because
it's
basically
just
adding
another
random,
adding
a
random
element
to
part
of
the
cryptographic
construction
based
on
some
like
a
lot
of
previous
work.
So
that
that's
not
really
that
much
in
that,
like
in
general,
like
that.
A
C
A
Okay,
I
hope
it's
not
huge
undertaking
so
because,
basically,
is
it
preparing
for
for
for
for
exploring.
C
Yeah
yeah,
okay,
that
that
that
should
be
fine,
like
the
more
cumbersome
part
is
is,
is,
is
to
actually
do
formal
security
because,
first
of
like
the
way
it
works
here
in
crypto,
is
like
you,
first
describe
an
idealized
model
or
setting
of
what
it
means
to
be
secure,
and
even
that
is
a
bit
of
an
undertaking
in
a
very
dynamic
and
stateful
system,
as
we
have
with
like
the
czech
protocol.
C
C
Yeah,
that's
what
I'm
hoping,
because
I
feel
like
there
might
be
something
like
not
talk
to
tier
conference
but
like
mid-low
to
your
conference,
publishable
from
with
this
with
this
tech
protocol.
C
C
So
I
I
just
wanted
to
mention
that
that
that
this
this
problem
or
challenge-
I
don't-
I
don't-
have
like
a
a
good
way
of
doing
it,
because
it
would
definitely
take
quite
a
bit
of
of
time
to
do.
And
I
will
try
to
see
if
I
can
find
some
hours
in
some
other
projects
to
do
it
out
of
scope
and
then
make
this
into
a
publication.
C
C
So
yeah
I'm
not
completely
sure
what
is
the
best
path
to
do
it
to
to
go
with
this,
but.
A
Still
very
interesting
still
very
interesting,
if
you,
if
you,
if
you
make
some
comments
and
reference
and
the
on
the
protocol
or
even
slight
changes
to
the
protocol,
we
start
from
there
and
I
also
different
ways
to
so
that
we
can
work
together.
A
Thanks,
that's
all
very
thanks
everybody.
I
guess
that's
all
what
we
can
cover
today.
There
is
forget
about
the
original
agenda
on
the
meeting,
because
that
was
that
would
be
too
much
if
we
go
through
them.
So
this
is
already
very
productive
and
thank
you
yeah.
Is
that
all
good
or
do
you
want
to
tell
me
something?