Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Te ring proof #36

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

Te ring proof #36

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
ea35e22
Bump ring-proof revision
davxy Sep 27, 2024
d12899e
TE ring proof unlocked
davxy Nov 2, 2024
a3ef443
Set padding point in ring-proof backend
davxy Nov 2, 2024
50b5ca3
Bump ring-proof
davxy Nov 2, 2024
de55b1f
Remove superflous function
davxy Nov 2, 2024
770a652
Fresh constant points for bandersnatch in TE form
davxy Nov 2, 2024
9b28ca8
Not anymore a thing
davxy Nov 2, 2024
3850b87
Update SW Points
davxy Nov 2, 2024
9817719
Reduce deps
davxy Nov 2, 2024
3c7a251
Depend on git rev
davxy Nov 2, 2024
56d554c
Assumptions check
davxy Nov 2, 2024
cfd2f9b
Expose padding point from ring context
davxy Nov 2, 2024
f6e80d3
Bump ring-proof rev
davxy Nov 8, 2024
6cc0a2d
check constant points values
davxy Nov 10, 2024
bb08915
Generate out of prime subgroup accumulator base for SW
davxy Nov 11, 2024
435aa8b
Seed phrases
davxy Nov 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ rand_chacha = { version = "0.3", default-features = false }
rayon = { version = "1.10", default-features = false, optional = true }
hmac = {version = "0.12", default-features = false, optional = true }
# Waiting for crates.io
ring-proof = { package = "ring", git = "https://github.com/davxy/ring-proof", rev = "d3e37f9", default-features = false, optional = true }
ring-proof = { package = "ring", git = "https://github.com/davxy/ring-proof", rev = "149fa4b", default-features = false, optional = true }
# Curves
ark-secp256r1 = { version = "0.4.0", default-features = false, optional = true }
ark-ed25519 = { version = "0.4.0", default-features = false, optional = true }
Expand Down
56 changes: 28 additions & 28 deletions data/vectors/bandersnatch_ed_sha512_ell2_pedersen.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,11 @@
"gamma": "e7aa5154103450f0a0525a36a441f827296ee489ef30ed8787cff8df1bef223f",
"beta": "fdeb377a4ffd7f95ebe48e5b43a88d069ce62188e49493500315ad55ee04d7442b93c4c91d5475370e9380496f4bc0b838c2483bce4e133c6f18b0adbb9e4722",
"blinding": "01371ac62e04d1faaadbebaa686aaf122143e2cda23aacbaa4796d206779a501",
"proof_pk_com": "6eee046021611ccf5c20b9bb92933e2cee742493a6c21ca6b0e475f585f7f8a1",
"proof_r": "0f2c41bf0c08aa607b7bf2a7e78ebdfcae48004decfd68439cab4b2d44a26759",
"proof_pk_com": "ba4107f3bce947c7f61b97efe75d6a20bbea98d6813657d00aa20081befcb325",
"proof_r": "d2c7b026c5e44c7174da17e557d4688af333224513bd08794ed87848161a594d",
"proof_ok": "ac57ce6a53a887fc59b6aa73d8ff0e718b49bd9407a627ae0e9b9e7c5d0d175b",
"proof_s": "06b69b0190660bf8220db08f9bf07d0dcd7757f9862f82484f852eed6e8a6410",
"proof_sb": "99f87c403f11d997ee5a3c4f6fb51237d1930b6a5de475cffd397bb0adf29809"
"proof_s": "7dd20b189167b3815c37b10572612491aa799b9275ba378e5e70bf200b43a210",
"proof_sb": "ace0f2cfa446cbb32b57945f233ebd6b02b5b86d325c8c6901a23f588eaaa70a"
},
{
"comment": "bandersnatch_ed_sha512_ell2_pedersen - vector-2",
Expand All @@ -27,11 +27,11 @@
"gamma": "60f32f5ad3e9694b82ccc0a735edb2f940f757ab333cc5f7b0a41158b80f574f",
"beta": "44f3728bc5ad550aeeb89f8db340b2fceffc946be3e2d8c5d99b47c1fce344b3c7fcee223a9b29a64fe4a86a9994784bc165bb0fba03ca0a493f75bee89a0946",
"blinding": "99ff52abf49d67c4303ac4a8a00984d04c06388f5f836ebd37031f0e76245815",
"proof_pk_com": "498c2c76307e680f77e16c482dd7160d145be6cb7d324ab1ab57e192a0562846",
"proof_r": "56069eb9f2ee0e72096633cd6f7984b95b6744561e64b51df18e024c351c6f6f",
"proof_pk_com": "a663bfbd422eaa3e8abf8023d740d64da2581768a5d8757d5fd4060bd3783aed",
"proof_r": "6b6d6288147c9584e4441c1e7aea78b90024f915530c209b27f8cac1bed2c140",
"proof_ok": "fc8770c209212640742d53e2f40e5c30fffae574f90fdc670ff11a1127586c03",
"proof_s": "862229fc3909b8a54ea8b9a3523f8b6adf76a8152eff8cd541ae8d3beef18317",
"proof_sb": "8e4cc0ed30b278983ee484e0e9e725c2db9864a709e38d558e77c02e0045c208"
"proof_s": "a09e060423f8faa53d1e16ce0b24cc759ee77c3ceb0c3fe74ba34fb1d9d2a108",
"proof_sb": "e776fd83c7c92dcb56f0be6975bd5bb10c11a6b5f383099bcc81886ae9e10f17"
},
{
"comment": "bandersnatch_ed_sha512_ell2_pedersen - vector-3",
Expand All @@ -44,11 +44,11 @@
"gamma": "67a348e256d908eb695d15ee0d869efef2bcf9f0fea646e788f967abbc0464dd",
"beta": "edde0178045133eb03ef4d1ad8b978a56ee80ec4eab8830d6bc6c080031388416657d3c449d9398cc4385d1c8a2bb19bcf61ff086e5a6c477a0302ce270d1abf",
"blinding": "e22ec3e4a2a4132237eb8a62bcc5ed864593cfde08e53b1632ecd3245761c808",
"proof_pk_com": "5f8e88a84a1437b1fd0a490969af239eca559f6b60763ab7914ae742ee742288",
"proof_r": "39f7de93a7a3542a12aa74c959dc35cb225eafe01ff357234ba0d5f053dbaf73",
"proof_pk_com": "c5fba3b46f755acec221fb5d25642d7de6a77fa6fe9c998a761654161715905a",
"proof_r": "83dbb9b66188fa42ee643c268c75dd41226214f3d20768f54bbc66250d13ab4a",
"proof_ok": "35f8dc0f744d1850513c46b6b4640716cbb4643da26cfe67f8c701486e0b4cae",
"proof_s": "f9f753c59bbdd44f8b7c13f8711caffe36ebf41d4bf9478896318522f783631c",
"proof_sb": "9eaa98e4c670a61a70ed4e8a9d3670aeebac82d99a241687d676e235d86e370e"
"proof_s": "6938267ebdb030e99fe5f6fae02b884cfca227fc785a3f4706c65c882b53710d",
"proof_sb": "5e687eff531b40401a12d0b0e96c61f441880f96f52c693252142dc954025800"
},
{
"comment": "bandersnatch_ed_sha512_ell2_pedersen - vector-4",
Expand All @@ -61,11 +61,11 @@
"gamma": "4d3e0524fc59374f1fdad8e471c695469b45ecf69c1de85c6c1230e888dd4cbe",
"beta": "36127f8aee7c61048984f0a208bf6d334db9dacbeeeef9ff2d17117e812328321462eb3ef602f5911d77ab11f815eb4154ba95c934e414198ef000a61b4de31a",
"blinding": "755610da34cc224fbe60ce5e42add2ea6b272ef466aef18c13497363116d1c03",
"proof_pk_com": "a2d7505a6ebd7675245a7807f3fe64c1bdc3b3e1cd96762e5cd195f5bf5abc8b",
"proof_r": "839cad088f50ede00b337fd6dcf95816820e876c05b4ab3a5940f6d190813f9c",
"proof_pk_com": "f6ee745282e5b3a4fa7d73f64dd906c437b11b9b49dc96dc92dde94bcd315ae5",
"proof_r": "61c5ff3a1e6a91008dfe492e4afd1f12b6c0e9f23b9d6d860b1f5ba456792982",
"proof_ok": "b9fa51c75d278d95f2ccace9609b28ec137b244c8b7d1523b16ed07c8e24b8e4",
"proof_s": "9dbc7517707f65c2651f4e7026654d2220333196dfc83460233d6bbfd331c804",
"proof_sb": "38902aa4247539fbd8dffc217123d2057eab3a1cbc9a05e17bf2da773f147405"
"proof_s": "ebe86ea22e8eceffa1a3569af288baa556b5b98e1fb9284cbed2ddae943b8204",
"proof_sb": "9f68cf2e7a4c304db0f0cbff8e98472743c96e0b4098901ef8709ed9a159d715"
},
{
"comment": "bandersnatch_ed_sha512_ell2_pedersen - vector-5",
Expand All @@ -78,11 +78,11 @@
"gamma": "9508104b820469687488d83f729288d9f70fc0523318beff44a47da10d490b3c",
"beta": "4ee61f3c000544aa48c565e143e05c6501a623bdbf02a0a408b97433660b4907715f75890cc0e45cdd7116e3da15b15c3c637782e8e05d05c0d5895e5fe583d1",
"blinding": "fb0123dd6317dbd379afccded247f75b3c1c2e32b86eaa9d6c9d0eb5bef07919",
"proof_pk_com": "c1283a6a033aad24a0cd502308e48b3e2f862609cbaa6e353af0bfd3df3313e5",
"proof_r": "eb71022b4258201b8c226720d7b0c46395190eea8339284414cdb9dde8063096",
"proof_pk_com": "32ba00c4c2f419a93f09c788c07b24874d7de3037982d5faf49d4f25f54d82a3",
"proof_r": "e22ac51b815239ed6f1ec8651165b70f86537f94189a4fcb7a93238698406424",
"proof_ok": "311f94e886825c80a30fd44535be37218501bd072afcbc1298f8fba6c3e3c96d",
"proof_s": "7800bda659bc57d8b4f01ac86c6a5819edb29b48d00ab01b83f5cbcd16064b06",
"proof_sb": "14e82ee7b96487ebe7a57db04eac22512a138e4bcb55b9d1186f859dab37ed11"
"proof_s": "4114280954dba0fbf36160f4fa9d45334a8bae641f328897a6c392857068e215",
"proof_sb": "1cf6dc8cab4b247dd483c2d8da29019ef4f9174bd4d07d8c6b056daacf2e2605"
},
{
"comment": "bandersnatch_ed_sha512_ell2_pedersen - vector-6",
Expand All @@ -95,11 +95,11 @@
"gamma": "9508104b820469687488d83f729288d9f70fc0523318beff44a47da10d490b3c",
"beta": "4ee61f3c000544aa48c565e143e05c6501a623bdbf02a0a408b97433660b4907715f75890cc0e45cdd7116e3da15b15c3c637782e8e05d05c0d5895e5fe583d1",
"blinding": "0752c5b639dffedf9a66ac111a765d3e9c4cfac9c8b26cc5af6d524967afdf0a",
"proof_pk_com": "3f1cad632b9d0dae9486ceeb8712c596f6b8ec37d05d2bd22a40abefff1aab08",
"proof_r": "5e6f3111c0937721235aacef3a2378c8b8441aab953cf2c6b5bc892b26eb9507",
"proof_pk_com": "0168b0c1a00c5617cef0c0a35807d91bc0ecb1212b1cf02465f10494d085804e",
"proof_r": "76bddc2f9951bb308efdde9b0bdf3ac3ab3263d5a1af6f8276ec5d894ddd36d8",
"proof_ok": "311f94e886825c80a30fd44535be37218501bd072afcbc1298f8fba6c3e3c96d",
"proof_s": "7451da70df2a6788fc3ef50dd6c5f142c5e561dd7d431c36859e4e87616cd31b",
"proof_sb": "2e531e6fda5a65120809f3ef98e10c70abf17f3380449c7b3ff20cbe6a22e107"
"proof_s": "0b57ac74adf66a619b3b993b7dc517af3211e2ae19b4a26dc73e4a407d733307",
"proof_sb": "8c2f374814f50ebf2b7e5760e4ab631e2c962b1e7b5e7147c06ea83397b2dd09"
},
{
"comment": "bandersnatch_ed_sha512_ell2_pedersen - vector-7",
Expand All @@ -112,10 +112,10 @@
"gamma": "6d1dd583bea262323c7dc9e94e57a472e09874e435719010eeafae503c433f16",
"beta": "09106f062ac07846f3f841f64765527b333575143483855d633f99ccc2e8e306e6239ff79a1272cff931e8d0ac6c390328486329118ad40a18b85184da1837ff",
"blinding": "462ae9ad651e5caf11247b989fecb5f2b1729479c33b9133388d14fa35dbbd0c",
"proof_pk_com": "0286ffd0277e29a9231bea18e4a553db73d4d4aafc2864e639080734c39f2314",
"proof_r": "207967dcefefd52af68b66d0a56ab6461e95fcef4bb1c55077b0380aac5f3fbf",
"proof_pk_com": "084fd5e94e3d47a4d82e14e15ea2ab7c90b13702de64b2085a920fddb4032b32",
"proof_r": "2112b29dfd39ec3d6dab9e57ea6a8a8c890e4ab2483c371cdaca04a0ca5fb38a",
"proof_ok": "5a02419120b814a5c81d67096aac728ee9bda5ddf9451cf554d871462a04831a",
"proof_s": "94554c2c21c0767d9336d05529b48dff2edb1bc90f1f911fca69203451d8fe1b",
"proof_sb": "55ac5b72232a476a907e98ade0c45ad1dc2dfcc67947308959c0b8417947c215"
"proof_s": "34b415a6d9f217dd3207a0d1a09d8545db20649fdc6fbd60e9939da0b326cd03",
"proof_sb": "c7d348140d3cd6d062246e0c6cd36b22736b94c68b9501aabfd90a01d2a4a116"
}
]
Loading
Loading