Skip to content

Instantly share code, notes, and snippets.

@varunshenoy
Last active January 14, 2023 01:24
Show Gist options
  • Save varunshenoy/945fe6231b9a077160a0ae2360b854ab to your computer and use it in GitHub Desktop.
Save varunshenoy/945fe6231b9a077160a0ae2360b854ab to your computer and use it in GitHub Desktop.
Proofs for Zator
{
"A": [
"18268853773021316895982238355395060664828982807259981678425657768314674662830",
"1269919676167564086404416777616470309339349656354574148805654990228601892337",
"1"
],
"B": [
"9941144731428033919790422095082577639772753191930357251553645255233803162606",
"12764776385902448502054937720756409916845580452557850472317265293931882470897",
"1"
],
"C": [
"11243629716200078361996352304358827532131623318793021623902647494270055918891",
"20951387533670975297833007475427013403983281189462763544935292152444031027831",
"1"
],
"Z": [
"7613707470954133223601400375700658021094400187544291023530597769202915463815",
"6864069961195588705914417831614597512960292267334296986804358230791209041940",
"1"
],
"T1": [
"14896011408441101526418096071795361297750251057463479119113734799153285779218",
"9453706772363455614996645226997529077930619259994978194953887557806150609915",
"1"
],
"T2": [
"11776560187418128689226121233710806161845289961639782085236595800549922111964",
"9056335945498657915040676288635652632628500963494187563800870216915921287942",
"1"
],
"T3": [
"17201988994819166222237531442850852887993181448092250888008555475020424521777",
"617048755452093684239869108902792727069202588182665722160232493667457581956",
"1"
],
"eval_a": "11856610331409717823597807735844147847798892007011567808727075218619170031823",
"eval_b": "13530388028452663743083670873066373993489487447269825355459777256950275287646",
"eval_c": "7465073560787267652629145927812205661761413226629595764020161851784961811363",
"eval_s1": "7514225472917261870582613747325322448808631027487375197086616399640878821233",
"eval_s2": "663738029155645261252866763576736414588089411168761569943412837354269477079",
"eval_zw": "3852574976454959162998935942037470897739190500927437486511767326986216208017",
"eval_r": "15931325347397751860145853118117375567803054171396118708918485844930811947606",
"Wxi": [
"15852024811894902271774375597493631229975788193550794886343657377234121617873",
"21762164039570446078932042696224420722135535562813344776391280116761020711565",
"1"
],
"Wxiw": [
"4934515184513132102995763792001282720081973782082861491646910143506894328120",
"590280679463604260403050044710086972364145054146099856107969486650275009355",
"1"
],
"protocol": "plonk",
"curve": "bn128"
}
{
"A": [
"8606850911116081883384760427695542206527431037148798618302649046774145433126",
"10790988038915757789536617385716835032928561250714206143297886846439300571524",
"1"
],
"B": [
"1565410399446143339511000353977365895262586634757147852604527391915862890421",
"20633923249197443776814991810385309329399593325369639078104197927646586697184",
"1"
],
"C": [
"18838047876070287429662778111915893729006882481558185581307043847318544787423",
"19882399174923581300213866466637719775010089077390933530436633388767095483370",
"1"
],
"Z": [
"7163874489862807018325872296952643845312594851832163215493228225574570549581",
"21692198111578572882047111038554324287310499057009169706317219989782459842469",
"1"
],
"T1": [
"544546480197327342119241318946793753480368611095763373869073766084423628883",
"4317525993514429668980409999074452849431342582601943422047366677696083507295",
"1"
],
"T2": [
"5756852491783193919302307837685861116675112256453847277691567140198151641746",
"20064397594657197667495703942690939859861010651566806412295394608367030245912",
"1"
],
"T3": [
"19582047504814707776091824488243249259957916470343577436451059013043808164163",
"12965663693917323957401425525502909021346430123452668896333044207172818297999",
"1"
],
"eval_a": "16605238173251281572122293988226814138730454865893552281491087603146337718225",
"eval_b": "8052163269678472073908225083235062981340425585679064234333972675571137682798",
"eval_c": "8517434669635809155980826539872900384070636246435252323604470047897298786597",
"eval_s1": "16437491663184925420013626510068500191497998514566362281997363361903426673921",
"eval_s2": "12925208178678385648339059754583818755155966497578084140895645488723388766794",
"eval_zw": "6228780965106096021607671289270156330826071735863198826241850053606753627015",
"eval_r": "4081804662910359604070627250382523597518415546061047150447020478119143880778",
"Wxi": [
"15171917767807253405570229818660518056141961414451062213115680837279922080966",
"13579604818079674215773254971841474506139702458053361530915621524148923240578",
"1"
],
"Wxiw": [
"4651893983071422306495391499648187888297808133997749740298848826638083328660",
"206341628611190187924218237990382126619875473834842890433824561107330930782",
"1"
],
"protocol": "plonk",
"curve": "bn128"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment