update message sample

fix vk position in openvm proof
update tests

Signed-off-by: noelwei <fan@scroll.io>

Author: noel2004

common/types/message/batch-proof-sample.json

@@ -1 +1 @@
-{"metadata":null,"proof":{"instances":[["31ff3e68c303b187643d62000000000000000000000000000000000000000000","511046535fbfe6acbaf95e000000000000000000000000000000000000000000","bdaf9874f99e5b6e9f2300000000000000000000000000000000000000000000","9fbd6d21e025994cef993a000000000000000000000000000000000000000000","6f951f0bd5843685da5145000000000000000000000000000000000000000000","05c058fddf264153a90e00000000000000000000000000000000000000000000","1390fef2e0288741926de4000000000000000000000000000000000000000000","f99a9f47b49fb6140d1e8e000000000000000000000000000000000000000000","b8d59cd7db9c22e0a00d00000000000000000000000000000000000000000000","c9edbf55224d3f8d6997dc000000000000000000000000000000000000000000","ce6fcc33ba079746f64fa2000000000000000000000000000000000000000000","81a8ceda3bdcaf48ed0600000000000000000000000000000000000000000000","850b8ad3be6fdc1b89b408c70a7fd0c5826237c495375f31e00be4067ee81600","0b99d439ed30ad5d4f8f46b70b14d0599016405dd4cb3492a3795fa086e63d00","7d00000000000000000000000000000000000000000000000000000000000000","1a00000000000000000000000000000000000000000000000000000000000000","b500000000000000000000000000000000000000000000000000000000000000","1a00000000000000000000000000000000000000000000000000000000000000","ac00000000000000000000000000000000000000000000000000000000000000","fa00000000000000000000000000000000000000000000000000000000000000","bc00000000000000000000000000000000000000000000000000000000000000","da00000000000000000000000000000000000000000000000000000000000000","1d00000000000000000000000000000000000000000000000000000000000000","1100000000000000000000000000000000000000000000000000000000000000","0e00000000000000000000000000000000000000000000000000000000000000","0e00000000000000000000000000000000000000000000000000000000000000","3400000000000000000000000000000000000000000000000000000000000000","d000000000000000000000000000000000000000000000000000000000000000","4b00000000000000000000000000000000000000000000000000000000000000","4400000000000000000000000000000000000000000000000000000000000000","4600000000000000000000000000000000000000000000000000000000000000","f100000000000000000000000000000000000000000000000000000000000000","ec00000000000000000000000000000000000000000000000000000000000000","7b00000000000000000000000000000000000000000000000000000000000000","9e00000000000000000000000000000000000000000000000000000000000000","8300000000000000000000000000000000000000000000000000000000000000","d000000000000000000000000000000000000000000000000000000000000000","8000000000000000000000000000000000000000000000000000000000000000","d000000000000000000000000000000000000000000000000000000000000000","ef00000000000000000000000000000000000000000000000000000000000000","5e00000000000000000000000000000000000000000000000000000000000000","4800000000000000000000000000000000000000000000000000000000000000","0e00000000000000000000000000000000000000000000000000000000000000","2500000000000000000000000000000000000000000000000000000000000000","6600000000000000000000000000000000000000000000000000000000000000","f400000000000000000000000000000000000000000000000000000000000000"]],"proof":[43,162,92,146,126,74,14,56,40,52,177,85,254,141,143,124,185,195,222,180,201,38,165,234,217,104,76,76,221,165,112,190,2,246,172,84,194,17,17,136,185,54,180,156,203,89,112,189,229,116,108,248,212,143,122,110,104,193,140,70,224,42,255,88,16,44,109,144,22,110,57,64,148,168,120,137,16,48,92,127,22,152,112,172,62,137,184,91,127,210,166,220,228,201,197,248,33,254,183,11,63,56,118,22,116,81,161,197,37,103,222,47,66,228,202,94,246,120,65,79,153,42,189,142,91,83,44,226,45,70,225,208,140,37,183,142,103,236,126,103,20,5,17,22,198,15,132,88,239,161,189,105,55,234,126,199,188,235,191,201,5,177,104,8,13,135,214,158,215,140,68,107,115,39,20,148,162,235,209,21,158,131,112,169,253,194,78,72,149,89,25,70,19,48,252,228,121,53,118,43,111,65,177,125,15,145,152,55,86,128,155,159,111,21,19,64,158,31,117,240,58,26,249,255,8,145,233,176,3,79,254,56,51,15,104,18,53,139,41,61,171,203,174,94,167,81,88,174,192,55,53,171,241,136,129,189,31,29,207,109,193,125,49,188,162,165,142,247,173,100,232,198,93,76,98,119,233,109,237,241,162,90,37,28,205,110,111,70,45,121,231,76,16,202,148,91,222,62,183,179,4,32,66,13,25,44,129,159,131,2,156,52,73,151,123,255,240,135,3,241,38,141,129,123,113,56,66,66,51,75,221,214,249,123,239,244,254,132,19,136,161,178,120,48,232,10,141,141,21,119,109,16,43,224,165,195,161,232,181,168,232,196,146,13,245,58,147,139,27,28,49,18,16,189,114,184,207,100,59,30,69,184,254,185,39,9,176,49,49,211,50,173,128,87,187,129,138,122,206,1,209,179,220,223,170,215,92,211,86,46,245,105,105,153,137,236,18,82,239,156,220,79,149,18,100,78,103,77,128,101,142,88,143,106,204,140,74,227,155,214,230,0,33,54,23,236,125,197,16,147,203,205,17,200,9,148,29,207,243,115,165,201,222,5,189,187,176,193,134,168,154,235,17,81,41,221,196,234,114,56,34,141,172,190,98,168,253,255,0,201,88,180,254,48,29,0,36,142,242,181,86,42,105,227,198,27,83,77,133,101,98,241,26,119,252,91,249,48,39,245,202,241,183,120,10,190,109,239,182,179,37,194,28,249,3,46,224,146,15,171,246,31,165,227,18,127,90,51,11,169,108,255,239,59,56,223,219,146,130,195,128,59,228,32,47,38,82,138,146,123,127,27,49,95,56,37,39,110,248,136,126,130,148,189,129,153,248,125,73,54,138,231,114,217,118,102,50,21,169,169,243,71,138,137,13,59,168,0,21,139,228,111,222,203,69,108,181,36,132,151,1,36,219,115,142,140,239,34,156,248,7,248,82,121,190,34,15,200,186,226,23,13,73,78,80,117,135,74,84,25,242,242,119,240,15,240,247,59,103,164,59,17,179,236,112,10,32,12,73,67,176,16,37,5,223,55,201,35,104,202,28,151,166,49,176,78,235,227,160,148,48,115,22,248,76,21,148,25,174,182,47,29,245,31,16,56,114,246,161,201,209,217,242,23,82,212,185,21,196,162,64,192,166,250,198,211,87,105,219,100,78,41,218,74,202,128,24,192,88,11,211,68,142,3,34,63,248,113,180,146,211,58,164,96,139,125,13,227,110,3,96,175,132,15,237,28,15,6,31,193,116,36,191,42,209,129,73,18,177,243,27,248,33,141,163,136,59,66,244,254,81,51,95,191,212,91,227,222,111,18,42,14,20,14,47,0,159,126,212,88,27,216,39,78,21,56,162,227,5,143,171,132,29,178,43,84,188,138,243,181,24,125,11,139,140,241,88,145,79,76,142,158,16,187,194,152,191,174,88,219,13,70,58,225,123,119,239,141,139,70,100,103,65,113,3,79,150,9,72,255,133,97,116,33,253,134,161,86,213,197,180,26,236,191,20,201,105,44,9,23,51,112,144,197,151,50,36,183,35,17,208,114,103,111,89,141,61,74,115,184,169,231,18,17,71,229,253,253,72,126,253,63,87,160,195,221,90,179,21,149,232,4,151,96,192,141,124,0,231,3,199,204,70,52,130,95,56,112,34,250,212,125,138,162,19,136,135,93,249,160,6,97,124,214,233,250,49,255,247,169,229,195,230,29,197,213,209,89,59,14,177,14,249,168,16,63,46,99,222,144,110,255,32,235,37,168,180,167,28,122,12,211,62,198,237,69,52,201,222,20,108,120,115,102,198,93,79,186,244,240,82,33,76,89,23,103,51,27,139,123,167,47,157,60,196,25,9,63,95,29,248,232,103,99,239,234,44,156,121,252,198,205,55,36,22,197,43,165,253,154,225,131,81,10,30,251,35,200,106,75,14,192,149,101,29,94,4,79,174,41,139,168,37,96,37,243,54,92,11,111,32,154,218,3,216,81,119,89,25,106,78,64,237,240,215,19,40,210,85,134,107,162,164,87,89,105,114,1,109,158,39,36,40,51,196,150,166,157,181,103,134,47,224,45,34,103,65,249,131,235,18,156,84,10,246,122,118,77,54,57,238,139,46,4,219,207,245,145,144,174,255,34,125,16,32,88,229,137,63,50,24,126,174,11,113,168,142,6,122,231,241,160,227,0,36,84,49,231,10,196,3,90,37,12,141,146,255,130,149,37,148,155,89,255,250,92,62,3,231,91,252,205,228,50,102,140,37,75,40,40,8,182,169,106,222,172,169,214,53,50,132,203,68,158,198,43,224,253,99,10,41,90,102,151,127,39,148,53,15,5,244,233,240,53,89,195,99,59,220,237,218,32,7,239,187,197,183,184,130,113,108,47,123,223,124,76,151,86,201,218,29,189,11,59,69,203,197,69,0,40,95,118,186,119,144,105,48,235,127,149,46,189,48,12,244,140,137,215,37,178,154,19,42,82,0,183,1,48,152,251,23,39,132,214,30,109,75,193,165,28,213,243,189,7,76,76,108,191,57,185,149,96,32,94,30,77,111,21,81,193,171,60,76,23,158,166,50,111,194,232,226,73,37,233,132,218,67,32,169,223,17,166,76,119,88,85]},"git_version":"1407454"}
+{"metadata":{"bundle_info":{"chain_id":534352,"num_batches":2,"prev_state_root":"0xabacadaeaf000000000000000000000000000000000000000000000000000000","prev_batch_hash":"0xabacadaeaf000000000000000000000000000000000000000000000000000000","post_state_root":"0x9e8b9928c55ccbc933911283175842fa515e49dd3f2fe0192c4346095695d741","batch_hash":"0x30d2f51e20e9a4ecd460466af9c81d13daad4fb8d1ca1e42dab30603374f7e5f","withdraw_root":"0x7ed4c7d56e2ed40f65d25eecbb0110f3b3f4db68e87700287c7e0cedcb68272c"},"bundle_pi_hash":"0x7d1ab51aacfabcda1d110e0e34d04b4446f1ec7b9e83d080d0ef5e480e2566f4"},"proof":{"instances":[["97e96308bd98ffa3f39dc0000000000000000000000000000000000000000000","01f2a29f309390ad118fcd000000000000000000000000000000000000000000","92bc68866f74b390b60800000000000000000000000000000000000000000000","57fb7f3a0dad5147efe147000000000000000000000000000000000000000000","857c69b8d846f355e063a5000000000000000000000000000000000000000000","c223d2a4af009c159a1d00000000000000000000000000000000000000000000","67c7eaa18b594adcc30aef000000000000000000000000000000000000000000","3dbd5480333e992459b18c000000000000000000000000000000000000000000","f8ba1b51078ee337910900000000000000000000000000000000000000000000","58ed5e390c5bf96796402a000000000000000000000000000000000000000000","9d7082eee45c81f6f0c5c7000000000000000000000000000000000000000000","249d4588fd1ae3ce8c1700000000000000000000000000000000000000000000","7aa3fdd20f009a07adf150d2f74895240b1d311e37f918ae97dfa3e093017600","e89f797fae1a2a08707189a1772082fd6f30500d5c60796e4432d7e7b9380400","7d00000000000000000000000000000000000000000000000000000000000000","1a00000000000000000000000000000000000000000000000000000000000000","b500000000000000000000000000000000000000000000000000000000000000","1a00000000000000000000000000000000000000000000000000000000000000","ac00000000000000000000000000000000000000000000000000000000000000","fa00000000000000000000000000000000000000000000000000000000000000","bc00000000000000000000000000000000000000000000000000000000000000","da00000000000000000000000000000000000000000000000000000000000000","1d00000000000000000000000000000000000000000000000000000000000000","1100000000000000000000000000000000000000000000000000000000000000","0e00000000000000000000000000000000000000000000000000000000000000","0e00000000000000000000000000000000000000000000000000000000000000","3400000000000000000000000000000000000000000000000000000000000000","d000000000000000000000000000000000000000000000000000000000000000","4b00000000000000000000000000000000000000000000000000000000000000","4400000000000000000000000000000000000000000000000000000000000000","4600000000000000000000000000000000000000000000000000000000000000","f100000000000000000000000000000000000000000000000000000000000000","ec00000000000000000000000000000000000000000000000000000000000000","7b00000000000000000000000000000000000000000000000000000000000000","9e00000000000000000000000000000000000000000000000000000000000000","8300000000000000000000000000000000000000000000000000000000000000","d000000000000000000000000000000000000000000000000000000000000000","8000000000000000000000000000000000000000000000000000000000000000","d000000000000000000000000000000000000000000000000000000000000000","ef00000000000000000000000000000000000000000000000000000000000000","5e00000000000000000000000000000000000000000000000000000000000000","4800000000000000000000000000000000000000000000000000000000000000","0e00000000000000000000000000000000000000000000000000000000000000","2500000000000000000000000000000000000000000000000000000000000000","6600000000000000000000000000000000000000000000000000000000000000","f400000000000000000000000000000000000000000000000000000000000000"]],"proof":[6,13,251,83,157,229,78,147,240,211,105,211,233,165,231,246,12,118,219,182,204,150,39,214,40,239,218,244,108,49,14,248,4,50,195,55,248,15,73,230,30,192,200,178,184,159,146,207,28,4,236,42,145,115,160,169,78,212,138,69,110,0,90,93,18,187,91,198,40,107,123,170,50,254,243,170,167,213,52,111,239,127,158,2,145,90,234,125,182,59,7,7,144,45,12,49,9,204,120,71,94,150,202,83,104,20,140,119,122,105,216,190,7,17,236,14,237,140,119,247,12,130,71,27,238,137,0,57,44,137,143,13,224,20,159,155,145,123,160,36,182,220,239,150,223,161,211,160,214,105,57,242,144,235,93,103,106,226,124,93,20,175,142,101,200,241,44,171,133,13,194,150,254,97,134,14,177,255,208,255,37,186,227,128,174,204,203,81,27,62,151,182,35,122,197,178,129,249,93,142,204,56,227,173,210,121,208,13,22,57,166,128,179,95,134,111,21,69,224,30,211,54,112,48,15,181,2,115,21,37,234,68,111,71,55,235,242,160,113,15,212,211,1,237,190,62,210,90,153,42,106,90,154,85,203,96,39,65,58,143,44,152,99,222,185,28,144,150,20,134,251,200,200,48,193,238,145,132,11,19,210,84,97,9,186,19,13,60,40,44,247,229,82,148,74,179,157,238,110,134,255,116,45,32,1,200,118,59,111,127,244,73,142,147,153,119,77,235,244,193,28,221,181,243,200,74,24,119,108,234,77,213,159,68,174,191,10,138,13,23,47,116,14,196,146,61,178,121,224,25,239,13,13,141,202,250,23,42,102,201,159,215,234,116,144,251,180,43,203,195,188,0,244,126,78,248,29,98,243,101,165,37,251,9,26,170,181,112,56,131,75,27,101,214,76,235,34,230,121,62,199,214,55,79,125,97,73,35,217,212,142,83,143,177,189,82,20,208,132,125,135,25,133,93,71,134,188,128,29,37,206,112,225,182,15,247,134,134,218,61,102,223,173,131,77,31,244,178,32,19,162,173,72,128,105,233,170,190,232,7,37,152,35,47,86,128,15,171,240,78,158,87,31,68,36,115,158,172,46,17,12,228,208,116,68,177,189,163,47,80,72,21,245,188,52,2,173,254,73,255,228,92,95,56,75,96,120,74,9,74,230,154,16,73,148,131,75,149,180,19,162,35,113,223,180,153,164,214,138,105,185,145,8,191,120,148,94,144,28,82,237,111,28,33,15,22,148,49,85,46,176,21,39,60,199,85,46,13,60,204,0,243,23,125,50,105,102,199,137,164,1,148,178,156,223,84,21,230,90,140,218,69,245,58,204,95,126,177,73,73,122,142,56,235,68,89,226,191,212,254,7,242,44,252,133,245,44,197,16,178,244,169,55,240,20,166,220,19,65,220,157,188,158,100,166,177,248,95,145,38,54,23,222,56,73,190,63,82,69,38,5,136,125,98,121,38,122,179,55,156,212,94,168,123,118,221,110,134,33,177,209,66,59,210,189,148,161,251,142,240,77,43,12,73,219,185,204,129,218,83,8,144,96,191,92,173,199,234,51,237,199,26,151,230,226,229,235,204,51,251,90,150,36,52,44,57,45,17,47,182,60,69,216,20,157,123,240,37,106,107,25,156,196,204,71,212,178,124,167,14,136,178,94,129,36,135,10,52,214,252,254,2,238,44,210,158,173,107,45,255,150,60,95,84,193,129,228,198,103,253,228,7,20,68,32,255,52,95,4,202,39,206,45,231,10,142,78,205,223,169,127,200,224,110,88,14,112,72,21,200,223,101,248,164,136,94,184,178,99,219,23,141,26,230,121,151,80,142,36,101,71,173,235,89,216,242,144,130,93,151,247,157,81,94,166,219,250,50,23,124,37,237,3,28,1,80,59,253,15,62,164,11,234,45,42,148,76,250,10,60,5,64,134,75,97,53,30,22,101,231,5,190,159,62,7,25,188,223,162,102,175,100,251,83,219,106,118,251,144,130,53,81,14,146,142,191,55,204,245,189,242,213,45,34,81,3,16,105,122,205,69,38,147,176,110,249,61,62,238,153,145,56,36,249,229,1,59,68,143,106,241,173,233,59,81,207,187,142,34,152,42,165,178,189,143,237,63,84,135,15,213,34,41,253,242,132,226,80,233,160,176,159,48,65,92,252,155,222,233,105,7,46,252,171,177,180,55,249,124,23,185,246,248,136,61,144,41,26,227,194,175,146,236,95,125,123,148,44,180,117,47,242,4,199,226,247,28,221,16,194,21,101,118,95,37,161,158,221,54,118,46,102,180,183,34,40,144,131,181,51,175,124,63,106,28,55,28,120,16,241,105,31,192,222,117,121,193,152,53,142,33,157,146,108,189,22,239,182,229,227,72,254,163,144,30,231,36,184,239,92,82,72,209,10,33,212,9,231,84,105,164,129,90,179,160,196,251,5,224,82,62,94,46,89,111,130,183,125,6,74,23,131,215,233,84,97,205,72,244,68,197,246,97,159,172,122,74,114,178,134,12,175,129,110,86,125,142,206,254,183,29,29,110,165,207,1,203,23,38,178,142,30,64,129,2,186,19,54,48,116,11,249,29,145,227,18,229,111,189,61,117,39,40,84,193,255,37,121,26,210,148,220,223,222,162,182,185,84,41,139,109,106,65,204,205,72,238,173,59,120,247,143,14,150,35,194,59,14,96,84,120,204,121,117,126,61,161,41,143,200,46,196,43,197,199,137,142,185,172,152,198,119,170,168,228,119,39,119,21,199,27,233,154,40,37,91,147,152,220,47,75,173,41,198,248,25,15,220,40,114,207,169,39,143,194,225,44,219,44,126,211,225,79,136,49,226,110,6,235,41,138,201,20,46,106,105,71,92,28,239,224,59,158,116,96,127,63,42,37,148,39,189,200,211,199,225,197,38,16,147,191,110,238,45,201,177,142,169,82,63,117,176,165,158,46,156,6,225,131,166,11,167,24,76,103,7,106,17,169,211,232,137,140,126,15,175,252,5,2,204,103,171,94,230,78,40,205,49,101,148,148,182,75,32,39,109,180,112,205,175,134,114,48,6,52,28,59,10,195,16,75,84,177,162,186,223,26,90,158,79,87,199,120,244,115,164]},"vk":"AhYAAAAABAAAAD2PumVP6pqldS0PKWW8Q4IvnE/rvtm5/2fXvG196sYhI47ROxge2z4kg7ybLacHwn9EMlyXIRVV4j4RbMs2AiQNu8s47Xabxy0EViND1dzsu5HicdAWl0xG5C+VpO2faJdK4nGwtD4WHtbdqWY72nSY5aKSDxAYO85vLy+9cJZl4YV1JRvVS93TXSFqhKGUEGQz8whNVHZcWy3igkXP0lv1viqH+tQ3npbYoF7PNhRVSRp/YxwFufgw3O4cGkpuZMw8T9j5UXpHz3K/2yuVSXK6OvMG4/058TXG09qKgXYP","git_version":"daf3b1d"}

