Skip to content

Commit cb684f2

Browse files
committed
Switch to BLS12-381 circuits with output commitments
Modified Verity Circom compiler (Compiler/Circom.lean): - Commitments are now circuit OUTPUTS, not inputs - component main only has selector as public input - Circuit computes Poseidon internally over BLS12-381 Recompiled with circom --prime bls12381, new trusted setup. Prover no longer needs JS Poseidon (circomlibjs removed). Commitments read from publicSignals[0] and [1]. All vkeys report curve: bls12381.
1 parent ed4ec05 commit cb684f2

8 files changed

Lines changed: 88 additions & 129 deletions

File tree

-54 Bytes
Binary file not shown.
296 KB
Binary file not shown.

public/circuits/ERC20_approve/vkey.json

Lines changed: 35 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
{
22
"protocol": "groth16",
3-
"curve": "bn128",
3+
"curve": "bls12381",
44
"nPublic": 3,
55
"vk_alpha_1": [
6-
"21181159869019478650198637565791487049797211867000114464510362528903168626255",
7-
"12251893120274975670784358004449304952864658449173987061535696539140377958022",
6+
"1310154831431816786465588530926826245183537897758732194218663426727309665930693540983282221286908398087268343193462",
7+
"2762190457500601431799121984947228021716343193853946942377773350781171427422985549710426168856918831452077076593015",
88
"1"
99
],
1010
"vk_beta_2": [
1111
[
12-
"13479345841274919398701041237407219417904693207846954212662788082987355691661",
13-
"18430705485998347253621592677498958195321715247196977865374688928832131281119"
12+
"3025698690775913613247353815989067468781479612830252932233721974069681098485245078664219331995646087899305669949160",
13+
"2289825586030748721837623085577975620843734410807412030557125690542022904396831389259387024335349032639934461687688"
1414
],
1515
[
16-
"4643247026352302650393823746126210139981314224338917146929270347154684549368",
17-
"6704987551640706149927780293430276401770741390432767525997240727197338087041"
16+
"3427887853772522923160725587647453677893053428344023823938783185665369136415965611150277090882901797752288815992825",
17+
"1469071488485162211004733079128405068925047698034403412505642056694933995619072891829185598049471031032723072215728"
1818
],
1919
[
2020
"1",
@@ -23,12 +23,12 @@
2323
],
2424
"vk_gamma_2": [
2525
[
26-
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
27-
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
26+
"352701069587466618187139116011060144890029952792775240219908644239793785735715026873347600343865175952761926303160",
27+
"3059144344244213709971259814753781636986470325476647558659373206291635324768958432433509563104347017837885763365758"
2828
],
2929
[
30-
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
31-
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
30+
"1985150602287291935568054521177171638300868978215655730859378665066344726373823718423869104263333984641494340347905",
31+
"927553665492332455747201965776037880757740193453592970025027978793976877002675564980949289727957565575433344219582"
3232
],
3333
[
3434
"1",
@@ -37,12 +37,12 @@
3737
],
3838
"vk_delta_2": [
3939
[
40-
"551081910534167894872020922870058455850191745318430595927775526555732896373",
41-
"16660324053946688327092115854915034222405412203319401720247697827741021058253"
40+
"2400021253374322537158817517460910900173460965254763373413972225425694931130969316731856711170948639882475385129928",
41+
"2280539107077004829345151022726145712209096184144915591796541714671821420711309398801911298018697258682187900678953"
4242
],
4343
[
44-
"12616367300628983882997267024663953825826546416659160216935660599900797717822",
45-
"20205753177136897528866489657307477933590073114491940485939025699585177276098"
44+
"1623888689523363818095236913061588439117944680194885064319805066738795481893268526060715403259735677548584060779293",
45+
"1332415852739444522129671404327936345874502528113421021284966729888791082276357377002710384312708946442898166871450"
4646
],
4747
[
4848
"1",
@@ -52,52 +52,52 @@
5252
"vk_alphabeta_12": [
5353
[
5454
[
55-
"2400300314103291474553268918186342945871489615785084762372824441945547610691",
56-
"675247691527691155754698615180230256862551452837386704071833905617453818850"
55+
"34785525663462697871928259784935502742168192334221984522784197869655437031357070417240532897243487694348010146972",
56+
"3310611050949906242734612048879982939423142614824301280324911529494456480401025007785082534273507089747957718949465"
5757
],
5858
[
59-
"4549967457679170584672051756299658490949417049021743300798435167967051952746",
60-
"14052764111667728474175399265400575656980347063779613397256097677123639986604"
59+
"2969920272373276320332699877048189875540102543624780385199498777287458722613136528045521781341147354555600572560099",
60+
"1886381709365329442671901937188805196924446142047393748974184341102176873610198615967163919407976412391889853106305"
6161
],
6262
[
63-
"15816425845868416773178823760108679028070423326811313195140494217802953777653",
64-
"10943821304255163083797278212828916269619320329807258447788190534088976848953"
63+
"3036727739182720323855096226970975582625431017195311335890617246190049843148700114691853807297102845982828294607835",
64+
"857811082286305184420212783757907657497237776701961434961912277194992892311661651220656190768375749521543129592951"
6565
]
6666
],
6767
[
6868
[
69-
"5246431397086309053528131846479389309059511702987719935746136007311473122532",
70-
"680637937811790190931816686673941696506694064048749413887778062516405665348"
69+
"1378761341116720844371063105302656356272187501461740088399101489360585302683055297108334503769530355783942038362632",
70+
"2091661107222924345338468669475610616780729964287762727122347797983076899190926320505196726768850773846177095832419"
7171
],
7272
[
73-
"13808491169457890171194346798452949721568410764370099163216820365653188453869",
74-
"2773376386229884476162686170029051723633833598068591837624685436111467468714"
73+
"3373300855738034938398839426367807602643219950863473898392814224389207051087797712331225135099946697583744217257113",
74+
"2317060952778371520705711571748993889194557369618538980210224201050674729142525225828815989791163272981560224658680"
7575
],
7676
[
77-
"18223808006701470362660634799030188178369797958505724416942839707360754731387",
78-
"3048123525858661100774506855483377014665201335015996428635361940853401318781"
77+
"3497063372577535993070492447369734491270107466703808745604101771047632390020746817489101219873332302194287186833767",
78+
"1496187072489105857539982417362892029927956903406439878337189931968787778738991634237471842619310827447525043464304"
7979
]
8080
]
8181
],
8282
"IC": [
8383
[
84-
"10317719654500557564497060588607406435396669381194330162382656711908731480615",
85-
"7633307801813442486203877561809704549432225728255700846106121097192165068419",
84+
"3752961207960684134712872898803506866496707788553954727897842928626404709860488862260244288043330280099698101707567",
85+
"2338628642052142281555035744198804642805744025139898223156498234191382075586715307508146355749389589243058738576722",
8686
"1"
8787
],
8888
[
89-
"4215291725218618589746284748639430465804440911725963420120122161523929660387",
90-
"2963865239552918504600218904686449273059095948211951843694255045273637960896",
89+
"1618184984627838415153912267769321365397799040553243561721560272485448526728555044058852715430153267756179769210134",
90+
"1368569922498170095319631137953056844712217516227596207452633143941141455280280475189383851267657633657005194787595",
9191
"1"
9292
],
9393
[
94-
"14170083396079065227758126674751563485117740914195064857688042668331455377577",
95-
"15374435064431794490368049682814840435474454432196510670862181892243952541701",
94+
"753883274937625993280889708874798971537519761685136548645462719975091096574353630392211862272603304701064454884932",
95+
"2022537138794811138551541278599478991004593417603917568073190129996293480193680131888863222272709586516456442092370",
9696
"1"
9797
],
9898
[
99-
"13743318031894495161745996908016084326943447561421390458029807120741648695959",
100-
"2729479350807552463666634908108233920225613317781256003923483619755732256224",
99+
"386757695907395728397169081334501354269494562602658199092327486624751227181294279029990033721034810667047261965926",
100+
"3216056668971946911332197222163396095991380437879370379025058024606188703635026979113870572956264279843749613727998",
101101
"1"
102102
]
103103
]
-54 Bytes
Binary file not shown.
296 KB
Binary file not shown.

public/circuits/ERC20_transfer/vkey.json

Lines changed: 35 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
{
22
"protocol": "groth16",
3-
"curve": "bn128",
3+
"curve": "bls12381",
44
"nPublic": 3,
55
"vk_alpha_1": [
6-
"21181159869019478650198637565791487049797211867000114464510362528903168626255",
7-
"12251893120274975670784358004449304952864658449173987061535696539140377958022",
6+
"1310154831431816786465588530926826245183537897758732194218663426727309665930693540983282221286908398087268343193462",
7+
"2762190457500601431799121984947228021716343193853946942377773350781171427422985549710426168856918831452077076593015",
88
"1"
99
],
1010
"vk_beta_2": [
1111
[
12-
"13479345841274919398701041237407219417904693207846954212662788082987355691661",
13-
"18430705485998347253621592677498958195321715247196977865374688928832131281119"
12+
"3025698690775913613247353815989067468781479612830252932233721974069681098485245078664219331995646087899305669949160",
13+
"2289825586030748721837623085577975620843734410807412030557125690542022904396831389259387024335349032639934461687688"
1414
],
1515
[
16-
"4643247026352302650393823746126210139981314224338917146929270347154684549368",
17-
"6704987551640706149927780293430276401770741390432767525997240727197338087041"
16+
"3427887853772522923160725587647453677893053428344023823938783185665369136415965611150277090882901797752288815992825",
17+
"1469071488485162211004733079128405068925047698034403412505642056694933995619072891829185598049471031032723072215728"
1818
],
1919
[
2020
"1",
@@ -23,12 +23,12 @@
2323
],
2424
"vk_gamma_2": [
2525
[
26-
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
27-
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
26+
"352701069587466618187139116011060144890029952792775240219908644239793785735715026873347600343865175952761926303160",
27+
"3059144344244213709971259814753781636986470325476647558659373206291635324768958432433509563104347017837885763365758"
2828
],
2929
[
30-
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
31-
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
30+
"1985150602287291935568054521177171638300868978215655730859378665066344726373823718423869104263333984641494340347905",
31+
"927553665492332455747201965776037880757740193453592970025027978793976877002675564980949289727957565575433344219582"
3232
],
3333
[
3434
"1",
@@ -37,12 +37,12 @@
3737
],
3838
"vk_delta_2": [
3939
[
40-
"7059577480601688309287394686326146159687113494413779484268610530581484909456",
41-
"18971782050230059402808857273083012827078957969380845559878159757310496233237"
40+
"509991554186752238136795768610320033935357703089174820868288925766530824673705503939479124825840491868612517649794",
41+
"3333345648326315958318606199526436432375859411905704428787040012810408870124760723749035316739069822537828496716842"
4242
],
4343
[
44-
"14312204424100654252541833693712156509435699757775634458176135313516233162148",
45-
"3864599350598061126002803754313050083573001771735366626895138955778884661300"
44+
"1423628084873824166669254325853182609320811656556932019734557484438098908621010622094333471067218778165897447754921",
45+
"2829190719448274275757127819953537677619465094336573604414058516399786231763477145951372367322296679870627799214548"
4646
],
4747
[
4848
"1",
@@ -52,52 +52,52 @@
5252
"vk_alphabeta_12": [
5353
[
5454
[
55-
"2400300314103291474553268918186342945871489615785084762372824441945547610691",
56-
"675247691527691155754698615180230256862551452837386704071833905617453818850"
55+
"34785525663462697871928259784935502742168192334221984522784197869655437031357070417240532897243487694348010146972",
56+
"3310611050949906242734612048879982939423142614824301280324911529494456480401025007785082534273507089747957718949465"
5757
],
5858
[
59-
"4549967457679170584672051756299658490949417049021743300798435167967051952746",
60-
"14052764111667728474175399265400575656980347063779613397256097677123639986604"
59+
"2969920272373276320332699877048189875540102543624780385199498777287458722613136528045521781341147354555600572560099",
60+
"1886381709365329442671901937188805196924446142047393748974184341102176873610198615967163919407976412391889853106305"
6161
],
6262
[
63-
"15816425845868416773178823760108679028070423326811313195140494217802953777653",
64-
"10943821304255163083797278212828916269619320329807258447788190534088976848953"
63+
"3036727739182720323855096226970975582625431017195311335890617246190049843148700114691853807297102845982828294607835",
64+
"857811082286305184420212783757907657497237776701961434961912277194992892311661651220656190768375749521543129592951"
6565
]
6666
],
6767
[
6868
[
69-
"5246431397086309053528131846479389309059511702987719935746136007311473122532",
70-
"680637937811790190931816686673941696506694064048749413887778062516405665348"
69+
"1378761341116720844371063105302656356272187501461740088399101489360585302683055297108334503769530355783942038362632",
70+
"2091661107222924345338468669475610616780729964287762727122347797983076899190926320505196726768850773846177095832419"
7171
],
7272
[
73-
"13808491169457890171194346798452949721568410764370099163216820365653188453869",
74-
"2773376386229884476162686170029051723633833598068591837624685436111467468714"
73+
"3373300855738034938398839426367807602643219950863473898392814224389207051087797712331225135099946697583744217257113",
74+
"2317060952778371520705711571748993889194557369618538980210224201050674729142525225828815989791163272981560224658680"
7575
],
7676
[
77-
"18223808006701470362660634799030188178369797958505724416942839707360754731387",
78-
"3048123525858661100774506855483377014665201335015996428635361940853401318781"
77+
"3497063372577535993070492447369734491270107466703808745604101771047632390020746817489101219873332302194287186833767",
78+
"1496187072489105857539982417362892029927956903406439878337189931968787778738991634237471842619310827447525043464304"
7979
]
8080
]
8181
],
8282
"IC": [
8383
[
84-
"19215241646039983716015108013636405551621606276875808555682919956067184307441",
85-
"6442299439210513062363610432186229442661238574117999849466713445228440438832",
84+
"3469042844978106945364373401145648632147719940607519887617015132630822344462106128399153099304535500226276643853243",
85+
"939957763755617381225720536420666118028408642808888612975099314540841270505842052967060835059653086079473605420528",
8686
"1"
8787
],
8888
[
89-
"4215291725218618589746284748639430465804440911725963420120122161523929660387",
90-
"2963865239552918504600218904686449273059095948211951843694255045273637960896",
89+
"1618184984627838415153912267769321365397799040553243561721560272485448526728555044058852715430153267756179769210134",
90+
"1368569922498170095319631137953056844712217516227596207452633143941141455280280475189383851267657633657005194787595",
9191
"1"
9292
],
9393
[
94-
"14170083396079065227758126674751563485117740914195064857688042668331455377577",
95-
"15374435064431794490368049682814840435474454432196510670862181892243952541701",
94+
"753883274937625993280889708874798971537519761685136548645462719975091096574353630392211862272603304701064454884932",
95+
"2022537138794811138551541278599478991004593417603917568073190129996293480193680131888863222272709586516456442092370",
9696
"1"
9797
],
9898
[
99-
"13743318031894495161745996908016084326943447561421390458029807120741648695959",
100-
"2729479350807552463666634908108233920225613317781256003923483619755732256224",
99+
"386757695907395728397169081334501354269494562602658199092327486624751227181294279029990033721034810667047261965926",
100+
"3216056668971946911332197222163396095991380437879370379025058024606188703635026979113870572956264279843749613727998",
101101
"1"
102102
]
103103
]

0 commit comments

Comments
 (0)