Nama :MohammadFerryHusnilArif Program Studi:IlmuKomputer Judul :SkemaKZGPolynomialCommitmentdalamKonstruksi zk-SNARKsdanImplementasinya Pembimbing :Drs.LimYohanesStefanus,M.Math,Ph.D. Zero-KnowledgeProof (ZKP) merupakanprotokolkriptografiyangmemungkinkan pembuktiankebenaransuatupernyataantanpaperlumengungkapkaninformasitambahan selain validitaspernyataanitusendiri.SalahsatukonstruksiZKPyangpalingmenjanjikan adalah zero-knowledgesuccinctnon-interactiveargumentsofknowledge (zk-SNARKs), yang menawarkanukuran proof yang ringkasdantidakmemerlukaninteraksiantara prover dan verifier. Keunggulaninimembukapeluangaplikasiyangdapatmenjaga privasidiberbagaibidang.Namundemikian,terdapatkesenjanganpemahamanyang cukup besarantarapenjelasankonseptualumumdanpemahamanmatematismendalam yang diperlukanuntukmemahamicarakerjaprotokolini.Tugasakhirinimenyajikan pembahasan menyeluruhtentangskemaKZG polynomial commitment dan menunjukkan peranannyayangfundamentaldalamprotokolzk-SNARKsmodern,khususnyaMarlin dan Plonk.Pembahasandimulaidaridasar-dasarmatematismencakupteori group, field, polynomial ring, elliptic curve, dan billinear pairing, disertaicontoh-contohnumerik untuk memperjelassetiapkonsep.SkemaKZGdibahassecaralengkaptermasukbukti keamanandanberbagaiteknikoptimisasi.SelanjutnyadianalisisbagaimanaMarlindan Plonk memanfaatkanKZGuntukmenghasilkansistemdengan universalandupdatable structuredreferencestrings, masing-masingdenganpendekatan arithmetization yang berbeda sesuaitujuandesainnya.Implementasikeduaprotokoldalam SageMath disediakan untukmenghubungkanteoridenganpraktik.Denganpendekatansistematis dan contoh-contohperhitunganpada finite field, tugasakhirinidapatmenjadireferensi pembelajaran bagimahasiswaS1IlmuKomputerdanMatematikayanginginmemahami dan mengembangkanteknologiZKPlebihlanjut