common/types/message/bundle-proof-sample.json

@@ -224,14 +224,12 @@ func (ap *Halo2BundleProof) SanityCheck() error {
 type OpenVMProof struct {
 	Proof        interface{} `json:"proofs"`
 	PublicValues []uint32    `json:"public_values"`
-	Vk           []byte      `json:"vk,omitempty"`
 }
 
 // Proof for flatten EVM proof
 type OpenVMEvmProof struct {
 	Proof     []byte     `json:"proof"`
 	Instances [][]string `json:"instances"`
-	Vk        []byte     `json:"vk,omitempty"`
 }
 
 // OpenVMChunkProof includes the proof info that are required for chunk verification and rollup.
@@ -241,6 +239,7 @@ type OpenVMChunkProof struct {
 	} `json:"metadata"`
 
 	VmProof    *OpenVMProof `json:"proof"`
+	Vk         []byte       `json:"vk,omitempty"`
 	GitVersion string       `json:"git_version,omitempty"`
 }
 
@@ -271,6 +270,7 @@ type OpenVMBatchProof struct {
 	} `json:"metadata"`
 
 	VmProof    *OpenVMProof `json:"proof"`
+	Vk         []byte       `json:"vk,omitempty"`
 	GitVersion string       `json:"git_version,omitempty"`
 }
 
