Paper Info
Title
Design in Type-I, Run in Type-III: Fast and Scalable Bilinear-Type Conversion using Integer Programming.
Abstract
Bilinear type conversion is to convert cryptographic schemes designed over symmetric groups instantiated with imperilled curves into ones that run over more secure and efficient asymmetric groups. In this paper we introduce a novel type conversion method called IPConv using 0---1 Integer Programming. Instantiated with a widely available IP solver, it instantly converts existing intricate schemes, and can process large-scale schemes that involves more than a thousand variables and hundreds of pairings. Such a quick and scalable method allows a new approach in designing cryptographic schemes over asymmetric bilinear groups. Namely, designers work without taking much care about asymmetry of computation but the converted scheme runs well in the asymmetric setting. We demonstrate the usefulness of conversion-aided design by presenting somewhat counter-intuitive examples where converted DLIN-based Groth-Sahai proofs are more compact than manually built SXDH-based proofs.
Year
DOI
Venue
2016
10.1007/978-3-662-53015-3_14
IACR Cryptology ePrint Archive
Keywords
DocType
Volume
Conversion,Bilinear groups,Integer programming,Groth-Sahai proofs,Zero-knowledge
Conference
2016
ISSN
Citations 
PageRank 
0302-9743
2
0.38
References 
Authors
23
3
Name
Order
Citations
PageRank
Masayuki Abe1133568.58
Fumitaka Hoshino210610.10
Miyako Ohkubo366726.32