Post on 31-May-2018
transcript
8/14/2019 offline ecash
1/20
S e c u r e a n d E c i e n t O - L i n e D i g i t a l M o n e y
M a t t h e w F r a n k l i n
A T & T L a b o r a t o r i e s { R e s e a r c h
M o t i Y u n g
C e r t C o .
A b s t r a c t
A n e l e c t r o n i c ( o r \ d i g i t a l " ) c o i n s c h e m e i s a s e t o f c r y p t o g r a p h i c p r o t o c o l s f o r w i t h d r a w a l
( b y a c u s t o m e r f r o m t h e b a n k ) , p u r c h a s e ( b y a c u s t o m e r t o a v e n d o r ) , a n d d e p o s i t ( b y a v e n d o r
t o t h e b a n k ) , s u c h t h a t t h e s e c u r i t y n e e d s o f a l l p a r t i c i p a n t s a r e s a t i s e d { m o n e y i s u n f o r g e a b l e ,
u n r e u s a b l e , a n d u n t r a c e a b l e . A c o i n s c h e m e i s \ o - l i n e " i f t h e p u r c h a s e p r o t o c o l d o e s n o t i n v o l v e
t h e b a n k . I n t h i s w o r k , w e p r e s e n t n e w t e c h n i q u e s f o r o - l i n e c o i n s c h e m e s w h i c h a r e s e c u r e
a n d e c i e n t . ( A n e a r l i e r v e r s i o n o f t h i s w o r k a p p e a r e d i n 1 6 ] . )
K e y W o r d s : E l e c t r o n i c c a s h , e l e c t r o n i c c o i n , d i g i t a l c a s h , o - l i n e .
1 I n t r o d u c t i o n
A n e l e c t r o n i c c o i n s c h e m e 4 ] i s a s e t o f c r y p t o g r a p h i c p r o t o c o l s f o r w i t h d r a w a l ( b y a c u s t o m e r f r o m
t h e b a n k ) , p u r c h a s e ( b y a c u s t o m e r t o a v e n d o r w h i l e p o s s i b l y i n v o l v i n g t h e b a n k ) , a n d d e p o s i t
( b y a v e n d o r t o t h e b a n k ) , s u c h t h a t t h e s e c u r i t y n e e d s o f a l l p a r t i c i p a n t s a r e s a t i s e d : a n o n y m i t y
o f p u r c h a s e f o r t h e c u s t o m e r , a s s u r a n c e o f a u t h e n t i c i t y f o r t h e v e n d o r , i m p o s s i b i l i t y o f u n d e t e c t e d
r e u s e o r f o r g e r y f o r t h e b a n k .
A c o i n s c h e m e h a s t h e i n t e r e s t i n g \ o - l i n e " p r o p e r t y 5 ] i f t h e p u r c h a s e p r o t o c o l d o e s n o t
i n v o l v e t h e b a n k ; e v e r y d a y n o n - d i g i t a l m o n e y i s o f c o u r s e o - l i n e . T o b a l a n c e t h e c u s t o m e r ' s
n e e d f o r a n o n y m i t y ( s o t h a t h e r / h i s s p e n d i n g s , a n d t h u s h e r / h i s l i f e s t y l e , c a n n o t b e t r a c e d b y
t h e b a n k / g o v e r n m e n t ) w i t h t h e b a n k ' s n e e d f o r p r o t e c t i o n a g a i n s t r e u s e ( t o p r e v e n t c o u n t e r f e i t
m o n e y ) , e a c h c o i n i n a n o - l i n e s c h e m e m u s t s o m e h o w \ e m b e d " t h e c u s t o m e r ' s i d e n t i t y i n a w a y
t h a t i s a c c e s s i b l e o n l y i f t h e s a m e c o i n i s u s e d f o r m o r e t h a n o n e p u r c h a s e . M o r e o v e r , t o b a l a n c e
t h e c u s t o m e r ' s n e e d f o r a n o n y m i t y w i t h t h e b a n k ' s n e e d f o r p r o t e c t i o n a g a i n s t f o r g e r y , e a c h c o i n
m u s t s o m e h o w g e t a n a u t h e n t i c a t i o n f r o m t h e b a n k ( e . g . , a d i g i t a l s i g n a t u r e ) w i t h o u t b e i n g s e e n
b y t h e b a n k .
M e e t i n g a l l o f t h e s e s e c u r i t y n e e d s s i m u l t a n e o u s l y i s a d i c u l t t a s k . I n f a c t , n o s c h e m e h a s y e t
b e e n p r o p o s e d w h i c h i s b o t h p r o v a b l y s e c u r e w i t h r e s p e c t t o n a t u r a l c r y p t o g r a p h i c a s s u m p t i o n s
a n d e c i e n t w i t h r e s p e c t t o r e a s o n a b l e m e a s u r e s . W e r e v i e w p r e v i o u s a p p r o a c h e s t o t h e p r o b l e m
a n d p r e s e n t o u r n e w a p p r o a c h a n d c o n t r i b u t i o n s .
R o o m 2 T - 3 1 2 , 6 0 0 M o u n t a i n A v e n u e , M u r r a y H i l l , N J 0 7 9 7 4
1
8/14/2019 offline ecash
2/20
1 . 1 P r e v i o u s A p p r o a c h e s t o O - L i n e C o i n S c h e m e s
T h e r e h a v e b e e n t w o m a i n a p p r o a c h e s t o o - l i n e c o i n s c h e m e s i n t h e l i t e r a t u r e . O n e d i r e c t i o n i s
b a s e d o n b l i n d s i g n a t u r e s , a n d t h e o t h e r i s b a s e d o n z e r o k n o w l e d g e p r o o f s o f k n o w l e d g e .
1 . 1 . 1 S c h e m e s B a s e d o n B l i n d S i g n a t u r e s
A b l i n d s i g n a t u r e s c h e m e o f C h a u m 4 ] i s a p r o t o c o l t h a t e n a b l e s o n e p a r t y ( i . e . , a c u s t o m e r ) t o
r e c e i v e a s i g n a t u r e o f a m e s s a g e o f i t s c h o i c e u n d e r t h e s e c o n d p a r t y ' s ( i . e . , t h e b a n k ' s ) p r i v a t e
s i g n a t u r e k e y . T h e s e c o n d p a r t y l e a r n s n o t h i n g a b o u t t h e m e s s a g e i t h e l p e d t o s i g n . F o r u s e i n
a n o - l i n e c o i n s c h e m e , t h e b a n k m u s t b e s u r e t h a t t h e m e s s a g e i t n e v e r s e e s h a s a c e r t a i n f o r m
( i . e . , t h a t i t e m b e d s t h e c u s t o m e r ' s i d e n t i t y i n t h e p r o p e r w a y ) . T h i s c a n b e d o n e b y c o m b i n i n g
t h e b l i n d s i g n a t u r e s c h e m e w i t h a z e r o k n o w l e d g e p r o o f 1 9 , 1 8 ] o r \ c u t - a n d - c h o o s e " c h e c k 3 2 ]
t h a t t h e m e s s a g e h a s t h e r i g h t f o r m . T h e r s t o - l i n e c o i n s c h e m e , d u e t o C h a u m , F i a t , a n d N a o r
5 ] t a k e s t h i s a p p r o a c h , u s i n g t h e b l i n d s i g n a t u r e s c h e m e b a s e d o n R S A 3 4 ] . T h i s a p p r o a c h i s
h e u r i s t i c ; n o p r o o f o f s e c u r i t y h a s b e e n g i v e n t h a t r e l i e s o n a s s u m p t i o n s a b o u t R S A t h a t a r e s i m p l e
o r n a t u r a l . I n f a c t , r e n e m e n t s t o t h e i r p r o t o c o l 1 ] w e r e l a t e r f o u n d t o i n t r o d u c e s e c u r i t y a w s
2 1 ] , w h i c h u n d e r s c o r e s t h e r i s k o f r e l y i n g o n h e u r i s t i c s . T h e a p p r o a c h i s e c i e n t , a l t h o u g h t h e
c u t - a n d - c h o o s e a p p r o a c h l e a d s t o c o i n s o f l a r g e s i z e . O t h e r o - l i n e c o i n s c h e m e s u s e b l i n d s i g n a t u r e
s c h e m e s d e r i v e d f r o m C h a u m a n d P e d e r s e n 6 ] , o r m e t h o d s d e v e l o p e d s u b s e q u e n t t o o u r w o r k , a n d
i n s o m e c a s e s i n d e p e n d e n t l y o f i t 3 , 1 0 , 1 4 , 2 9 , 3 1 ] .
I t i s a l s o p o s s i b l e t o i m p l e m e n t b l i n d s i g n a t u r e s u s i n g g e n e r a l s e c u r e 2 - p a r t y c o m p u t a t i o n
p r o t o c o l s 3 6 ] , a s s h o w n b y P t z m a n n a n d W a i d n e r 3 0 ] , b u i l d i n g o n w o r k o f D a m g a r d 7 ] . A
c i r c u i t t o c o m p u t e s i g n a t u r e s i s j o i n t l y c o m p u t e d b y t h e b a n k a n d t h e c u s t o m e r , w i t h t h e b a n k
c o n t r i b u t i n g o n e i n p u t ( s e c r e t s i g n a t u r e k e y ) , t h e c u s t o m e r c o n t r i b u t i n g t h e o t h e r i n p u t ( m e s s a g e
t o b e s i g n e d ) , a n d t h e c u s t o m e r a l o n e r e c e i v i n g t h e o u t p u t ( s i g n e d m e s s a g e ) . T h e s e c u r i t y o f a
s c h e m e o f t h i s t y p e c a n b e r e d u c e d t o g e n e r a l c r y p t o g r a p h i c a s s u m p t i o n s . H o w e v e r , t h e m e s s a g e
c o m p l e x i t y ( n u m b e r o f b i t s s e n t b e t w e e n p a r t i e s ) a n d e n c r y p t i o n c o m p l e x i t y ( n u m b e r o f a p p l i c a t i o n s
o f e n c r y p t i o n o p e r a t i o n s ) o f a l l k n o w n s e c u r e c o m p u t a t i o n p r o t o c o l s i s p r o p o r t i o n a l t o t h e s i z e o f
t h e c i r c u i t b e i n g c o m p u t e d . I t i s u n r e a s o n a b l e f o r a c o i n s c h e m e t o h a v e a c o m m u n i c a t i o n c o s t t h a t
d e p e n d s o n t h e c o m p u t a t i o n a l c o m p l e x i t y o f t h e u n d e r l y i n g s i g n a t u r e f u n c t i o n a l g o r i t h m ( w h i c h
s h o u l d b e o n l y a \ l o c a l " c o m p u t a t i o n f o r t h e b a n k ) | t h e s a m e w a y i t i s u n r e a s o n a b l e t o h a v e a o n e
c e n t c o i n w e i g h f t y k i l o g r a m s . T h u s , a s c h e m e o f t h i s t y p e i s s e c u r e , b u t d e n i t e l y n o t e c i e n t .
1 . 1 . 2 S c h e m e s B a s e d o n Z e r o K n o w l e d g e P r o o f s o f K n o w l e d g e
A z e r o k n o w l e d g e p r o o f o f k n o w l e d g e 1 9 ] i s a p r o t o c o l b e t w e e n a p r o v e r a n d a v e r i e r , i n w h i c h t h e
v e r i e r i s c o n v i n c e d t h a t t h e p r o v e r p o s s e s s e s a w i t n e s s ( e . g . , f o r m e m b e r s h i p i n a l a n g u a g e ) w i t h o u t
l e a r n i n g a n y t h i n g a b o u t t h a t w i t n e s s . I n a n o n - i n t e r a c t i v e z e r o k n o w l e d g e p r o o f o f k n o w l e d g e 8 ] ,
a s i n g l e m e s s a g e i s s e n t ( f r o m p r o v e r t o v e r i e r ) ; i n t h i s c a s e , t h e t w o p a r t i e s a r e a s s u m e d t o s h a r e
a r a n d o m s t r i n g . D e S a n t i s a n d P e r s i a n o 8 ] s h o w t h a t , w h e n n o n - i n t e r a c t i v e z e r o k n o w l e d g e p r o o f s
o f k n o w l e d g e a r e p o s s i b l e , b l i n d s i g n a t u r e s a r e n o t n e c e s s a r y f o r a n o - l i n e c o i n s c h e m e ( s e e a l s o
2 7 ] ) . T h e b a s i c i d e a i s t h a t t h e b a n k g i v e s a n o r d i n a r y s i g n a t u r e t o t h e c u s t o m e r , b u t n o o n e e v e r
s e e s t h a t s i g n a t u r e a g a i n . I n s t e a d o f p r e s e n t i n g t h e s i g n a t u r e t o v a l i d a t e a c o i n a t p u r c h a s e t i m e ,
t h e c u s t o m e r p r e s e n t s t h e v e n d o r w i t h a p r o o f t h a t i t p o s s e s s e s a v a l i d s i g n a t u r e f r o m t h e b a n k .
T o d e p o s i t t h e c o i n , t h e v e n d o r p r e s e n t s t h e b a n k w i t h a p r o o f t h a t i t p o s s e s s e s a v a l i d p r o o f o f
2
8/14/2019 offline ecash
3/20
p o s s e s s i o n f r o m t h e c u s t o m e r . T h e s e c u r i t y o f t h i s t y p e o f s c h e m e c a n b e p r o v e n w i t h r e s p e c t t o
g e n e r a l c r y p t o g r a p h i c a s s u m p t i o n s . H o w e v e r , t h e m e s s a g e c o m p l e x i t y a n d e n c r y p t i o n c o m p l e x i t y
i s p r o h i b i t i v e l y l a r g e , e . g , t h e l e n g t h o f a p r o o f o f p o s s e s s i o n o f a v a l i d s i g n a t u r e d e p e n d s o n t h e
c o m p l e x i t y o f t h e s i g n i n g f u n c t i o n i t s e l f . T h u s a s c h e m e o f t h i s t y p e i s s e c u r e , b u t a g a i n i t i s n o t
e c i e n t .
1 . 2 S e c u r i t y a n d E c i e n c y : A C l o s e r L o o k
W e w a n t a n o - l i n e c o i n s c h e m e t h a t i s b o t h s e c u r e a n d e c i e n t . L e t u s c l a r i f y m o r e f o r m a l l y w h a t
w e m e a n b y s e c u r i t y a n d b y e c i e n c y .
S e c u r i t y o f p r o t o c o l s m e a n s t h a t t h e c l a i m e d p r o p e r t i e s c a n b e p r o v e n b a s e d o n s o m e i n t r a c t a b i l i t y
a s s u m p t i o n . T h i s i s t h e t y p i c a l n o t i o n o f c o m p l e x i t y - t h e o r e t i c s e c u r i t y .
E c i e n c y o f p r o t o c o l s , w h i c h i s a n o t i o n w e t r y t o c a p t u r e i n t h i s w o r k , c a n b e f o r m a l i z e d b y
r e q u i r i n g t h a t \ t h e c o m m u n i c a t i o n c o m p l e x i t y o f t h e p r o t o c o l i s i n d e p e n d e n t o f t h e c o m p u t a t i o n a l
c o m p l e x i t y o f t h e h o n e s t p a r t i c i p a n t s " . I n s c h e m e s w h i c h l e a d t o p r a c t i c a l i m p l e m e n t a t i o n s , l i k e
i d e n t i c a t i o n s c h e m e s 1 3 ] 1 5 ] a n d b a s i c p r a c t i c a l o p e r a t i o n s l i k e s i g n a t u r e a n d e n c r y p t i o n , t h i s
i s t h e c a s e ( t h e c o m m u n i c a t i o n i s a l o w - d e g r e e p o l y n o m i a l f u n c t i o n o f t h e s e c u r i t y p a r a m e t e r a n d
t h e i n p u t s i z e ) . O n t h e o t h e r h a n d , g e n e r a l p r o t o c o l s w h i c h e n c r y p t c o m p u t a t i o n s o f r e s u l t s ( l i k e
g e n e r a l z e r o - k n o w l e d g e s c h e m e s f o r N P a n d I P , a n d s e c u r e c o m p u t a t i o n s c h e m e s ) a r e c o n s i d e r e d
i m p r a c t i c a l b y u s e r s o f c r y p t o g r a p h y , s i n c e t h e l o c a l c o m p u t a t i o n i s t y p i c a l l y a m u c h h i g h e r - d e g r e e
p o l y n o m i a l f u n c t i o n o f t h e i n p u t a n d t h e s e c u r i t y p a r a m e t e r s . T h i s m a k e s t h e m p r o h i b i t i v e l y
e x p e n s i v e { a s t h e y r e q u i r e m u c h c o m m u n i c a t i o n a n d , m o r e c r u c i a l l y , s i m i l a r l y m a n y a p p l i c a t i o n s
o f c r y p t o g r a p h i c o p e r a t i o n s . W e f e e l t h a t i t i s i m p o r t a n t t o m a k e t h i s d i s t i n c t i o n t o f u r t h e r d e v e l o p
a s o u n d t h e o r y o f c r y p t o g r a p h y w i t h r o b u s t n o t i o n s o f e c i e n c y ; o u r e o r t h e r e i s t o b e c o n s i d e r e d
a s a r s t s t e p i n t h i s d i r e c t i o n . ( W e n o t e t h a t t h e r e a r e f u r t h e r m e a s u r e s o f e c i e n c y ; i n p a r t i c u l a r
w e a l s o m e a s u r e a n d t r y t o m i n i m i z e t h e n u m b e r o f r o u n d s ) .
I n t h i s p a p e r , w e s h o w t h a t a s e c u r e a n d e c i e n t o - l i n e c o i n s c h e m e i s p o s s i b l e , b a s e d o n
w h a t w e c a l l \ o b l i v i o u s a u t h e n t i c a t i o n " a n d t h e h a r d n e s s o f t h e d i s c r e t e l o g f u n c t i o n . W e i m p l e -
m e n t o b l i v i o u s a u t h e n t i c a t i o n ( t o b e d e s c r i b e d l a t e r ) b a s e d o n a n y o n e - w a y f u n c t i o n t o g e t h e r w i t h
a p r e - p r o c e s s i n g s t a g e i n d e p e n d e n t f r o m t h e w i t h d r a w a l , p u r c h a s e , a n d d e p o s i t p r o t o c o l s . T h e
c o m m u n i c a t i o n c o m p l e x i t y o f o u r s c h e m e i s O ( k
2
s ) b i t s w h e r e k i s a s e c u r i t y p a r a m e t e r a n d s i s
t h e s i z e o f a s i g n e d b i t ; O ( k
2
) e n c r y p t i o n o p e r a t i o n s a r e p e r f o r m e d . P u r c h a s e a n d d e p o s i t a r e
n o n - i n t e r a c t i v e , w h i l e w i t h d r a w a l r e q u i r e s t w o r o u n d s o f i n t e r a c t i o n .
1 . 3 O - L i n e C o i n = P a s s p o r t + W i t n e s s + H i n t s
N e x t w e i n f o r m a l l y ( a n d m e t a p h o r i c a l l y ) d e s c r i b e t h e b u i l d i n g b l o c k s a n d m e c h a n i s m s w h i c h u n -
d e r l i e t h e e c i e n t o - l i n e d i g i t a l c o i n s c h e m e . I n r e a l l i f e , a \ p a s s p o r t " i s a n a u t h o r i z e d d o c u m e n t
f r o m a t r u s t e d s o u r c e ( t h e g o v e r n m e n t ) t h a t i d e n t i e s i t s o w n e r . W e c a n a l s o i m a g i n e a p a s s p o r t
w i t h o u t a n y n a m e o r p i c t u r e , b u t s t i l l s t a m p e d b y t h e p r o p e r a u t h o r i t y , a l l o w i n g a s o r t o f a n o n y -
m o u s a u t h e n t i c a t i o n . O - l i n e c o i n s c h e m e s m a k e u s e o f y e t a n o t h e r t y p e o f p a s s p o r t , i n w h i c h t h e
i d e n t i t y o f i t s o w n e r i s o n l y s o m e w h a t p r e s e n t , e m b e d d e d i n t h e d o c u m e n t i n a c o m p l e x i t y t h e o r e t i c
s e n s e ( t h r o u g h t h e u s e o f w h a t w e c a l l a n E m b e d d i n g s c h e m e ) .
3
8/14/2019 offline ecash
4/20
C A P A B I L I T I E S
T O O L S P R I M I T I V E S
A
A
A
A
A
A
A
A
A
A
AU
= C O I N
a u t h e n t
t w i c e - r e v e a l
o n c e - c o n c e a l
a u t h e n t
i d e n t i t y
r e v e a l e d -
a u t h e n t
i d e n t i t y
c o n c e a l e d -
i d e n t i t y
e m b e d d e d
w i t n e s s o f
h i n t f o r
i d e n t i t y
e m b e d d e d
w i t n e s s o f
i d e n t i t y
e m b e d d e d
p a s s p o r t w /
M e c h a n i s m
E m b e d d i n g
A u t h e n t
O b l i v i o u s
@
@
@
@
@R
@
@
@
@
@R
F i g u r e 1 : B u i l d i n g a n o - l i n e c o i n s c h e m e f r o m b a s i c p r i m i t i v e s
A p r i m i t i v e t h a t w e c a l l O b l i v i o u s A u t h e n t i c a t i o n l e t s a n a u t h o r i z i n g a g e n c y i s s u e a d i g i t a l
p a s s p o r t w i t h a n e m b e d d e d s e c r e t , t o g e t h e r w i t h a \ w i t n e s s " o f t h e e m b e d d e d s e c r e t . T h e i s s u i n g
p r o c e s s i s o b l i v i o u s i n t h e s e n s e t h a t t h e a u t h o r i z i n g a g e n c y c a n n o t l a t e r c o n n e c t a n y p a s s p o r t t o
t h e t i m e i t w a s i s s u e d . U s e o f t h e p a s s p o r t w i t h o u t t h e w i t n e s s w o u l d a l l o w r e p e a t e d a u t h e n t i c a t i o n
w h i l e c o n c e a l i n g f o r e v e r t h e s e c r e t ( a g a i n s t a r e s o u r c e b o u n d e d a t t a c k ) . U s e o f t h e p a s s p o r t w i t h
t h e w i t n e s s w o u l d a u t h e n t i c a t e t h e u s e r a n d r e v e a l t h e u s e r ' s e m b e d d e d s e c r e t . W e w i l l u s e t h e
p a s s p o r t w i t h a \ h i n t " o f t h e w i t n e s s , w h e r e a n y t w o h i n t s , b u t n o s i n g l e h i n t , i s e n o u g h t o r e c o v e r
t h e w i t n e s s
1
. W h e n t h e e m b e d d e d s e c r e t i s t h e i d e n t i t y o f t h e u s e r , t h i s i s t h e c r u x o f a n o - l i n e
c o i n s c h e m e ( s e e F i g u r e 1 ) .
W i t h d r a w a l i s a n i n s t a n c e o f O b l i v i o u s A u t h e n t i c a t i o n ( u s i n g a n E m b e d d i n g s c h e m e ) , i n w h i c h
t h e b a n k i s s u e s a p a s s p o r t ( w i t h e m b e d d e d i d e n t i t y ) a n d a w i t n e s s t o t h e c u s t o m e r . T o m a k e a
p u r c h a s e , t h e c u s t o m e r g i v e s t h e p a s s p o r t a n d a u n i q u e h i n t ( e x t r a c t e d f r o m t h e w i t n e s s ) t o t h e
v e n d o r . T o d e p o s i t , t h e v e n d o r f o r w a r d s t h e p a s s p o r t a n d t h e h i n t t o t h e b a n k .
I n S e c t i o n 5 , w e p r o v e t h a t a s e c u r e o - l i n e c o i n s c h e m e c a n b e c o n s t r u c t e d f r o m a n y e m b e d d i n g
s c h e m e t o g e t h e r w i t h a n y O b l i v i o u s A u t h e n t i c a t i o n s c h e m e . I n p a r t i c u l a r , o u r n e w O b l i v i o u s
A u t h e n t i c a t i o n s c h e m e t o g e t h e r w i t h o u r n e w e m b e d d i n g s c h e m e y i e l d s a p r o v a b l y s e c u r e a n d
e c i e n t o - l i n e c o i n s c h e m e . O t h e r c o i n s c h e m e s a r e p o s s i b l e t h r o u g h v a r i o u s c o m b i n a t i o n s o f o u r
n e w p r o t o c o l s w i t h p r e v i o u s m e t h o d s .
1
W e c a n g e n e r a l i z e t o h i n t s t h a t r e v e a l t h e w i t n e s s a t t h r e s h o l d s g r e a t e r t h a n t w o , w h i c h i s u s e f u l ( e . g . , f o r m u l t i p l e
a c c e s s a u t h o r i z a t i o n t o k e n s ) b u t n o t c o n s i d e r e d i n t h i s p a p e r .
4
8/14/2019 offline ecash
5/20
1 . 4 E m b e d d i n g S c h e m e
T h e g o a l o f a n E m b e d d i n g s c h e m e i s t o h i d e a s e c r e t s o t h a t i t i s c o n c e a l e d u n l e s s a w i t n e s s i s
k n o w n , a n d t o a l l o w f o r t h e e x t r a c t i o n o f v e r i a b l e h i n t s ( a n y t w o o f w h i c h r e v e a l a w i t n e s s ) . T h e
o n l y p r i o r E m b e d d i n g s c h e m e f o r a n e c i e n t o - l i n e c o i n s c h e m e , d u e t o C h a u m , F i a t , a n d N a o r
5 ] , h i d e s t h e s e c r e t i n a c o l l e c t i o n o f n e s t e d o n e - w a y f u n c t i o n s t h a t e a c h h i d e a p a i r o f x o r s h a r e s o f
t h e s e c r e t . A h i n t o f t h e w i t n e s s i s a p a r t i c u l a r \ d e - n e s t i n g " o f t h e f u n c t i o n s i n a w a y t h a t r e v e a l s
o n e x o r s h a r e f r o m e a c h p a i r ( \ h i n t " o f t h e w i t n e s s ) . A n y t w o d i s t i n c t h i n t s w i l l i n c l u d e b o t h x o r
s h a r e s f r o m a t l e a s t o n e p a i r , f r o m w h i c h t h e s e c r e t c a n b e r e c o v e r e d . T h e s e c u r i t y o f t h i s s c h e m e
h a s n e v e r b e e n r e d u c e d t o n a t u r a l c r y p t o g r a p h i c a s s u m p t i o n s .
I n o u r m e t h o d , a s e c r e t i s h i d d e n a s b i t s o f t h e d i s c r e t e l o g s o f a n u m b e r o f v a l u e s . A h i n t o f
t h e w i t n e s s i s a s e t o f p o i n t s o n l i n e s w h o s e s l o p e s a r e t h e s e d i s c r e t e l o g s . F r o m a n y t w o d i s t i n c t
h i n t s , t h e s e c r e t c a n b e r e c o v e b y i n t e r p o l a t i o n o f t h e c o r r e s p o n d i n g p a i r s o f p o i n t s . T h e s e c u r i t y
o f t h i s s c h e m e i s b a s e d o n t h e h a r d n e s s o f t h e D i s c r e t e L o g . T h i s i s t h e r s t s o - c a l l e d \ s i n g l e - t e r m "
a p p r o a c h 2 9 ] , w h i c h i s m o r e c o m p a c t t h a n t h o s e b a s e d o n c u t - a n d - c h o o s e t e c h n i q u e s .
1 . 5 I m p l e m e n t i n g O b l i v i o u s A u t h e n t i c a t i o n
W e i m p l e m e n t O b l i v i o u s A u t h e n t i c a t i o n b a s e d o n a n y o n e - w a y f u n c t i o n t o g e t h e r w i t h a p r e -
p r o c e s s i n g s t a g e . T h e p u r p o s e o f t h e p r e - p r o c e s s i n g s t a g e i s t o p r o d u c e g e n e r i c s t r i n g s t h a t a r e
s e n t t o a n y c u s t o m e r t h a t a s k s f o r t h e m . E a c h s t r i n g e n a b l e s a c u s t o m e r t o w i t h d r a w a s i n g l e c o i n
f r o m t h e b a n k . T h e s e s t r i n g s a r e g e n e r i c i n t h e s e n s e t h a t a n y s t r i n g c o u l d g o t o a n y o n e , s o l o n g
a s n o s t r i n g g o e s t o m o r e t h a n o n e p a r y ( l i k e \ b l a n k w i t h d r a w a l s l i p s " ) .
T h e p r e - p r o c e s s i n g s t a g e o f o u r O b l i v i o u s A u t h e n t i c a t i o n p r o t o c o l c a n b e b a s e d o n t h e p r e s e n c e
o f s o m e t r u s t e d a g e n t t h a t i s s e p a r a t e f r o m t h e b a n k , v e n d o r s , a n d c u s t o m e r s a n d i s p r e s e n t a t
i n i t i a t i o n . T h i s a g e n t , w h i c h w e c a l l a \ t r u s t e d m a n u f a c t u r e r " m i g h t l l e a c h u s e r ' s s m a r t c a r d
m e m o r y o n c e w i t h a l a r g e n u m b e r o f s t r i n g s , a n d t h e n d e s t r o y i t s r e c o r d s . U n l i k e s o m e p h y s i c a l l y
b a s e d s c h e m e s 1 2 ] , t h e s m a r t c a r d m e m o r y d o e s n o t n e e d t o b e s h i e l d e d i n a n y w a y f r o m t h e
o w n e r o f t h e s m a r t c a r d ( i . e . , n o r e a d o r w r i t e r e s t r i c t i o n s a r e n e e d e d ) . T h e o n l y i s s u e i s t h a t t h e
m a n u f a c t u r e r i s t r u s t e d t o p r o d u c e s t r i n g s o f t h e p r o p e r f o r m , a n d t o n e v e r g i v e t h e s a m e s t r i n g
t o m o r e t h a n o n e p a r t y . T h i s m i l d a s s u m p t i o n , a s a r g u e d a b o v e , s t i l l l e a v e s t h e m a j o r p r o b l e m s o f
o - l i n e m o n e y s c h e m e s e c u r i t y w i t h n o t r i v i a l a n s w e r .
H o w r e a s o n a b l e i s t h i s a s s u m p t i o n ? M a n y c r y p t o g r a p h i c s y s t e m s n e e d a t r u s t e d c e n t e r . A n y
c o m p l e t e p u b l i c k e y s y s t e m n e e d s a t r u s t e d c e n t e r o f o u r k i n d t o c e r t i f y t h e c o n n e c t i o n b e t w e e n
k e y s a n d u s e r s w i t h o u t r i s k i n g i m p e r s o n a t i o n a t t a c k s . T h e z e r o - k n o w l e d g e i d e n t i c a t i o n s c h e m e o f
F e i g e , F i a t , a n d S h a m i r 1 3 ] u s e s a t r u s t e d c e n t e r t o p u b l i s h a m o d u l u s w i t h u n k n o w n f a c t o r i z a t i o n
a n d t o m a i n t a i n a p u b l i c k e y d i r e c t o r y ; i n t h e \ k e y l e s s " v e r s i o n o f t h e i r s y s t e m , t h e t r u s t e d c e n t e r
i s s u e s t a m p e r - r e s i s t a n t ( u n r e a d a b l e , u n w r i t a b l e ) s m a r t c a r d s t o a l l p a r t i c i p a n t s .
A l t e r n a t i v e l y , p r e - p r o c e s s i n g c a n b e d o n e i n e c i e n t l y ( h i g h d e g r e e p o l y n o m i a l c o m m u n i c a t i o n ) ,
u n d e r g e n e r a l c r y p t o g r a p h i c a s s u m p t i o n s , a s a g e n e r a l s e c u r e p r o t o c o l b e t w e e n b a n k a n d c u s t o m e r .
T h e e c i e n c y o f t h e w i t h d r a w a l , p u r c h a s e a n d d e p o s i t p r o t o c o l s w o u l d b e u n a e c t e d . O u r s t a t e d
p r i n c i p l e o f e c i e n c y w o u l d b e v i o l a t e d o n l y a t i n i t i a t i o n , w h i c h c a n b e a b a c k g r o u n d c o m p u t a t i o n
i n d e p e n d e n t o f m o n e y - e x c h a n g i n g t r a n s a c t i o n s . W h e n O b l i v i o u s A u t h e n t i c a t i o n i s r e a l i z e d i n t h i s
w a y w i t h a n i n e c i e n t p r e p a r a t o r y s t a g e a n d a n e c i e n t m a i n s t a g e , i t h a s a f o r m s i m i l a r t o t h e
\ o n - l i n e / o - l i n e " s i g n a t u r e s c h e m e o f E v e n , G o l d r e i c h , a n d M i c a l i 1 1 ] .
5
8/14/2019 offline ecash
6/20
1 . 6 S t r u c t u r e o f t h e P a p e r
P r e l i m i n a r y d e n i t i o n s a n d n o t i o n s a r e g i v e n i n S e c t i o n 2 . O b l i v i o u s A u t h e n t i c a t i o n i s c o v e r e d i n
S e c t i o n 3 , a n d E m b e d d i n g s c h e m e s i n S e c t i o n 4 . S e c t i o n 5 c o v e r s o - l i n e c o i n s i n a w a y t h a t r e l a t e s
t h e n o t i o n t o t h e p r e v i o u s t w o p r i m i t i v e s . I m p l i c a t i o n s a r e d i s c u s s e d i n S e c t i o n 6 .
2 P r e l i m i n a r i e s
A q u a n t i t y i s \ n e g l i g i b l e " i n k i f i t i s s m a l l e r t h a n 1 = p ( k ) f o r e v e r y p o l y n o m i a l p , f o r k l a r g e e n o u g h ;
o t h e r w i s e , i t i s \ n o n - n e g l i g i b l e . " W e l e t x 2
R
S d e n o t e s t h e u n i f o r m l y r a n d o m s e l e c t i o n o f x f r o m
S . W e l e t x i d e n o t e t h e i t h c o m p o n e n t o f x
A f u n c t i o n i s \ o n e - w a y " i f i t i s e a s y t o c o m p u t e a n d h a r d t o i n v e r t . M o r e f o r m a l l y , s u p p o s e
t h a t f f
k
g i s a f a m i l y o f f u n c t i o n s d e n e d o n b i t s t r i n g s , w h e r e f
k
: f 0 ; 1 g
k
! f 0 ; 1 g
k
. T h e f a m i l y
f f
k
g i s o n e - w a y i f ( a ) t h e r e i s a d e t e r m i n i s t i c p o l y n o m i a l - t i m e ( i n k ) a l g o r i t h m t o c o m p u t e e a c h
f
k
; a n d ( b ) f o r e v e r y p r o b a b i l i s t i c p o l y n o m i a l t i m e ( p . p . t . ) a l g o r i t h m A , t h e p r o b a b i l i t y t h a t
f
k
( A ( f
k
( x ) ) ) = f
k
( x ) ) i s n e g l i g i b l e ( i n k ) , w h e r e t h e p r o b a b i l i t y i s o v e r t h e u n i f o r m l y r a n d o m
c h o i c e o f x 2 f 0 ; 1 g
k
a n d o v e r t h e r a n d o m b i t s u s e d b y A
A \ h a r d b i t " f o r a f a m i l y o f f u n c t i o n s f f
k
g i s a f a m i l y o f f u n c t i o n s h
k
: f 0 ; 1 g
k
! f 0 ; 1 g s u c h
t h a t d e t e r m i n i n g h
k
( x ) f r o m f
k
( x ) i s a s h a r d a s d e t e r m i n i n g x f r o m f
k
( x ) ( o r n e g l i g i b l y c l o s e , i n
k ) . G o l d r e i c h a n d L e v i n 1 7 ] s h o w e d t h a t e v e r y o n e - w a y f u n c t i o n h a s a h a r d b i t .
T h e \ D i s c r e t e L o g A s s u m p t i o n " ( D L A ) i s t h a t e x p o n e n t i a t i o n m o d u l o a p r i m e i s a o n e - w a y
f u n c t i o n ( i . e . , w h e r e f
k
( x ) = g
x
m o d p
k
f o r s o m e p r i m e p
k
o f l e n g t h k a n d s o m e g e n e r a t o r g o f
Z
p
k
) , o r e q u i v a l e n t l y t h a t i t h a s a h a r d b i t . T h e d i c u l t y o f t h e d i s c r e t e l o g a r i t h m p r o b l e m i s a
s t a n d a r d c r y p t o g r a p h i c a s s u m p t i o n r s t u s e d b y D i e a n d H e l l m a n 9 ] ( o n o t h e r b a s i c u s e s a n d
h a r d b i t s o f t h e d i s c r e t e l o g , s e e 2 , 2 5 ] ) .
A \ c o m m u n i c a t i n g p . p . t . T u r i n g M a c h i n e " i s l i k e a n o r m a l p . p . t . T u r i n g M a c h i n e ( w i t h a r e a d -
o n l y i n p u t t a p e , w r i t e - o n l y o u t p u t t a p e , r e a d - o n l y r a n d o m t a p e , o n e o r m o r e w o r k t a p e s ) , e x c e p t
t h a t f o r e a c h p a i r o f m a c h i n e s t h e r e i s a l s o a r e a d - o n l y s h a r e d i n p u t t a p e , a n d t w o c o m m u n i c a t i o n
t a p e s , e a c h o f w h i c h i s r e a d - o n l y f o r o n e m a c h i n e a n d w r i t e - o n l y f o r t h e o t h e r .
A \ p r o t o c o l " i s t h e j o i n t e x e c u t i o n o f a p a i r o f c o m m u n i c a t i n g p . p . t . T u r i n g M a c h i n e s . T h e
\ v i e w " o f a m a c h i n e i s t h e c o n t e n t s o f a l l o f i t s p r i v a t e t a p e s a n d s h a r e d t a p e s t h r o u g h o u t t h e
e x e c u t i o n o f a p r o t o c o l .
3 O b l i v i o u s A u t h e n t i c a t i o n
I n f o r m a l l y , a n o b l i v i o u s a u t h e n t i c a t i o n s c h e m e i s a p r o t o c o l b e t w e e n a r e q u e s t o r a n d a n a u t h e n -
t i c a t o r . T h e r e q u e s t o r a n d a u t h e n t i c a t o r b e g i n w i t h t h e s h a r e d s e c r e t s , a n d a t t h e e n d o f t h e
p r o t o c o l t h e r e q u e s t o r i s a b l e t o c o m p u t e a r a n d o m ( w i t n e s s ) s t r i n g r a n d a n a u t h e n t i c a t i n g ( s i g -
n a t u r e ) s t r i n g . T h e r e l a t i o n a m o n g t h e s e v a l u e s i s t h a t i s a s i g n a t u r e o f z i n t h e a u t h e n t i c a t o r ' s
p r i v a t e k e y , w h e r e z = e ( s ; r ) f o r s o m e p u b l i c a n d e a s i l y c o m p u t a b l e f u n c t i o n e ( w h o s e p u r p o s e w i l l
b e c o m e c l e a r i n S e c t i o n 4 o n E m b e d d i n g s c h e m e s ) . T h e s i g n a t u r e r e e c t s a u t h e n t i c a t i o n t h a t t h e
s h a r e d s e c r e t s i s a c t u a l l y r e l a t e d t o t h e s i g n e d v a l u e i n t h i s w a y . A t t h e s a m e t i m e , t h e p r o t o c o l i s
\ o b l i v i o u s " f r o m t h e p o i n t o f v i e w o f t h e a u t h e n t i c a t o r i . e . , a f t e r s e v e r a l e x e c u t i o n s o f t h e p r o t o c o l ,
t h e a u t h e n t i c a t o r m u s t n o t b e a b l e t o c o n n e c t a n y z ; ] p a i r t o t h e i n s t a n c e o f t h e p r o t o c o l t h a t
6
8/14/2019 offline ecash
7/20
p r o d u c e d i t . U s i n g t e r m i n o l o g y f r o m t h e I n t r o d u c t i o n , t h e a u t h e n t i c a t o r i s s u e s a \ p a s s p o r t " z ;
w i t h r s e r v i n g a s a w i t n e s s t o t h e f a c t t h a t t h e s e c r e t s i s e m b e d d e d i n t h e p a s s p o r t .
3 . 1 F o r m a l D e n i t i o n o f O b l i v i o u s A u t h e n t i c a t i o n
D e n i t i o n 1 A n o b l i v i o u s a u t h e n t i c a t i o n s c h e m e R ; A ; e i s a p r o t o c o l b e t w e e n a p . p . t . r e q u e s t o r
R a n d a p . p . t . a u t h e n t i c a t o r A , u s i n g a p . p . t . c o m p u t a b l e f u n c t i o n e R a n d A b e g i n w i t h s h a r e d
s t r i n g s , A h a s a s e c r e t k e y f o r a s i g n a t u r e s c h e m e s e c u r e a g a i n s t a c h o s e n m e s s a g e a t t a c k , a n d
b o t h A a n d R h a v e t h e c o r r e s p o n d i n g p u b l i c k e y . R e n d s u p w i t h r ; , s u c h t h a t t h e f o l l o w i n g
r e q u i r e m e n t s a r e s a t i s e d :
1 . ( V a l i d ) i s a v a l i d s i g n a t u r e o f z = e ( s ; r ) w i t h r e s p e c t t o t h e A u t h e n t i c a t o r ' s p u b l i c k e y .
2 . ( O b l i v i o u s ) T h e p r o t o c o l l e a k s n o i n f o r m a t i o n t o A a b o u t z o r r e x c e p t t h a t z = e ( s ; r ) , i . e . :
L e t M b e a n y p . p . t . T M t h a t t a k e s a s i n p u t s h a r e d s t r i n g s s
0
; s
1
, r a n d o m t a p e s r n d
0
; r n d
1
,
o u t p u t i n f o r m a t i o n z ; , v i e w s v
0
; v
1
o f A o f e x e c u t i o n s o f t h e O . A . p r o t o c o l , a n d a u x i l i a r y
i n p u t a u x , a n d o u t p u t s t h e g u e s s b 2 f 0 ; 1 g . T h e n t h e r e e x i s t s a p . p . t . T M M
0
t h a t t a k e s
a s i n p u t o n l y s
0
; s
1
; z ; ; a u x s u c h t h a t f o r a l l s
0
; s
1
; r n d
0
; r n d
1
, i f v
0
; v
1
a r e c o n s i s t e n t w i t h
s
0
; r n d
0
a n d s
1
; r n d
1
r e s p e c t i v e l y , a n d i f z ; i s c o n s i s t e n t w i t h v
b
2 f v
0
; v
1
g , t h e n t h e p r o b a -
b i l i t y t h a t M o u t p u t s a c o r r e c t g u e s s f o r b i s n e g l i g i b l y c l o s e t o t h e p r o b a b i l i t y t h a t M
0
o u t p u t s
a c o r r e c t g u e s s f o r b
3 . ( U n f o r g e a b l e ) F r o m n t r a n s c r i p t s o f a c h e a t i n g R e q u e s t o r , b e g i n n i n g w i t h s h a r e d s t r i n g s
s
1
; ; s
n
, i t i s h a r d t o c o m p u t e z ; s u c h t h a t i s a v a l i d s i g n a t u r e o f z = e ( s ; r ) u n d e r t h e
A u t h e n t i c a t o r ' s s e c r e t k e y f o r s o m e s 62 f s
1
; ; s
n
g
4 . ( U n e x p a n d a b l e ) F r o m n t r a n s c r i p t s o f a c h e a t i n g R e q u e s t o r , i t i s h a r d t o c o m p u t e
z
1
;
1
; ; z
n + 1
;
n + 1
s u c h t h a t e a c h
i
i s a v a l i d s i g n a t u r e o f z
i
= e ( s
i
; r
i
) u n d e r t h e A u t h e n -
t i c a t o r ' s s e c r e t k e y w h i l e e a c h r
i
; s
i
p a i r i s d i s t i n c t .
3 . 2 H e u r i s t i c I m p l e m e n t a t i o n o f O b l i v i o u s A u t h e n t i c a t i o n
O b l i v i o u s A u t h e n t i c a t i o n c a n b e i m p l e m e n t e d h e u r i s t i c a l l y u s i n g m u l t i p l e b l i n d R S A s i g n a t u r e s ,
c o l l i s i o n - f r e e h a s h f u n c t i o n s , a n d a c u t - a n d - c h o o s e c h a l l e n g e p r o c e d u r e ( s e e F i g u r e 2 ) . A c o l l i s i o n -
f r e e h a s h f u n c t i o n i s a f u n c t i o n h f o r w h i c h i t i s c o m p u t a t i o n a l l y i n f e a s i b l e t o n d x ; y s u c h t h a t
h ( x ) = h ( y )
3 . 3 P r o v a b l y S e c u r e O b l i v i o u s A u t h e n t i c a t i o n
I n t h i s s e c t i o n , w e d e s c r i b e a n i m p l e m e n t a t i o n o f o b l i v i o u s a u t h e n t i c a t i o n t h a t d e p e n d s o n a p r e -
p r o c e s s i n g s t a g e . T h i s p r e - p r o c e s s i n g s t a g e c a n b e d o n e d i r e c t l y b y a \ t r u s t e d m a n u f a c t u r e r . " A
\ t r u s t e d m a n u f a c t u r e r " i s a n e n t i t y t h a t c a n p e r f o r m c o m p u t a t i o n s , a n d c a n s e n d i n f o r m a t i o n t o a
r e q u e s t o r w i t h o u t i t b e i n g s e e n b y t h e a u t h e n t i c a t o r , a n d w i t h o u t t h e r e q u e s t o r h a v i n g t o i d e n t i f y
i t s e l f . F o r e x a m p l e , d a t a m a y b e p u t b y t h e m a n u f a c t u r e r i n t o t h e m e m o r y o f a s m a r t c a r d t h a t i s
t h e n s o l d t o a r e q u e s t o r . I t i s n o t n e c e s s a r y t o s h i e l d t h e s m a r t c a r d m e m o r y f r o m t h e r e q u e s t o r ,
o n l y t h a t t h e a u t h e n t i c a t o r l e a r n s n o t h i n g a b o u t t h e d a t a ( e . g . , b y e a v e s d r o p p i n g o n t h e t r a n s f e r
o f d a t a t o t h e r e q u e s t o r , o r b y c o r r u p t i n g t h e m a n u f a c t u r e r ) .
7
8/14/2019 offline ecash
8/20
1 . I n R o u n d O n e , t h e f o l l o w i n g m e s s a g e s a r e s e n t :
( a ) R ! A z
1
=
e
A
1
h ( z
1
) m o d N
A
z
2 k
=
e
A
2 k
h ( z
2 k
) m o d N
A
, w h e r e
i
2
R
Z
N
A
f o r a l l 1 i 2 k
z
i
= e ( s r
i
) f o r a l l 1 i 2 k , w h e r e e a c h r
i
i s u n i f o r m l y r a n d o m o v e r
t h e a p p r o p r i a t e r a n g e , a n d w h e r e e i s a p u b l i c a n d e a s i l y c o m p u t a b l e
f u n c t i o n .
i i i . h i s a p u b l i c l y k n o w n c o l l i s i o n - f r e e h a s h f u n c t i o n .
( b ) A ! R S
R
1 2 k S = k
2 . I n R o u n d T w o , t h e f o l l o w i n g m e s s a g e s a r e s e n t :
( a ) R ! A r
i
i
i 2 S
( b ) A ! R =
Q
j 62 S
( z
j
)
d
A
m o d N
A
, a s s u m i n g t h a t t h e m e s s a g e s r e c e i v e d s o
f a r a r e c o n s i s t e n t ( o t h e r w i s e A t e r m i n a t e s t h e p r o t o c o l ) ; i . e . ,
z
j
e
A
j
= h ( e ( s r
j
) ) f o r a l l j 2 S
3 R n d s r ] w h e r e
( a ) r = r
j
j 62 S
( b ) = (
Q
j 62 S
1
j
) m o d N
A
( c ) T h e p u b l i c a n d e a s i l y c o m p u t a b l e f u n c t i o n e i s d e n e d t o b e e ( s r ) =
e ( s r 1 ] ) e ( s r k ] ) ] .
F i g u r e 2 : H e u r i s t i c O b l i v i o u s A u t h e n t i c a t i o n v i a R S A
8
8/14/2019 offline ecash
9/20
A l t e r n a t i v e l y , p r e - p r o c e s s i n g c a n b e i m p l e m e n t e d i n e c i e n t l y u s i n g a g e n e r a l s e c u r e 2 - p a r t y
c o m p u t a t i o n p r o t o c o l b e t w e e n t h e r e q u e s t o r a n d t h e a u t h e n t i c a t o r . A s s h o w n b y K i l i a n 2 4 ] , t h e
a s s u m p t i o n t h a t O b l i v i o u s T r a n s f e r 3 3 ] ( a b a s i c c r y p t o g r a p h i c p r i m i t i v e ) i s p o s s i b l e s u c e s .
I n t u i t i v e l y , t h e p r e - p r o c e s s i n g s t a g e s u p p l i e s e n c r y p t e d w i n d o w s , w h e r e e a c h w i n d o w p r e s i g n s
b o t h a z e r o a n d a o n e f o r a g i v e n b i t p o s i t i o n i n t h e m e s s a g e . E a c h s i g n a t u r e i s c o n c e a l e d i n
a h a l f - w i n d o w a s a p a i r o f e l e m e n t s , w h e r e t h e r s t e l e m e n t i s a ( s e c r e t - k e y ) e n c r y p t i o n o f a
r a n d o m m a s k , a n d t h e s e c o n d e l e m e n t i s t h e x o r o f t h e m a s k w i t h t h e s i g n a t u r e . I n t h i s w a y , t h e
a u t h e n t i c a t o r i s n e e d e d t o r e v e a l e i t h e r o f t h e s i g n a t u r e s i n a w i n d o w ( b y d e c r y p t i n g t h e m a s k ) ,
b u t t h e a u t h e n t i c a t o r c a n n o t l a t e r r e c o g n i z e a s i g n a t u r e h e h e l p e d r e v e a l .
A c o l l e c t i o n o f m w i n d o w s ( c a l l e d a \ r o w " ) c a n b e u s e d t o s i g n a s t r i n g o f m b i t s . H o w e v e r ,
t o p r e v e n t s i g n e d b i t s f r o m o n e m e s s a g e b e i n g s u b s t i t u t e d i n a s e c o n d m e s s a g e , t h e w i n d o w s m u s t
b e \ l i n k e d " t o g e t h e r . I n f a c t , a l l p a i r s o f a d j a c e n t h a l f - w i n d o w s a r e c o n n e c t e d , s o t h a t t h e s a m e
c o l l e c t i o n o f w i n d o w s i s c a p a b l e o f s i g n i n g a n y p o s s i b l e m e s s a g e . L i n k s a r e a l s o p a i r s o f e l e m e n t s ,
w h e r e t h e r s t e l e m e n t i s a ( s e c r e t - k e y ) e n c r y p t i o n o f a r a n d o m m a s k , a n d t h e s e c o n d e l e m e n t i s t h e
x o r o f t h e m a s k w i t h a s i g n a t u r e o f t h e t w o h a l f - w i n d o w s t h a t a r e b e i n g l i n k e d . W h e n h a l f - w i n d o w s
a r e \ o p e n e d " ( i . e . , w h e n t h e i r m a s k s a r e d e c r y p t e d ) , t h e c o r r e s p o n d i n g l i n k s a r e o p e n e d a s w e l l .
A c u t - a n d - c h o o s e p r o c e d u r e i s u s e d t o g u a r a n t e e t h a t t h e p r e d i c a t e ( z ; i d ) i s t r u e a t t h e
e n d . T h e r e w i l l b e 2 k s t r i n g s t h a t a r e p r e s e n t e d t o t h e a u t h e n t i c a t o r , e a c h o f w h i c h s a t i s e s s o m e
p r e d i c a t e
0
( z
0
; i d ) , a n d f o r e a c h o f w h i c h t h e r e q u e s t o r k n o w s a w i t n e s s w i t
0
. T h e a u t h e n t i c a t o r
c h a l l e n g e s h a l f o f t h e s t r i n g s , a n d r e c e i v e s w i t n e s s e s t h a t t h e p r e d i c a t e i s t r u e f o r t h e m . T h e
a u t h e n t i c a t o r t h e n s e n d s d e c r y p t e d m a s k s f o r a l l h a l f - w i n d o w s a n d l i n k s f o r a l l u n c h a l l e n g e d s t r i n g s .
T h e p r e d i c a t e i s d e n e d t o h o l d i f a n d o n l y i f a m a j o r i t y o f t h e k u n c h a l l e n g e d s t r i n g s s a t i s f y
0
A s e c o n d t y p e o f l i n k i s n e e d e d t o p r e v e n t c h e a t i n g w i t h t h e c u t - a n d - c h o o s e p r o c e d u r e . R o w s o f
w i n d o w s n e e d t o b e l i n k e d t o g e t h e r , t o p r e v e n t a n e w c o l l e c t i o n o f k r o w s f r o m b e i n g p i e c e d t o g e t h e r
f r o m t w o o r m o r e r u n s o f t h e p r o t o c o l . T h i s i s a c h i e v e d b y p r o v i d i n g l i n k s b e t w e e n h a l f - w i n d o w s
a t t h e e n d o f o n e r o w t o h a l f - w i n d o w s a t t h e b e g i n n i n g o f t h e n e x t r o w .
T h e e n t i r e d a t a s t r u c t u r e , w i n d o w s a n d l i n k s , i s c a l l e d a \ s t r u c t . " W e a s s u m e t h a t t h e p r e -
p r o c e s s i n g s t a g e ( v i a t r u s t e d m a n u f a c t u r e r o r s e c u r e 2 - p a r t y c o m p u t a t i o n ) h a s s e n t a s u p p l y o f
s t r u c t s t o t h e r e q u e s t o r . A p i c t o r i a l r e p r e s e n t a t i o n o f t h e d a t a s t r u c t u r e a p p e a r s i n F i g u r e 3 , w h i l e
p r e c i s e d e n i t i o n s a p p e a r i n t h e p r o o f o f T h e o r e m 1 .
T h e p r o o f o f T h e o r e m 1 c o n s i s t s o f s h o w i n g t h a t a s e c u r e O b l i v i o u s A u t h e n t i c a t i o n c a n b e b a s e d
o n t h e s t r u c t d a t a s t r u c t u r e . S t r u c t s a r e s u p p l i e d b y a p r e - p r o c e s s i n g s t a g e . S i n c e s t r u c t s c o n t a i n
e n c r y p t e d b i t s a n d s i g n e d b i t s w i t h r e s p e c t t o t h e A u t h e n t i c a t o r ' s k e y s , w e m u s t a s s u m e t h a t t h e s e
k e y s a r e a v a i l a b l e t o t h e o r i g i n a l \ m a n u f a c t u r e r " o f t h e s t r u c t . I f t h e s t r u c t s a r e c o m p u t e d a s a
s e c u r e c o m p u t a t i o n w i t h t h e A u t h e n t i c a t o r i t s e l f , t h e n t h e k e y s a r e a u t o m a t i c a l l y a v a i l a b l e f o r t h i s
c o m p u t a t i o n . I f s o m e t r u s t e d m a n u f a c t u r e r p r o d u c e s t h e s t r u c t s , t h e n w e a r e t a c i t l y a s s u m i n g t h a t
t h i s m a n u f a c t u r e r h a s a c c e s s t o t h e A u t h e n t i c a t o r ' s k e y s . I n t h i s c a s e , a d i s h o n e s t m a n u f a c t u r e r
c o u l d f o r g e a u t h e n t i c a t i o n s a t w i l l .
T h e o r e m 1 I f o n e w a y f u n c t i o n s e x i s t , a n d a p r e - p r o c e s s i n g s t a g e i s a l l o w e d , t h e n t h e r e e x i s t s a
s e c u r e O b l i v i o u s A u t h e n t i c a t i o n s c h e m e .
P r o o f : F i r s t w e d e s c r i b e t h e \ s t r u c t " d a t a s t r u c t u r e t h a t w i l l b e u s e d f o r e a c h i n s t a n c e o f t h e
O . A . p r o t o c o l . L e t s i g b e a s i g n a t u r e s c h e m e t h a t i s e x i s t e n t i a l l y u n f o r g e a b l e a g a i n s t a c h o s e n
m e s s a g e a t t a c k ; s u c h a s c h e m e e x i s t s i f o n e w a y f u n c t i o n s e x i s t 2 6 ] 3 5 ] . L e t E b e a s y m m e t r i c - k e y
e n c r y p t i o n f u n c t i o n , w h i c h a l s o e x i s t s i f o n e w a y f u n c t i o n s e x i s t 2 2 , 2 3 , 2 0 ] .
9
8/14/2019 offline ecash
10/20
r o w r o w
l i n k
l i n k
w i n d
h a l f
w i n d
h a l f
w i n d o w w i n d o w
*
P
P
P
P
P
P
Pq
J
J
J
J
J
J
J
J
J
J
J
@
@
@
@
@
@
@R
A
A
A
A
A
A
A
A
A
A
A
A
A
AU
J
J
J
J
J
J
J
J
J
J
J
*
H
H
H
H
H
H
Hj
7
J
J
J
J
7
S
S
S
Sw
'
&
$
%
7
J
J
J
J
7
S
S
S
Sw
'
&
$
%
7
J
J
J
J
7
S
S
S
Sw
'
&
$
%
7
J
J
J
J
7
S
S
S
Sw
'
&
$
%
F i g u r e 3 : S t r u c t D a t a S t r u c t u r e ( i n f o r m a l p i c t u r e : 4 o u t o f 2 k r o w s , m = 3 )
1 0
8/14/2019 offline ecash
11/20
A h a l f - w i n d o w w
i j l
w i t h s e r i a l n u m b e r s e r i s o f t h e f o r m
E ( s e r i ; j ; l ; b
i j l
i j l
) ; b
i j l
;
i j l
s i g ( i ; j ; x
i j l
) ] . H e r e t h e \ h a l f - w i n d o w l a b e l " i s a b i t , t h e \ h a l f -
w i n d o w p s e u d o l a b e l " b
i j l
i s a r a n d o m b i t , t h e \ h a l f - w i n d o w v a l u e " x
i j l
i s a r a n d o m s t r i n g , a n d t h e
\ h a l f - w i n d o w v a l u e m a s k "
i j l
i s a r a n d o m s t r i n g . W e r e f e r t o t h e c o m p o n e n t s o f a h a l f - w i n d o w a s
t h e l e f t s i d e ( e n c r y p t e d p s e u d o l a b e l a n d m a s k ) , p s e u d o l a b e l , a n d r i g h t s i d e ( m a s k e d s i g n a t u r e ) o f
t h e h a l f - w i n d o w .
A h a l f - w i n d o w l i n k L ( w
i j l
; w
i j l
) b e t w e e n h a l f - w i n d o w s w
i j l
; w
i j l
w i t h s e r i a l n u m b e r s e r i s o f
t h e f o r m L ( w
i j l
; w
i j l
) = E ( s e r i ; j ; l ; i
0
; j
0
; l
0
i j l ; i j l
) ;
i j l ; i j l
s i g ( i ; j ; x
i j l
i
0
; j
0
; x
i j l
) ] . H e r e
t h e \ h a l f - w i n d o w l i n k m a s k "
i j l ; i j l
i s a r a n d o m s t r i n g , a n d x
i j l
; x
i j l
a r e t h e h a l f - w i n d o w v a l u e s
o f w
i j l
; w
i j l
r e s p e c t i v e l y . T h e t w o c o m p o n e n t s o f a h a l f - w i n d o w l i n k a r e r e f e r r e d t o a s t h e l e f t s i d e
( e n c r y p t e d p s e u d o l a b e l s a n d m a s k ) a n d r i g h t s i d e ( m a s k e d s i g n a t u r e ) o f t h e h a l f - w i n d o w l i n k .
A w i n d o w w
i j l
w i t h s e r i a l n u m b e r s e r i s o f t h e f o r m w
i j l
= w
0
i j l
; w
1
i j l
] , w h e r e b o t h h a l f - w i n d o w s
h a v e s e r i a l n u m b e r s e r , a n d w h e r e t h e p s e u d o l a b e l s b
0
i j l
; b
1
i j l
a r e u n e q u a l r a n d o m b i t s .
A r o w W
i l
o f l e n g t h m w i t h s e r i a l n u m b e r s e r i s o f t h e f o r m W
i l
= w
i 1 l
; ; w
i m l
;
f L ( w
i j l
; w
i j + 1 l
) 2 f 0 ; 1 g ;
0
2 f 0 ; 1 g ; 1 j m 1 g ] , w h e r e a l l w i n d o w s a n d l i n k s h a v e s e r i a l
n u m b e r s e r
A s t r u c t W o f l e n g t h m w i t h s e r i a l n u m b e r s e r a n d s e c u r i t y p a r a m e t e r k i s o f t h e f o r m W =
W
1 0
; W
1 1
; W
2 0
; W
2 1
; ; W
k 0
; W
k 1
; f L ( w
i m l
; w
i + 1 1 l
) ;
0
; l ; l
0
2 f 0 ; 1 g ; 1 i k g ] , w h e r e a l l r o w s
a n d l i n k s h a v e s e r i a l n u m b e r s e r
T h e O b l i v i o u s A u t h e n t i c a t i o n p r o t o c o l R ; A ; e ] , w i t h s h a r e d s t r i n g s , p r o c e e d s a s f o l l o w s :
1 . I n R o u n d O n e , t h e f o l l o w i n g m e s s a g e s a r e s e n t :
( a ) R ! A : t h e l e f t s i d e o f e v e r y h a l f - w i n d o w a n d h a l f - w i n d o w l i n k i n W , a n d b
i j l
1 i
k ; 1 j m ; l 2 f 0 ; 1 g ; = z
i l
j ] , w h e r e
i W i s a n u n u s e d s t r u c t o f l e n g t h m o w n e d b y R
i i R c h o o s e s r
1 0
; r
1 1
; ; r
k 0
; r
k 1
u n i f o r m l y a t r a n d o m , a n d z
i l
= e ( s ; r
i l
)
( b ) A ! R : c h a l l
1
; ; c h a l l
k
2 f 0 ; 1 g
k
, a s s u m i n g t h a t t h e m e s s a g e s r e c e i v e d s o f a r a r e
c o n s i s t e n t a n d c o r r e c t ( o t h e r w i s e , A t e r m i n a t e s t h e p r o t o c o l ) ; i . e . ,
i . T h e d e c r y p t i o n s o f t h e l e f t s i d e s o f h a l f - w i n d o w s a n d h a l f - w i n d o w l i n k s s e n t b y R
a r e s y n t a c t i c a l l y c o r r e c t .
i i . T h e d e c r y p t i o n s o f t h e l e f t s i d e s o f h a l f - w i n d o w s a n d h a l f - w i n d o w l i n k s b e g i n w i t h
a c o m m o n s e r i a l n u m b e r s e r
i i i . T h e c o m m o n s e r i a l n u m b e r s e r h a s n o t b e e n s e e n b y A i n a n y p r e v i o u s e x e c u t i o n
o f t h e p r o t o c o l .
2 . I n R o u n d T w o , t h e f o l l o w i n g m e s s a g e s a r e s e n t :
1 1
8/14/2019 offline ecash
12/20
( a ) R ! A : t h e r i g h t s i d e o f e v e r y h a l f - w i n d o w i n W
i ; c h a l l
i
f o r a l l 1 i k ; t h e r i g h t s i d e
o f e v e r y h a l f - w i n d o w l i n k L ( w
i ; j ; c h a l l
i
; w
i j + 1 ; c h a l l
i
) f o r a l l 1 i ; i
0
k , 1 j < m ; a n d
r
i ; c h a l l
i
f o r a l l 1 i k
( b ) A ! R :
i ; j ; 1 c h a l l
i
f o r e v e r y b
i ; j ; 1 c h a l l
i
;
i ; j ; 1 c h a l l
i
; i ; j + 1 1 c h a l l
i
f o r e v e r y
b
i ; j ; 1 c h a l l
i
; b
i j + 1 1 c h a l l
i
; a n d
i ; m ; 1 c h a l l
i
i + 1 1 1 c h a l l
i + 1
f o r e v e r y
b
i ; m ; 1 c h a l l
i
; b
i + 1 1 1 c h a l l
i + 1
r e c e i v e d b y A i n R o u n d O n e , a s s u m i n g t h a t t h e m e s s a g e s
r e c e i v e d s o f a r a r e c o n s i s t e n t a n d c o r r e c t ( o t h e r w i s e , A t e r m i n a t e s t h e p r o t o c o l ) ; i . e . ,
i . F o r e v e r y h a l f - w i n d o w i n e v e r y c h a l l e n g e d r o w , t h e x o r o f t h e r i g h t s i d e w i t h t h e
m a s k f r o m t h e l e f t s i d e y i e l d s a v a l i d s i g n a t u r e .
i i . F o r e v e r y f u l l y r e v e a l e d h a l f - w i n d o w l i n k , t h e x o r o f t h e r i g h t s i d e w i t h t h e m a s k
f r o m t h e l e f t s i d e y i e l d s a v a l i d s i g n a t u r e , a n d t h e h a l f - w i n d o w s i t c o n n e c t s h a v e
c o n s i s t e n t h a l f - w i n d o w v a l u e s .
i i i . E v e r y z
i ; c h a l l
i
( c o m p u t a b l e s i n c e e v e r y f u l l y r e v e a l e d h a l f - w i n d o w e x p o s e s t h e c o r r e -
s p o n d e n c e b e t w e e n t h e p s e u d o l a b e l b
i j l
a n d l a b e l ) s a t i s e s z
i ; c h a l l
i
= e ( s ; r
i ; c h a l l
i
)
3 R n d s r ; ] w h e r e
( a ) r = r
1 1 c h a l l
1
; ; r
k 1 c h a l l
k
( b ) = s i g b i t s ( z ) ; i n l i n k s ( z ) ; o u t l i n k s ( z ) ] w h e r e
i . s i g b i t s ( z ) = s i g ( i ; j ; x
i ; j ; 1 c h a l l
i
) : 1 i k ; 1 j m ; = z
i 1 c h a l l
i
j
i i . i n l i n k s ( z ) = s i g ( i ; j ; x
i ; j ; 1 c h a l l
i
i ; j + 1 ; x
i j + 1 1 c h a l l
i
) : 1 i k ; 1 j m
1 ; = z
i 1 c h a l l
i
: j ;
0
= z
i 1 c h a l l
i
j + 1 ] .
i i i . o u t l i n k s ( z ) = s i g ( i ; m ; x
i ; m ; 1 c h a l l
i
i + 1 ; 1 ; x
i + 1 1 1 c h a l l
i + 1
) : 1 i k 1 ; =
z
i 1 c h a l l
i
: m ;
0
= z
i + 1 1 c h a l l
i + 1
1
4 R a c c e p t s i f t h e f o l l o w i n g V a l i d i t y P r o p e r t i e s a r e s a t i s e d :
( a ) s i g b i t s ( z ) a r e g o o d s i g n a t u r e s w i t h p r o p e r i n d i c e s .
( b ) I n l i n k s ( z ) a n d o u t l i n k s ( z ) a r e g o o d s i g n a t u r e s w i t h p r o p e r i n d i c e s a n d h a l f - w i n d o w v a l -
u e s t h a t a r e c o n s i s t e n t w i t h t h e h a l f - w i n d o w v a l u e s o f s i g b i t s ( z )
G i v e n t h e p r e - p r o c e s s i n g s t a g e ( t r u s t e d m a n u f a c t u r e r , o r s e c u r e 2 - p a r t y p r o t o c o l u s i n g O b l i v i o u s
T r a n s f e r ) , w e c a n a s s u m e t h a t t h e r e q u e s t o r h a s b e e n g i v e n a s u c i e n t s u p p l y o f v a l i d s t r u c t s w i t h
u n i q u e s e r i a l n u m b e r s . W e c l a i m t h a t t h e p r o t o c o l d e s c r i b e d a b o v e s a t i s e s t h e f o u r r e q u i r e m e n t s
o f a n o b l i v i o u s a u t h e n t i c a t i o n s c h e m e .
T h e r s t r e q u i r e m e n t ( v a l i d i t y ) i s s a t i s e d w i t h r e s p e c t t o t h e v a l i d i t y p r o p e r t i e s c h e c k e d b y R
i n S t e p 4 o f t h e p r o t o c o l .
F o r t h e s e c o n d r e q u i r e m e n t ( o b l i v i o u s n e s s ) , i t s u c e s t o o b s e r v e t h a t t h e v i e w o f A o f a n
e x e c u t i o n o f t h e p r o t o c o l c a n b e s a m p l e d e c i e n t l y b y A g i v e n o n l y t h e s h a r e d s t r i n g a n d i t s r a n d o m
t a p e , a s s u m i n g t h a t A c a n c o m p u t e s i g a n d E o n i t s o w n . T h e r a n d o m t a p e o f A o n l y d e t e r m i n e s
t h e k c h a l l e n g e b i t s , b u t t h e s e a r e n o t r e l e v a n t t o a n y c o m p u t a t i o n s i n c e d i e r e n t c h a l l e n g e s c o u l d
l e a d t o t h e s a m e r ; i f t h e h a l f - w i n d o w s o f t h e s t r u c t h a d b e e n i p p e d a p p r o p r i a t e l y i n i t i a l l y . T h u s
1 2
8/14/2019 offline ecash
13/20
t h e v i e w o f A c a n b e s a m p l e d w i t h r e s p e c t t o a u n i f o r m l y r a n d o m s e t o f c h a l l e n g e s w i t h o u t a e c t i n g
t h e s u c c e s s o f a n y g u e s s i n g T M M
0
T o a d d r e s s t h e o t h e r r e q u i r e m e n t s , n o t e t h a t t h e o n l y s i g n a t u r e s t h a t R c a n p r o d u c e t o s a t i s f y
t h e v a l i d i t y p r o p e r t i e s ( l i s t e d i n S t e p 4 o f t h e p r o t o c o l ) a r e t h o s e t h a t a r e p a t h s t h r o u g h s t r u c t s
r e c e i v e d f r o m t h e m a n u f a c t u r e r . A t l e a s t o n e n e w i n l i n k o r o u t l i n k w o u l d b e r e q u i r e d t o c r e a t e a
n e w s i g n a t u r e f r o m o l d o n e s , a n d t h i s i s i m p o s s i b l e f o r t h e r e q u e s t o r t o d o s i n c e t h e u n d e r l y i n g
s i g n a t u r e s c h e m e s i g i s e x i s t e n t i a l l y u n f o r g e a b l e a g a i n s t a c h o s e n m e s s a g e a t t a c k ( i n f a c t , i t s u c e s
t h a t t h e s i g n a t u r e s c h e m e b e e x i s t e n t i a l l y u n f o r g e a b l e u n d e r a r a n d o m m e s s a g e a t t a c k ) .
T h i s o b s e r v a t i o n i m m e d i a t e l y i m p l i e s t h a t t h e f o u r t h r e q u i r e m e n t ( u n e x p a n d a b i l i t y ) i s s a t i s e d ,
T h i s i s b e c a u s e t h e a u t h e n t i c a t o r o n l y u n m a s k s a s i n g l e p a t h t h r o u g h e a c h o f n s t r u c t s n o m a t t e r
h o w t h e R e q u e s t o r b e h a v e s . T o c r e a t e n + 1 p a t h s f r o m t h e s e w o u l d r e q u i r e r e u s e o f s o m e w i n d o w s ,
w h i c h w o u l d r e q u i r e c r e a t i o n o f n e w h a l f - w i n d o w l i n k s t h a t d i d n ' t a p p e a r i n t h e o r i g i n a l u n m a s k e d
p a t h s . T h i s w o u l d v i o l a t e t h e e x i s t e n t i a l u n f o r g e a b i l i t y o f t h e u n d e r l y i n g s i g n a t u r e s c h e m e .
T h e o b s e r v a t i o n a l s o i m p l i e s t h a t t h e t h i r d r e q u i r e m e n t ( u n f o r g e a b i l i t y ) i s s a t i s e d . S i n c e n o
c h e a t i n g R e q u e s t o r c a n p r o d u c e a p a t h t h r o u g h a s t r u c t o t h e r t h a n t h e n t h a t a r e u n m a s k e d b y t h e
A u t h e n t i c a t o r , t h e o n l y w a y t o a c h i e v e a f o r g e r y i s w i t h o n e o f t h o s e n u n m a s k e d p a t h s i t s e l f . T h e
A u t h e n t i c a t o r n e v e r u n m a s k s a p a t h u n l e s s z = e ( s ; r
i j
) f o r a l l c h a l l e n g e d r o w s . W i t h p r o b a b i l i t y
a t l e a s t 1 2
k = 2
, t h i s r e l a t i o n a l s o h o l d s f o r a m a j o r i t y o f t h e k u n c h a l l e n g e d ( a n d s u b s e q u e n t l y
u n m a s k e d ) e n t r i e s i n t h e p a t h . W i t h p r o b a b i l i t y a t l e a s t 1 n 2
k = 2
, a m a j o r i t y o f t h e k e n t r i e s
i n e a c h o f t h e n u n m a s k e d p a t h s e m b e d t h e a p p r o p r i a t e s e c r e t . S o n o m a t t e r h o w t h e R e q u e s t o r
b e h a v e s , w i t h o v e r w h e l m i n g p r o b a b i l i t y h e i s e i t h e r c a u g h t c h e a t i n g o r h e e n d s u p w i t h s i g n e d
e l e m e n t s w h i c h e m b e d t h e a p p r o p r i a t e s e c r e t s u n a m b i g u o u s l y . 2
4 E m b e d d i n g S c h e m e
I n f o r m a l l y , a n E m b e d d i n g s c h e m e a l l o w s a s e c r e t t o b e h i d d e n s o t h a t i t c a n b e r e v e a l e d g r a d u a l l y .
W i t n e s s e s t o t h e s e c r e t c a n b e c o n s t r u c t e d t h a t a r e e a s i l y v e r i a b l e b y a n y o n e , s u c h t h a t t h e s e c r e t
i s r e v e a l e d b y a n y t w o w i t n e s s e s , b u t i n a c c e s s i b l e g i v e n o n l y o n e w i t n e s s .
4 . 1 F o r m a l D e n i t i o n o f E m b e d d i n g S c h e m e
D e n i t i o n 2 A n e m b e d d i n g s c h e m e i s a p a i r o f f u n c t i o n s e ; W s u c h t h a t t h e f o l l o w i n g r e q u i r e m e n t s
a r e s a t i s e d :
1 . ( P s e u d o - I n j e c t i v e ) F r o m s ; r ; i i t i s h a r d t o c o m p u t e a n y W ( s
0
; r
0
; i ) s u c h t h a t e ( s ; r ) = e ( s
0
; r
0
)
w h i l e s ; r 6= s
0
; r
0
2 . ( O n c e - C o n c e a l e d ) I f z = e ( s ; r ) , a n d h
i
= W ( s ; r ; i ) , t h e n f o r e v e r y s ; s
0
; i i t i s h a r d g i v e n
s ; s
0
; z ; i ; h
i
t o d i s t i n g u i s h t h e c o r r e c t s f r o m t h e i n c o r r e c t s
0
n o n - n e g l i g i b l y b e t t e r t h a n r a n d o m
g u e s s i n g , f o r a l l b u t a n e g l i g i b l e f r a c t i o n o f r
3 . ( T w i c e - R e v e a l e d ) I f z = e ( s ; r ) , h
i
= W ( s ; r ; i ) , a n d h
j
= W ( s ; r ; j ) , t h e n i t e a s y t o d e t e r m i n e
s f r o m z ; i ; j ; h
i
; h
j
w h e n e v e r i 6= j
4 . ( C h e c k a b l e ) I f z = e ( s ; r ) , t h e n i t i s e a s y t o d e t e r m i n e f r o m z ; h ; i w h e t h e r t h e y a r e c o n s i s t e n t
( i . e . , w h e t h e r t h e r e e x i s t s ; r s u c h t h a t z = e ( s ; r ) w h i l e h = W ( s ; r ; i ) )
1 3
8/14/2019 offline ecash
14/20
4 . 2 H e u r i s t i c I m p l e m e n t a t i o n o f E m b e d d i n g S c h e m e
T h e c u t - a n d - c h o o s e s c h e m e o f C h a u m , F i a t , a n d N a o r 5 ] i s a h e u r i s t i c e m b e d d i n g s c h e m e . L e t
f a n d g b e t w o - a r g u m e n t c o l l i s i o n - f r e e f u n c t i o n s , s u c h t h a t f i s \ s i m i l a r t o a r a n d o m o r a c l e " ,
a n d s u c h t h a t g i s o n e - t o - o n e w h e n i t s r s t a r g u m e n t i s x e d . A s e c r e t s i s h i d d e n a s e ( s ; r ) =
f ( x
1
; y
1
) ; ; f ( x
k
; y
k
) w h e r e x
i
= g ( a
i
; b
i
) ; y
i
= g ( a
i
s ; c
i
) f o r e a c h 1 i k ; h e r e a l l a
i
; b
i
; c
i
a r e d e t e r m i n e d f r o m t h e r a n d o m i n p u t r . T h e w i t n e s s f u n c t i o n W i s g i v e n b y W ( s ; ; r ;
k
1
) =
u
1
; v
1
; w
1
; ; u
k
; v
k
; w
k
] . H e r e u
i
= g ( a
i
; b
i
) ; v
i
= a
i
s ; w
i
= c
i
w h e n
i
= 0 , a n d u
i
= a
i
; v
i
=
b
i
; w
i
= g ( a
i
s ; c
i
) w h e n
i
= 1
I n a s e n s e , e a c h o f t h e k c o m p o n e n t s i s \ d e - n e s t e d " i n a p a r t i c u l a r w a y , r e v e a l i n g t h e l o w e s t
l e v e l o f o n e h a l f , a n d t h e i n t e r m e d i a t e l e v e l o f t h e o t h e r h a l f . T w o d i s t i n c t w i t n e s s e s g i v e s t h e
l o w e s t l e v e l s o f b o t h h a l v e s o f s o m e c o m p o n e n t , f r o m w h i c h t h e s e c r e t s c a n b e r e c o v e r e d . T h e
p r o p e r t i e s o f a n E m b e d d i n g s c h e m e c a n b e s e e n t o h o l d h e u r i s t i c a l l y ( b u t n o t f o r m a l l y , d u e i n p a r t
t o t h e d i c u l t y o f f o r m a l i z i n g t h e r e q u i r e d p r o p e r t i e s o f f a n d g )
4 . 3 P r o v a b l y S e c u r e E m b e d d i n g S c h e m e
I n t h i s s e c t i o n , w e p r e s e n t a n i m p l e m e n t a t i o n o f a n e m b e d d i n g s c h e m e t h a t i s p r o v a b l y s e c u r e u n d e r
t h e D i s c r e t e L o g A s s u m p t i o n . I n t u i t i v e l y , t h e s e c r e t i s g i v e n b y a s e t o f l i n e s w h o s e s l o p e s e n c o d e
t h e s e c r e t . O n e h i n t g i v e s a p o i n t o n e a c h l i n e ; t w o h i n t s a l l o w s a l l o f t h e l i n e s t o b e r e c o v e r e d
t h r o u g h i n t e r p o l a t i o n . E x p o n e n t i a t i o n o f t h e l i n e c o e c i e n t s m o d u l o a l a r g e p r i m e b o t h h i d e s
t h e c o e c i e n t s ( u n l e s s d i s c r e t e l o g s c a n b e e a s i l y c o m p u t e d ) , a n d e n a b l e s a n y o n e t o e a s i l y v e r i f y
t h e i n c i d e n c e o f p o i n t s o n l i n e s ( t h a n k s t o t h e l a w s o f e x p o n e n t s ) . S u b s e q u e n t t o o u r w o r k , o t h e r
o - l i n e c o i n s c h e m e s h a v e a l s o u s e d l i n e - b a s e d e m b e d d i n g s c h e m e s 1 4 ] 3 ] .
T h e o r e m 2 U n d e r t h e D i s c r e t e L o g A s s u m p t i o n , t h e r e e x i s t s a s e c u r e E m b e d d i n g s c h e m e
P r o o f : L e t p b e a l a r g e p r i m e s u c h t h a t p 1 h a s o n e l a r g e f a c t o r q , a n d l e t g 2 Z
p
. L e t H b e a
h a r d b i t f o r t h e d i s c r e t e l o g . D e n e e ( s ; r ) t o b e g
a
1
m o d p ; g
b
1
m o d p ; ; g
a
s
m o d p ; g
b
s
m o d p
w h e r e s i = H ( g
a
i
m o d p ) f o r a l l i , a
i
< q f o r e a c h i , a n d e a c h a
i
; b
i
i s o t h e r w i s e r a n d o m ( g i v e n b y ,
s a y , b i t s r ( i 1 ) ( p + q 1 ) + 1 ; ; i ( p + q 1 ) ] o f r ) . D e n e W ( s ; r ; i ) t o b e a
1
i + b
1
m o d p
1 ; ; a
s
i + b
s
m o d p 1 ] . W e s h o w t h a t t h e f o u r r e q u i r e m e n t s o f a n E m b e d d i n g s c h e m e a r e
s a t i s e d :
1 . ( P s e u d o - I n j e c t i v e ) T h i s i s t r i v i a l l y s a t i s e d , s i n c e e i s i n j e c t i v e .
2 . ( O n c e - C o n c e a l e d ) S u p p o s e t h a t i n f o r m a t i o n a b o u t s
i
= H ( g
a
i
m o d p ) c o u l d b e d e t e r m i n e d
w i t h p r o b a b i l i t y b e t t e r t h a n r a n d o m g u e s s i n g f r o m g
a
i
m o d p ; g
b
i
m o d p ; i ; a
i
i + b
i
m o d p 1
T h e n H i s n o t a h a r d b i t f o r t h e d i s c r e t e l o g , s i n c e H ( g
x
m o d p ) c o u l d t h u s b e d e t e r m i n e d
f r o m g
x
m o d p b e t t e r t h a n r a n d o m g u e s s i n g b y c o n v e r t i n g i t i n t o t h e f o r m e r p r o b l e m : g
x
m o d
p ; ( g
x
m o d p )
i
g
r
m o d p ; i ; r f o r r a n d o m r 2 Z
p 1
3 . ( T w i c e - R e v e a l e d ) F o r e a c h 1 l s , i n t e r p o l a t e ( i ; a
l
i + b
l
m o d p 1 ) a n d ( j ; a
l
j + b
l
m o d p
1 ) t o r e c o v e r a l i n e s u c h t h a t t h e s l o p e i s l e s s t h a n q . E a c h s u c h l i n e i s u n i q u e l y d e t e r m i n e d
u n l e s s i j i s a m u l t i p l e o f q ( w h i c h i s i m p o s s i b l e f o r i 6= j w h e n 0 < i ; j < q ) . T h e h a r d b i t s
o f t h e s l o p e s y i e l d t h e b i t s o f s , a n d t h e o t h e r b i t s o f t h e c o e c i e n t s r e v e a l t h e b i t s o f r
1 4
8/14/2019 offline ecash
15/20
4 . ( C h e c k a b l e ) G i v e n z = z
1 1
; z
1 2
; ; z
s 1
; z
s 2
; h
1
; ; h
s
; i , t h e c h e c k f o r c o n s i s t e n c y i s t h a t
z
i
l 1
z
l 2
= g
h
m o d p f o r e a c h 1 l s
2
5 O - L i n e C o i n S c h e m e
I n f o r m a l l y , a n e l e c t r o n i c c o i n s c h e m e 4 ] i s t h e s i m p l e s t u s e f u l e l e c t r o n i c p a y m e n t s y s t e m . A n y
c u s t o m e r c a n w i t h d r a w a c o i n f r o m t h e b a n k , a s t h e b a n k d e b i t s t h e c u s t o m e r ' s a c c o u n t . T h a t
c o i n c a n t h e n b e u s e d t o p u r c h a s e f r o m a n y v e n d o r . T h e v e n d o r w i l l b e a b l e t o t r u s t t h a t t h e c o i n
i s g e n u i n e . A v e n d o r c a n l a t e r d e p o s i t a c o i n , a n d t h e b a n k w i l l c r e d i t t h e v e n d o r ' s a c c o u n t . T h e
r i g h t s a n d p r i v i l e g e s o f c u s t o m e r s , v e n d o r s , a n d t h e b a n k a r e a l l p r o t e c t e d w i t h i n t h e s c h e m e . T h e
c u s t o m e r i s g u a r a n t e e d a n o n y m i t y o f p u r c h a s e , i . e . , t h a t t h e b a n k c a n n o t l i n k a d e p o s i t e d c o i n t o
i t s c o r r e s p o n d i n g w i t h d r a w a l . T h e v e n d o r i s g u a r a n t e e d t h a t a n y a c c e p t a b l e p u r c h a s e w i l l l e a d t o
a n a c c e p t a b l e d e p o s i t . T h e b a n k i s g u a r a n t e e d t h a t n o n u m b e r o f w i t h d r a w a l s c a n l e a d t o a g r e a t e r
n u m b e r o f d e p o s i t s .
I n a n o - l i n e c o i n s c h e m e 5 ] , t h e b a n k i s n o t c o n t a c t e d d u r i n g p u r c h a s e s . T h u s p r o t e c t i o n
a g a i n s t t h e s a m e c o i n b e i n g r e u s e d w i t h d i e r e n t v e n d o r s c a n o n l y b e g u a r a n t e e d i n d i r e c t l y . R e -
p e a t e d p u r c h a s e s w i t h t h e s a m e c o i n w i l l b e a c c e p t e d i n i t i a l l y , b u t t h e c u s t o m e r w i l l b e c a u g h t a f t e r
t h e v e n d o r s m a k e t h e i r d e p o s i t s . F r o m t w o d e p o s i t e d v e r s i o n s o f t h e s a m e c o i n , t h e i d e n t i t y o f t h e
c u s t o m e r c a n b e e c i e n t l y e x t r a c t e d ( a n d t h e c u s t o m e r t h e n p e n a l i z e d a p p r o p r i a t e l y ) . O n e o f t h e
m a i n d i c u l t i e s o f c o n s t r u c t i n g a n o - l i n e c o i n s c h e m e i s t o b a l a n c e t h i s n e e d f o r r e u s e e x p o s u r e
w i t h t h e n e e d f o r a n o n y m i t y o f p u r c h a s e .
5 . 1 D e n i t i o n o f S e c u r e O - L i n e C o i n s
T h e r e i s a b a n k B , a c o l l e c t i o n o f v e n d o r s f V
i
g , a n d a c o l l e c t i o n o f c u s t o m e r s f C
i
g , a l l o f w h o m
a r e a s s u m e d t o b e c o m m u n i c a t i n g T u r i n g M a c h i n e s . T h e r e i s a s e c u r i t y p a r a m e t e r k
A n o - l i n e c o i n s c h e m e c o n s i s t s o f t h r e e p r o t o c o l s : a w i t h d r a w a l p r o t o c o l b e t w e e n B a n d a n y
C
i
; a p u r c h a s e p r o t o c o l b e t w e e n a n y C
i
a n d a n y V
j
; a n d a d e p o s i t p r o t o c o l b e t w e e n a n y V
j
a n d
B . T h e w i t h d r a w a l p r o t o c o l b e g i n s w i t h C
i
a n d B h a v i n g i d
i
o n t h e i r s h a r e d i n p u t t a p e , a n d e n d s
w i t h C
i
h a v i n g a \ c o i n " o n i t s p r i v a t e o u t p u t t a p e . T h e p u r c h a s e p r o t o c o l b e g i n s w i t h C
i
h a v i n g
a c o i n o n i t s i n p u t t a p e , a n d e n d s w i t h V
j
h a v i n g a \ s p e n t c o i n "
0
o n i t s p r i v a t e o u t p u t t a p e .
T h e d e p o s i t p r o t o c o l b e g i n s w i t h V
j
h a v i n g a s p e n t c o i n
0
o n i t s i n p u t t a p e a n d e n d s w i t h B
h a v i n g a \ d e p o s i t e d c o i n "
0 0
o n i t s p r i v a t e o u t p u t t a p e .
W e c a p t u r e t h e s e c u r i t y o f a n o - l i n e c o i n s c h e m e i n f o u r r e q u i r e m e n t s . U n r e u s a b i l i t y m e a n s
t h a t t h e s a m e c o i n c a n n o t b e s p e n t t w i c e w i t h o u t r e v e a l i n g t h e i d e n t i t y o f t h e c u s t o m e r . U n e x p a n d -
a b i l i t y m e a n s t h a t m o r e c o i n s c a n n e v e r b e c o n s t r u c t e d f r o m f e w e r w i t h d r a w a l s . U n f o r g e a b i l i t y
m e a n s t h a t n o c o n s p i r a c y c a n c r e a t e a c o i n w i t h o u t h a v i n g t h e i d e n t i t y o f o n e o f i t s m e m b e r s e m -
b e d d e d w i t h i n i t . U n t r a c e a b i l i i t y i s s t a t e d s t r o n g l y , i n t h a t n o p u r c h a s e c a n b e l i n k e d b y t h e b a n k
t o i t s c o r r e s p o n d i n g w i t h d r a w a l e v e n i f s o m e h o w n a r r o w e d d o w n t o o n l y t w o p o s s i b l e w i t h d r a w a l
i n s t a n c e s ( a n d b y u n f o r g e a b i l i t y , e v e r y c o i n c a n b e t r a c e d t o s o m e o n e ) .
D e n i t i o n 3 A n o - l i n e c o i n s c h e m e i s s e c u r e i f t h e f o l l o w i n g r e q u i r e m e n t s a r e s a t i s e d :
1 5
8/14/2019 offline ecash
16/20
1 . ( U n r e u s a b l e ) I f a n y C
i
b e g i n s t w o s u c c e s s f u l p u r c h a s e p r o t o c o l s w i t h t h e s a m e c o i n o n i t s
i n p u t t a p e , t h e n t h e f a c t o f r e u s e a n d t h e i d e n t i t y i d
i
c a n b e c o m p u t e d i n p . p . t . f r o m t h e t w o
c o r r e s p o n d i n g d e p o s i t e d c o i n s
0 0
1
;
0 0
2
, e x c e p t w i t h n e g l i g i b l e p r o b a b i l i t y ( i n k )
2 . ( U n e x p a n d a b l e ) F r o m t h e v i e w s o f t h e c u s t o m e r s o f n w i t h d r a w a l p r o t o c o l s , n o p . p . t . T u r i n g
M a c h i n e c a n c o m p u t e n + 1 d i s t i n c t c o i n s t h a t w i l l l e a d t o s u c c e s s f u l p u r c h a s e p r o t o c o l s ( o r
n + 1 d i s t i n c t s p e n t c o i n s t h a t w i l l l e a d t o s u c c e s s f u l d e p o s i t p r o t o c o l s ) , e x c e p t w i t h n e g l i g i b l e
p r o b a b i l i t y ( i n k )
3 . ( U n f o r g e a b l e ) I f , f r o m t h e v i e w s o f t h e c u s t o m e r s o f n w i t h d r a w a l p r o t o c o l s , s o m e p . p . t . T u r i n g
M a c h i n e c a n c o m p u t e a s i n g l e c o i n t h a t w i l l l e a d t o t w o s u c c e s s f u l p u r c h a s e p r o t o c o l s , t h e n
t h e f a c t o f r e u s e a n d t h e i d e n t i t y o f a t l e a s t o n e o f t h e s e c u s t o m e r s c a n b e e c i e n t l y c o m p u t e d
f r o m t h e t w o c o r r e s p o n d i n g d e p o s i t e d c o i n s , e x c e p t w i t h n e g l i g i b l e p r o b a b i l i t y ( i n k )
4 . ( U n t r a c e a b l e ) L e t V
i
B
( V
i
V
) b e t h e v i e w o f B ( V ) f o r a w i t h d r a w a l ( p u r c h a s e ) p r o t o c o l w i t h
C
i
. T h e n , f o r a l l i ; j , n o p . p . t . T u r i n g M a c h i n e o n i n p u t V
i
B
; V
j
B
, a n d V
l
V
2
R
f V
i
V
; v
j
V
g , c a n
o u t p u t a g u e s s f o r l 2 f i ; j g n o n - n e g l i g i b l y b e t t e r t h a n r a n d o m g u e s s i n g ( i n k )
W e n o t e t h a t t h i s d e n i t i o n f a i l s t o c a p t u r e \ u n l i n k a b i l i t y " o f c o i n s , i . e . , t h a t t h e B a n k s h o u l d
b e u n a b l e t o l i n k t w o o r m o r e p u r c h a s e s t o t h e s a m e ( u n k n o w n ) c u s t o m e r . H o w e v e r , a l t h o u g h w e d o
n o t f o r m a l i z e t h e n o t i o n , t h e o - l i n e c o i n p r o t o c o l s w e p r e s e n t i n t h i s p a p e r d o a c h i e v e u n l i n k a b i l i t y .
U n l i n k a b i l i t y c o u l d b e f o r m a l i z e d a l o n g t h e l i n e s o f u n t r a c e a b i l i t y , a s f o l l o w s . G i v e n t h e B a n k ' s
v i e w s o f a n y n u m b e r o f w i t h d r a w a l p r o t o c o l s ( w h e r e s o m e s u b s e t a r e b y t h e s a m e C u s t o m e r ) , a n d
g i v e n V e n d o r s ' v i e w s o f t h e c o r r e s p o n d i n g p u r c h a s e p r o t o c o l s ( b u t p r e s e n t e d i n a r a n d o m o r d e r ) , a
p . p . t . T u r i n g M a c h i n e s h o u l d b e u n a b l e t o s e l e c t t w o l i n k e d p u r c h a s e s n o n - n e g l i g i b l y b e t t e r t h a n
r a n d o m g u e s s i n g .
5 . 2 P r o v a b l y S e c u r e O - L i n e C o i n S c h e m e
I n t h i s s e c t i o n , w e j u s t i f y o u r f o c u s o n O b l i v i o u s A u t h e n t i c a t i o n a n d E m b e d d i n g s c h e m e s . T h e
f o l l o w i n g t h e o r e m e s t a b l i s h e s a c o n n e c t i o n b e t w e e n t h e s e p r i m i t i v e s a n d s e c u r e o - l i n e c o i n s .
T h e o r e m 3 A s e c u r e o - l i n e c o i n s c h e m e i s p o s s i b l e g i v e n a n O b l i v i o u s A u t h e n t i c a t i o n s c h e m e
R ; A ; e s u c h t h a t e i s p a r t o f a n E m b e d d i n g s c h e m e e ; W
P r o o f :
W e c a n s h o w t h a t t h e f o l l o w i n g c o i n s c h e m e i s s e c u r e :
T h e W i t h d r a w a l p r o t o c o l i s a n i n s t a n c e o f t h e O b l i v i o u s A u t h e n t i c a t i o n s c h e m e w i t h t h e
i d e n t i t y i d
C
o f t h e C u s t o m e r a s t h e s h a r e d s t r i n g . T h e C u s t o m e r g e t s r ; a t t h e e n d o f t h e
O . A . p r o t o c o l , a n d c a n c o m p u t e t h e c o i n z ; w h e r e z = e ( s ; r )
T h e C u s t o m e r b e g i n s t h e P u r c h a s e p r o t o c o l b y s e n d i n g z ; t o t h e V e n d o r . T h e V e n d o r
r e s p o n d s b y s e n d i n g a r a n d o m c h a l l e n g e i t o t h e C u s t o m e r . T h e C u s t o m e r r e s p o n d s b y
s e n d i n g h
i
t o t h e V e n d o r , w h e r e h
i
= W ( s ; r ; i ) . T h e V e n d o r a c c e p t s t h e p u r c h a s e i f i s a
v a l i d s i g n a t u r e o f z u n d e r t h e B a n k ' s s e c r e t k e y , a n d i f z ; h
i
a r e c o n s i s t e n t .
F o r t h e D e p o s i t p r o t o c o l , t h e V e n d o r s e n d s z ; ; i ; h
i
t o t h e B a n k .
1 6
8/14/2019 offline ecash
17/20
1 . ( U n r e u s a b l e ) S u p p o s e t h a t t h e t w o p u r c h a s e s l e a v e t h e V e n d o r w i t h z ; ; h
0
i
a n d z ; ; h
0
j
a s
r e s p o n s e s t o h i s c h a l l e n g e s i a n d j r e s p e c t i v e l y . T h e f a c t o f r e u s e c a n b e d e t e c t e d b y t h e
B a n k a f t e r b o t h c o i n s a r e d e p o s i t e d . B y t w i c e - r e v e a l a b i l i t y o f t h e E m b e d d i n g s c h e m e , t h e n ,
t h e B a n k w i l l l e a r n t h e i d e n t i t y o f a d o u b l e s p e n d e r i f b o t h h
0
i
a n d h
0
j
a r e c o m p u t e d c o r r e c t l y .
I f a t l e a s t o n e o f t h e s e i s c o m p u t e d i n c o r r e c t l y , t h e n O n e - W a y n e s s o f t h e E m b e d d i n g s c h e m e
w o u l d b e v i o l a t e d .
2 . ( U n e x p a n d a b l e ) V i o l a t i o n o f u n e x p a n d a b i l i t y f o r o - l i n e c o i n s i m p l i e s a v i o l a t i o n o f u n e x -
p a n d a b i l i t y f o r O b l i v i o u s A u t h e n t i c a t i o n . T h i s i s b e c a u s e t h e V e n d o r w i l l r e j e c t a n y p u r c h a s e
u s i n g a c o i n z ; ] u n l e s s i s a v a l i d s i g n a t u r e o f z . T h u s n + 1 s u c c e s s f u l p u r c h a s e e s w i t h
d i s t i n c t c o i n s i m p l i e s n + 1 v a l i d s i g n a t u r e s , w h i c h c a n n o t b e o b t a i n e d f r o m n O . A . e x e c u t i o n s .
3 . ( U n f o r g e a b l e ) V i o l a t i o n o f u n f o r g e a b i l i t y f o r o - l i n e c o i n s i m p l i e s a v i o l a t i o n o f u n f o r g e a b i l i t y
f o r O b l i v i o u s A u t h e n t i c a t i o n . T h e V e n d o r r e j e c t s a n y p u r c h a s e u n l e s s i t u s e s a c o i n z ;
w h e r e i s a v a l i d s i g n a t u r e o f z . T h i s i m p l i e s t h a t z = e ( s
i
; r
i
) w h e r e s
i
w a s t h e s h a r e d
s e c r e t f o r o n e o f t h e ( W i t h d r a w a l ) O . A . e x e c u t i o n s . D o u b l e s p e n d i n g w i l l c a u s e s
i
t o b e
r e v e a l e d , w h i c h w i l l t e l l t h e B a n k t h e i d e n t i t y o f t h e C u s t o m e r .
4 . ( U n t r a c e a b l e ) L e t M b e a p . p . t . T M w i t h i n p u t V
i
B
; V
j
B
; V
V
l
t h a t o u t p u t s a g u e s s f o r l w i t h
s u c c e s s n o n - n e g l i g i b l y b e t t e r t h a n r a n d o m g u e s s i n g . L e t s
i
; s
j
b e t h e s h a r e d s e c r e t s f o r t h e t w o
W i t h d r a w a l p r o t o c o l s , a n d l e t k ; h
k
b e t h e h i n t o f t h e w i t n e s s g i v e n i n t h e P u r c h a s e p r o t o c o l .
B y t h e o b l i v i o u s n e s s o f O . A . , t h e r e e x i s t s a p . p . t . T M M
0
w i t h i n p u t s
i
; s
j
; z ; ; k ; h
k
t h a t
g u e s s e s l w i t h n e g l i g i b l y c l o s e s u c c e s s ( v i e w i n g k ; h
k
a s a u x i l i a r y i n p u t t o M a n d M
0
) . T h i s
v i o l a t e s t h e o n c e - c o n c e a l e d p r o p e r t y o f t h e e m b e d d i n g s c h e m e , s i n c e M
0
, w i t h t h e p r i v a t e
s i g n a t u r e k e y o f B h a r d - w i r e d i n , c a n b e u s e d t o c h o o s e f r o m f s
i
; s
j
g g i v e n s
i
; s
j
; z ; k ; h
k
w i t h
a n o n - n e g l i g i b l e a d v a n t a g e o v e r r a n d o m g u e s s i n g .
2
6 I m p l i c a t i o n s
W e h a v e s h o w n t h a t a n y E m b e d d i n g s c h e m e , t o g e t h e r w i t h a n y O b l i v i o u s A u t h e n t i c a t i o n s c h e m e ,
i m p l i e s t h e e x i s t e n c e o f a s e c u r e o - l i n e c o i n s c h e m e . F o r e a c h o f E m b e d d i n g a n d O b l i v i o u s A u -
t h e n t i c a t i o n , w e h a v e s h o w n a n e w i m p l e m e n t a t i o n t h a t i s p r o v a b l y s e c u r e w i t h r e s p e c t t o c r y p -
t o g r a p h i c a s s u m p t i o n s , a n d p o i n t e d o u t e x i s t i n g i m p l e m e n t a t i o n s t h a t a r e h e u r i s t i c a l l y b u t n o t
p r o v a b l y s o u n d .
H o w p r a c t i c a l a r e o u r m e t h o d s ? I f b o t h o f o u r p r o v a b l y s e c u r e i m p l e m e n t a t i o n s a r e u s e d , t h e n
t h e r e s u l t i n g o - l i n e c o i n s c h e m e i s e c i e n t i n t h e s e n s e d e s c r i b e d i n S e c t i o n 1 . T h e c o m m u n i c a t i o n
c o m p l e x i t y i s a l o w - d e g r e e p o l y n o m i a l o f t h e r e l e v a n t p a r a m e t e r s . S p e c i c a l l y , t h e s i z e o f t h e c o i n
z ; i s O ( m k ) s i g n e d e l e m e n t s ; t h i s i s a l s o t h e c o m m u n i c a t i o n c o m p l e x i t y o f t h e p r o t o c o l . B y
h a s h i n g t h e c o m p o n e n t s o f z , m c a n b e r e d u c e d t o O ( k ) , f o r a t o t a l c o m p l e x i t y o f O ( k
2
s ) b i t s ,
w h e r e s i s t h e s i z e o f a s i g n a t u r e ( u s i n g t h e u n d e r l y i n g s i g n a t u r e s c h e m e s i g ) o f a s i n g l e b i t . I f a
t r u s t e d m a n u f a c t u r e r i s p r e s e n t , t h e n t h e p r e - p r o c e s s i n g s t a g e f o r e a c h c u s t o m e r c o n s i s t s o f a s i n g l e
t r a n s f e r o f s t r u c t s , u p o n r e q u e s t , f r o m t h e t r u s t e d m a n u f a c t u r e r t o t h e c u s t o m e r ( o r m o r e f r e q u e n t