Duy Hoang Anh Do, Huy Van Quang Nguyen, Hy Dinh Ngo
{"title":"超音速snark及其应用","authors":"Duy Hoang Anh Do, Huy Van Quang Nguyen, Hy Dinh Ngo","doi":"10.1109/NICS51282.2020.9335838","DOIUrl":null,"url":null,"abstract":"Supersonic is a transparent SNARKs proposed by Bünz et al. It has a significant improvement in proof size over previous constructions, while maintaining fast verification time. We summarize and implement Supersonic. The implementation is parallel and has good verifier performance. We run Supersonic on SHA-256 circuit and exponentiation-by-squaring circuit and provide experimentation results.","PeriodicalId":308944,"journal":{"name":"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Supersonic SNARKs and Applications\",\"authors\":\"Duy Hoang Anh Do, Huy Van Quang Nguyen, Hy Dinh Ngo\",\"doi\":\"10.1109/NICS51282.2020.9335838\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Supersonic is a transparent SNARKs proposed by Bünz et al. It has a significant improvement in proof size over previous constructions, while maintaining fast verification time. We summarize and implement Supersonic. The implementation is parallel and has good verifier performance. We run Supersonic on SHA-256 circuit and exponentiation-by-squaring circuit and provide experimentation results.\",\"PeriodicalId\":308944,\"journal\":{\"name\":\"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-11-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NICS51282.2020.9335838\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NICS51282.2020.9335838","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Supersonic is a transparent SNARKs proposed by Bünz et al. It has a significant improvement in proof size over previous constructions, while maintaining fast verification time. We summarize and implement Supersonic. The implementation is parallel and has good verifier performance. We run Supersonic on SHA-256 circuit and exponentiation-by-squaring circuit and provide experimentation results.