{"product_id":"9789819265312","title":"Zero-Knowledge Proof Programming","description":"\u003ch1\u003eZero-Knowledge Proof Programming\u003c\/h1\u003e\u003ch3\u003eYu Zheng | Liqun Huang | Qianhong Wu | Xiaotao Huang | Zheng Luo\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Security \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003eZero knowledge Proof theory \u0026amp; Framework now gain more traction with the burst of star projects like Zerocash, Aleo, Sui network etc. However, learning ZKP programming is extremely difficult due to its mathematical complexity and lack of easy-to-follow study materials on market. \u003c\/p\u003e\n\u003cp\u003eThe book introduces popular SNARK\/STARK proving schemes (including Groth16, Sumcheck, Bulletproof, Plonk, FRI and Circle STARK), which includes commitment scheme (such as KZG, IPA, Pedersen etc.), algorithms, arithmetization, digit circuit, equation and formula. Moreover, the book also examines all the existing circuit languages (for example: DSLs like Circom and Zokrates) and computation framework (such as Halo2), and goes through all the implementation details by coding\/constructing ZK proof from scratch. And through practical examples, readers should learn all the inner working mechanism of SNARK and STARK proof. It is expected that readers can learn practical ZKP programming skills easily and comfortably. Reading the book should be able to help developers quickly ramp up on main lane of ZKP programming. \u003c\/p\u003e\n\u003cp\u003eTo understand the content, readers of the book had better have computer science background and know basic mathematics concepts. \u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e\n\u003cp\u003eYu Zheng is the Chief Scientist of PKUSoft Inc., and his main research interests are blockchain, metaverse, AI\/LLM, Rust, Zero Knowledge proof and Federate Learning. In his professional history, he worked on most of mainstream programming languages\/Frameworks, andhepossesses multidisciplinary background from Computer Science, Statistics\/Mathematics, Finance and Marketing. He obtains his BSc\/MSc degree in Computer Science from Huazhong University of Science and Technology, MIS degree from McGill University and MBA from Rotman school, University of Toronto.\u003c\/p\u003e\n\u003cp\u003eDr. Huang Liqun is an Associate Professor and Master’s Supervisor at the School of Software Engineering, Huazhong University of Science and Technology. His research interests focus on computer network technology, artificial intelligence, and blockchain technology. He has presided over or participated in more than 20 scientific research projects and published over 20 papers in prestigious journals such as Journal on Communications and Acta Electronica Sinica, as well as at international conferences.\u003c\/p\u003e\n\u003cp\u003eProfessor Qianhong Wu received the Ph.D. degree in cryptography from Xidian University in 2004. He had been an associate research fellow with the University of Wollongong, an associate professor with the Wuhan University and a research director with the Universitat Rovira i Virgili. Now he is a professor with the school of cyber science and technology, Beihang University. His interests include cryptography and information security and privacy. His research has received supports from more than ten national\/international funds. He has authored over 270 publications and served on the program committees for a number of international conferences and\/or editorial board of ISI journals in information security and privacy protection.\u003c\/p\u003e\n\u003cp\u003eDr. Huang Xiaotao is a professor at the School of Software Engineering, Huazhong University of Science and Technology. She has dedicated to research in intelligent computing and educational informatization. She has been granted 2 authorized national invention patents, and has published over 30 teaching and research papers. Her research outcomes have received the Second Prize for Outstanding Academic Papers in Natural Sciences from Wuhan Municipality. She has led one National First-Class Undergraduate Course and two Provincial First-Class Courses, and has presided over the acquisition of a Second Prize for Provincial Teaching Achievement. \u003c\/p\u003e\n\u003cp\u003eMr. Luo Zheng graduated from Huazhong University of Science and Technology, and is the founder and chairman of PKUSoft Inc. He is the constant entrepreneur dedicated to advancing the industrialization of data elements and trusted data spaces using techs like Blockchain and AI LLM. He has undertaken research for the Chinese Academy of Engineering's special blockchain program and has led the development of a large-scale nationwide data infrastructure on population management.\u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e19 February 2027\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer Nature Singapore\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9789819265312\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003eHardback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e450\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer Nature Singapore","offers":[{"title":"Default Title","offer_id":55562837164172,"sku":"9789819265312","price":49.49,"currency_code":"USD","in_stock":true}],"url":"https:\/\/lateknightbooks.com\/products\/9789819265312","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}