Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
@ed255
ed255 committed Jan 2, 2024
1 parent c272378 commit a084e0e
Show file tree
Hide file tree
Showing 19 changed files with 1,336 additions and 309 deletions.
66 changes: 66 additions & 0 deletions halo2_proofs/legacy.swap.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 36 filtered out; finished in 0.00s


running 1 test
DBG phase Phase(0)
DBG write_point
[ca, 4d, 32, db, cb, bd, 8d, 17, 00, 7c, 51, a2, 86, 82, ef, 12, 70, 33, 41, 43, 89, 4a, 34, 66, e0, dc, b2, 0d, 04, 95, 02, 0d]
DBG write_point
[b2, da, 65, 75, 13, 1e, ca, e1, 88, eb, 89, 28, 4e, 74, 9f, 8b, d4, b7, a8, a2, a7, c2, 8a, 7f, db, 6c, 35, 29, 6f, d0, b5, 18]
DBG write_point
[ba, e5, a0, b1, a5, 43, 20, da, 80, d1, 74, 1f, 71, 57, 53, 69, e6, 25, 55, 24, f3, 5f, 4b, 00, 01, 9d, 46, 3c, 67, 34, 71, 0e]
DBG write_point
[ce, 25, b0, f8, 76, d7, 10, ec, c1, 94, ce, ee, 93, cd, d6, b9, 96, ed, dc, 4d, d1, d1, fd, 53, 01, 7c, 58, fa, 26, 96, 76, 41]
DBG write_point
[a8, 3a, af, 6c, d4, c4, b9, 03, 5e, 9e, 09, 71, c3, ca, c2, ad, 93, 57, ea, c7, 97, d3, 19, fd, fb, 3e, 19, a7, dc, e1, b1, 05]
DBG write_point
[c0, 39, 2f, e0, 6f, de, ab, a0, 95, 95, f2, 11, 85, ff, 25, 05, 72, 33, 5b, b1, 46, 7f, 20, 02, e9, af, 17, 56, 25, 74, fa, 58]
DBG write_point
[fe, 3e, 9b, 3e, be, c1, fc, f0, d0, 7b, 97, 37, 3c, 3c, 36, 37, 63, ac, 72, f2, 6e, 5c, 80, a3, 74, cc, fe, ce, 6f, 69, 73, 67]
DBG write_scalar
[ed, 13, 11, 33, 23, e6, 7e, b0, cf, 5c, 68, e8, 7f, b4, 4d, 09, 87, 31, 46, 67, 2e, 37, 4c, a9, 31, 91, ba, 95, 9e, cf, ef, 24]
DBG write_scalar
[46, 29, 04, 55, 3e, d9, 11, b3, 52, 46, d3, ad, c2, 85, da, 73, 92, 08, 32, 29, be, 27, 83, ea, 8c, a5, c6, 9c, 81, b1, 7c, 01]
DBG write_scalar
[2b, bc, a4, 03, 27, 42, c6, fd, a2, 48, 00, bb, 55, bd, ce, 13, 0a, 64, 0e, f6, 67, 7c, 24, ea, 5e, 71, c4, 58, a1, aa, 28, 1a]
DBG write_scalar
[62, ef, bc, a0, f0, d9, a1, df, 4b, 4d, 09, f2, ac, 12, 88, f2, 05, 21, 3c, 7c, 9f, 5c, 13, 41, db, 29, 50, 3c, 1c, af, 30, 17]
DBG write_scalar
[04, 0a, ae, d5, 6d, a6, cd, 33, 3e, 5a, f9, 6c, 57, 9e, a8, 66, bc, b8, f0, 45, 5b, 81, 26, e7, 78, 5d, fa, 9a, e5, 1d, f4, 16]
DBG write_scalar
[88, 00, 18, 7f, 4b, 8d, 0e, 0c, 9a, 4f, 80, 15, b6, ca, 51, 80, 03, 82, b6, ed, 9b, b5, 92, b3, a4, 08, 6c, b8, 75, 40, 8c, 06]
DBG write_scalar
[73, 79, 91, 16, 87, 89, c0, c9, 37, f4, 0c, a4, fb, c7, e9, 17, 28, 5a, f9, a9, 9a, 81, 0e, 39, e6, 1a, 8f, ea, 0e, 1e, 4a, 1b]
DBG write_point
[1e, 12, 6f, 67, 9c, b5, af, d5, 82, 85, 7b, 59, 7c, ca, da, b8, ac, 8e, 98, 6f, 51, ce, 77, 3a, a8, e4, c1, be, 82, 74, 54, 64]
DBG write_point
[8f, bd, 7e, 7a, 1a, 33, de, 8f, df, 18, 38, 3a, d2, 5c, 97, b4, ea, 6a, 15, fb, 6d, 8e, db, 04, d3, 86, 83, 79, cd, 91, 65, 0e]
DBG proof.len=512
[ca, 4d, 32, db, cb, bd, 8d, 17, 00, 7c, 51, a2, 86, 82, ef, 12, 70, 33, 41, 43, 89, 4a, 34, 66, e0, dc, b2, 0d, 04, 95, 02, 0d]
[b2, da, 65, 75, 13, 1e, ca, e1, 88, eb, 89, 28, 4e, 74, 9f, 8b, d4, b7, a8, a2, a7, c2, 8a, 7f, db, 6c, 35, 29, 6f, d0, b5, 18]
[ba, e5, a0, b1, a5, 43, 20, da, 80, d1, 74, 1f, 71, 57, 53, 69, e6, 25, 55, 24, f3, 5f, 4b, 00, 01, 9d, 46, 3c, 67, 34, 71, 0e]
[ce, 25, b0, f8, 76, d7, 10, ec, c1, 94, ce, ee, 93, cd, d6, b9, 96, ed, dc, 4d, d1, d1, fd, 53, 01, 7c, 58, fa, 26, 96, 76, 41]
[a8, 3a, af, 6c, d4, c4, b9, 03, 5e, 9e, 09, 71, c3, ca, c2, ad, 93, 57, ea, c7, 97, d3, 19, fd, fb, 3e, 19, a7, dc, e1, b1, 05]
[c0, 39, 2f, e0, 6f, de, ab, a0, 95, 95, f2, 11, 85, ff, 25, 05, 72, 33, 5b, b1, 46, 7f, 20, 02, e9, af, 17, 56, 25, 74, fa, 58]
[fe, 3e, 9b, 3e, be, c1, fc, f0, d0, 7b, 97, 37, 3c, 3c, 36, 37, 63, ac, 72, f2, 6e, 5c, 80, a3, 74, cc, fe, ce, 6f, 69, 73, 67]
[ed, 13, 11, 33, 23, e6, 7e, b0, cf, 5c, 68, e8, 7f, b4, 4d, 09, 87, 31, 46, 67, 2e, 37, 4c, a9, 31, 91, ba, 95, 9e, cf, ef, 24]
[46, 29, 04, 55, 3e, d9, 11, b3, 52, 46, d3, ad, c2, 85, da, 73, 92, 08, 32, 29, be, 27, 83, ea, 8c, a5, c6, 9c, 81, b1, 7c, 01]
[2b, bc, a4, 03, 27, 42, c6, fd, a2, 48, 00, bb, 55, bd, ce, 13, 0a, 64, 0e, f6, 67, 7c, 24, ea, 5e, 71, c4, 58, a1, aa, 28, 1a]
[62, ef, bc, a0, f0, d9, a1, df, 4b, 4d, 09, f2, ac, 12, 88, f2, 05, 21, 3c, 7c, 9f, 5c, 13, 41, db, 29, 50, 3c, 1c, af, 30, 17]
[04, 0a, ae, d5, 6d, a6, cd, 33, 3e, 5a, f9, 6c, 57, 9e, a8, 66, bc, b8, f0, 45, 5b, 81, 26, e7, 78, 5d, fa, 9a, e5, 1d, f4, 16]
[88, 00, 18, 7f, 4b, 8d, 0e, 0c, 9a, 4f, 80, 15, b6, ca, 51, 80, 03, 82, b6, ed, 9b, b5, 92, b3, a4, 08, 6c, b8, 75, 40, 8c, 06]
[73, 79, 91, 16, 87, 89, c0, c9, 37, f4, 0c, a4, fb, c7, e9, 17, 28, 5a, f9, a9, 9a, 81, 0e, 39, e6, 1a, 8f, ea, 0e, 1e, 4a, 1b]
[1e, 12, 6f, 67, 9c, b5, af, d5, 82, 85, 7b, 59, 7c, ca, da, b8, ac, 8e, 98, 6f, 51, ce, 77, 3a, a8, e4, c1, be, 82, 74, 54, 64]
[8f, bd, 7e, 7a, 1a, 33, de, 8f, df, 18, 38, 3a, d2, 5c, 97, b4, ea, 6a, 15, fb, 6d, 8e, db, 04, d3, 86, 83, 79, cd, 91, 65, 0e]
test test_mycircuit_full_legacy ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out; finished in 0.62s