@@ -295,15 +295,16 @@ func (ap *OpenVMBatchProof) SanityCheck() error {
 	if ap.VmProof == nil {
 		return errors.New("proof not ready")
 	} else {
+		if len(ap.Vk) == 0 {
+			return errors.New("vk not ready")
+		}
 		pf := ap.VmProof
 		if pf.Proof == nil {
 			return errors.New("proof data not ready")
 		}
-
-		// TODO: resume this after rc2
-		// if len(pf.Vk) == 0 {
-		// 	return errors.New("vk not ready")
-		// }
+		if len(pf.PublicValues) == 0 {
+			return errors.New("proof public value not ready")
+		}
 	}
 
 	return nil
@@ -328,6 +329,7 @@ type OpenVMBundleProof struct {
 	} `json:"metadata"`
 
 	EvmProof   *OpenVMEvmProof `json:"proof"`
+	Vk         []byte          `json:"vk,omitempty"`
 	GitVersion string          `json:"git_version,omitempty"`
 }
 
@@ -340,14 +342,17 @@ func (ap *OpenVMBundleProof) SanityCheck() error {
 	if ap == nil {
 		return errors.New("agg_proof is nil")
 	}
-	// TODO: resume this after metadata of bundle info is ready
-	// if ap.MetaData.BundleInfo == nil {
-	// 	return errors.New("bundle info not ready")
-	// }
+
+	if ap.MetaData.BundleInfo == nil {
+		return errors.New("bundle info not ready")
+	}
 
 	if ap.EvmProof == nil {
 		return errors.New("proof not ready")
 	} else {
+		if len(ap.Vk) == 0 {
+			return errors.New("vk not ready")
+		}
 		pf := ap.EvmProof
 		if len(pf.Proof)%32 != 0 {
 			return fmt.Errorf("proof buffer length must be a multiple of 32, got: %d", len(pf.Proof))
@@ -357,10 +362,9 @@ func (ap *OpenVMBundleProof) SanityCheck() error {
 			return errors.New("instance not ready")
 		}
 
-		// TODO: resume this after rc2
-		// if len(pf.Vk) == 0 {
-		// 	return errors.New("vk not ready")
-		// }
+		if len(pf.Instances) == 0 {
+			return errors.New("proof public value not ready")
+		}
 	}
 
 	return nil