running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out; finished in 0.00s

66 changes: 66 additions & 0 deletions halo2_proofs/legacy.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 36 filtered out; finished in 0.00s


running 1 test
DBG phase Phase(0)
DBG write_point
[ca, 4d, 32, db, cb, bd, 8d, 17, 00, 7c, 51, a2, 86, 82, ef, 12, 70, 33, 41, 43, 89, 4a, 34, 66, e0, dc, b2, 0d, 04, 95, 02, 0d]
DBG write_point
[b2, da, 65, 75, 13, 1e, ca, e1, 88, eb, 89, 28, 4e, 74, 9f, 8b, d4, b7, a8, a2, a7, c2, 8a, 7f, db, 6c, 35, 29, 6f, d0, b5, 18]
DBG write_point
[ba, e5, a0, b1, a5, 43, 20, da, 80, d1, 74, 1f, 71, 57, 53, 69, e6, 25, 55, 24, f3, 5f, 4b, 00, 01, 9d, 46, 3c, 67, 34, 71, 0e]
DBG write_point
[ce, 25, b0, f8, 76, d7, 10, ec, c1, 94, ce, ee, 93, cd, d6, b9, 96, ed, dc, 4d, d1, d1, fd, 53, 01, 7c, 58, fa, 26, 96, 76, 41]
DBG write_point
[a8, 3a, af, 6c, d4, c4, b9, 03, 5e, 9e, 09, 71, c3, ca, c2, ad, 93, 57, ea, c7, 97, d3, 19, fd, fb, 3e, 19, a7, dc, e1, b1, 05]
DBG write_point
[c0, 39, 2f, e0, 6f, de, ab, a0, 95, 95, f2, 11, 85, ff, 25, 05, 72, 33, 5b, b1, 46, 7f, 20, 02, e9, af, 17, 56, 25, 74, fa, 58]
DBG write_point
[fe, 3e, 9b, 3e, be, c1, fc, f0, d0, 7b, 97, 37, 3c, 3c, 36, 37, 63, ac, 72, f2, 6e, 5c, 80, a3, 74, cc, fe, ce, 6f, 69, 73, 67]
DBG write_scalar
[46, 29, 04, 55, 3e, d9, 11, b3, 52, 46, d3, ad, c2, 85, da, 73, 92, 08, 32, 29, be, 27, 83, ea, 8c, a5, c6, 9c, 81, b1, 7c, 01]
DBG write_scalar
[ed, 13, 11, 33, 23, e6, 7e, b0, cf, 5c, 68, e8, 7f, b4, 4d, 09, 87, 31, 46, 67, 2e, 37, 4c, a9, 31, 91, ba, 95, 9e, cf, ef, 24]
DBG write_scalar
[2b, bc, a4, 03, 27, 42, c6, fd, a2, 48, 00, bb, 55, bd, ce, 13, 0a, 64, 0e, f6, 67, 7c, 24, ea, 5e, 71, c4, 58, a1, aa, 28, 1a]
DBG write_scalar
[62, ef, bc, a0, f0, d9, a1, df, 4b, 4d, 09, f2, ac, 12, 88, f2, 05, 21, 3c, 7c, 9f, 5c, 13, 41, db, 29, 50, 3c, 1c, af, 30, 17]
DBG write_scalar
[04, 0a, ae, d5, 6d, a6, cd, 33, 3e, 5a, f9, 6c, 57, 9e, a8, 66, bc, b8, f0, 45, 5b, 81, 26, e7, 78, 5d, fa, 9a, e5, 1d, f4, 16]
DBG write_scalar
[88, 00, 18, 7f, 4b, 8d, 0e, 0c, 9a, 4f, 80, 15, b6, ca, 51, 80, 03, 82, b6, ed, 9b, b5, 92, b3, a4, 08, 6c, b8, 75, 40, 8c, 06]
DBG write_scalar
[73, 79, 91, 16, 87, 89, c0, c9, 37, f4, 0c, a4, fb, c7, e9, 17, 28, 5a, f9, a9, 9a, 81, 0e, 39, e6, 1a, 8f, ea, 0e, 1e, 4a, 1b]
DBG write_point
[33, 5a, ca, 3a, 0c, 2b, 18, ee, f7, 2d, 4a, f8, c7, 69, f7, 68, 1a, a9, 17, 5e, f0, d5, 31, 87, ba, 11, d0, 69, 4a, 68, 62, 2a]
DBG write_point
[2e, c2, 17, 3e, db, 61, 61, db, b9, c9, 8a, 73, 7b, 30, 64, 65, c2, c1, 58, fa, b9, 5f, 6c, db, 9e, b5, 4f, 04, e8, c1, 51, 26]
DBG proof.len=512
[ca, 4d, 32, db, cb, bd, 8d, 17, 00, 7c, 51, a2, 86, 82, ef, 12, 70, 33, 41, 43, 89, 4a, 34, 66, e0, dc, b2, 0d, 04, 95, 02, 0d]
[b2, da, 65, 75, 13, 1e, ca, e1, 88, eb, 89, 28, 4e, 74, 9f, 8b, d4, b7, a8, a2, a7, c2, 8a, 7f, db, 6c, 35, 29, 6f, d0, b5, 18]
[ba, e5, a0, b1, a5, 43, 20, da, 80, d1, 74, 1f, 71, 57, 53, 69, e6, 25, 55, 24, f3, 5f, 4b, 00, 01, 9d, 46, 3c, 67, 34, 71, 0e]
[ce, 25, b0, f8, 76, d7, 10, ec, c1, 94, ce, ee, 93, cd, d6, b9, 96, ed, dc, 4d, d1, d1, fd, 53, 01, 7c, 58, fa, 26, 96, 76, 41]
[a8, 3a, af, 6c, d4, c4, b9, 03, 5e, 9e, 09, 71, c3, ca, c2, ad, 93, 57, ea, c7, 97, d3, 19, fd, fb, 3e, 19, a7, dc, e1, b1, 05]
[c0, 39, 2f, e0, 6f, de, ab, a0, 95, 95, f2, 11, 85, ff, 25, 05, 72, 33, 5b, b1, 46, 7f, 20, 02, e9, af, 17, 56, 25, 74, fa, 58]
[fe, 3e, 9b, 3e, be, c1, fc, f0, d0, 7b, 97, 37, 3c, 3c, 36, 37, 63, ac, 72, f2, 6e, 5c, 80, a3, 74, cc, fe, ce, 6f, 69, 73, 67]
[46, 29, 04, 55, 3e, d9, 11, b3, 52, 46, d3, ad, c2, 85, da, 73, 92, 08, 32, 29, be, 27, 83, ea, 8c, a5, c6, 9c, 81, b1, 7c, 01]
[ed, 13, 11, 33, 23, e6, 7e, b0, cf, 5c, 68, e8, 7f, b4, 4d, 09, 87, 31, 46, 67, 2e, 37, 4c, a9, 31, 91, ba, 95, 9e, cf, ef, 24]
[2b, bc, a4, 03, 27, 42, c6, fd, a2, 48, 00, bb, 55, bd, ce, 13, 0a, 64, 0e, f6, 67, 7c, 24, ea, 5e, 71, c4, 58, a1, aa, 28, 1a]
[62, ef, bc, a0, f0, d9, a1, df, 4b, 4d, 09, f2, ac, 12, 88, f2, 05, 21, 3c, 7c, 9f, 5c, 13, 41, db, 29, 50, 3c, 1c, af, 30, 17]
[04, 0a, ae, d5, 6d, a6, cd, 33, 3e, 5a, f9, 6c, 57, 9e, a8, 66, bc, b8, f0, 45, 5b, 81, 26, e7, 78, 5d, fa, 9a, e5, 1d, f4, 16]
[88, 00, 18, 7f, 4b, 8d, 0e, 0c, 9a, 4f, 80, 15, b6, ca, 51, 80, 03, 82, b6, ed, 9b, b5, 92, b3, a4, 08, 6c, b8, 75, 40, 8c, 06]
[73, 79, 91, 16, 87, 89, c0, c9, 37, f4, 0c, a4, fb, c7, e9, 17, 28, 5a, f9, a9, 9a, 81, 0e, 39, e6, 1a, 8f, ea, 0e, 1e, 4a, 1b]
[33, 5a, ca, 3a, 0c, 2b, 18, ee, f7, 2d, 4a, f8, c7, 69, f7, 68, 1a, a9, 17, 5e, f0, d5, 31, 87, ba, 11, d0, 69, 4a, 68, 62, 2a]
[2e, c2, 17, 3e, db, 61, 61, db, b9, c9, 8a, 73, 7b, 30, 64, 65, c2, c1, 58, fa, b9, 5f, 6c, db, 9e, b5, 4f, 04, e8, c1, 51, 26]
test test_mycircuit_full_legacy ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out; finished in 0.59s


running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out; finished in 0.00s

Loading

0 comments on commit a084e0e

Please sign in to comment.