longfellow 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (289) hide show
  1. checksums.yaml +7 -0
  2. data/CODE_OF_CONDUCT.md +10 -0
  3. data/LICENSE.txt +21 -0
  4. data/README.md +152 -0
  5. data/ext/longfellow/CMakeLists.txt +76 -0
  6. data/ext/longfellow/extconf.rb +77 -0
  7. data/lib/longfellow/attribute.rb +65 -0
  8. data/lib/longfellow/c.rb +105 -0
  9. data/lib/longfellow/errors.rb +78 -0
  10. data/lib/longfellow/version.rb +5 -0
  11. data/lib/longfellow/zk_spec.rb +40 -0
  12. data/lib/longfellow.rb +162 -0
  13. data/sig/longfellow.rbs +74 -0
  14. data/vendor/longfellow-zk/LICENSE +203 -0
  15. data/vendor/longfellow-zk/lib/algebra/blas.h +121 -0
  16. data/vendor/longfellow-zk/lib/algebra/bogorng.h +68 -0
  17. data/vendor/longfellow-zk/lib/algebra/compare.h +40 -0
  18. data/vendor/longfellow-zk/lib/algebra/convolution.h +219 -0
  19. data/vendor/longfellow-zk/lib/algebra/crt.cc +42 -0
  20. data/vendor/longfellow-zk/lib/algebra/crt.h +299 -0
  21. data/vendor/longfellow-zk/lib/algebra/crt_convolution.h +114 -0
  22. data/vendor/longfellow-zk/lib/algebra/crt_test.cc +371 -0
  23. data/vendor/longfellow-zk/lib/algebra/fft.h +104 -0
  24. data/vendor/longfellow-zk/lib/algebra/fft_interpolation.h +304 -0
  25. data/vendor/longfellow-zk/lib/algebra/fft_interpolation_test.cc +168 -0
  26. data/vendor/longfellow-zk/lib/algebra/fft_test.cc +257 -0
  27. data/vendor/longfellow-zk/lib/algebra/fp.h +59 -0
  28. data/vendor/longfellow-zk/lib/algebra/fp2.h +240 -0
  29. data/vendor/longfellow-zk/lib/algebra/fp24.h +342 -0
  30. data/vendor/longfellow-zk/lib/algebra/fp24_6.h +305 -0
  31. data/vendor/longfellow-zk/lib/algebra/fp24_6_test.cc +197 -0
  32. data/vendor/longfellow-zk/lib/algebra/fp2_test.cc +280 -0
  33. data/vendor/longfellow-zk/lib/algebra/fp_generic.h +533 -0
  34. data/vendor/longfellow-zk/lib/algebra/fp_p128.h +91 -0
  35. data/vendor/longfellow-zk/lib/algebra/fp_p256.h +68 -0
  36. data/vendor/longfellow-zk/lib/algebra/fp_p256k1.h +123 -0
  37. data/vendor/longfellow-zk/lib/algebra/fp_p384.h +65 -0
  38. data/vendor/longfellow-zk/lib/algebra/fp_p521.h +62 -0
  39. data/vendor/longfellow-zk/lib/algebra/fp_test.cc +522 -0
  40. data/vendor/longfellow-zk/lib/algebra/hash.h +39 -0
  41. data/vendor/longfellow-zk/lib/algebra/interpolation.h +117 -0
  42. data/vendor/longfellow-zk/lib/algebra/interpolation_test.cc +74 -0
  43. data/vendor/longfellow-zk/lib/algebra/limb.h +153 -0
  44. data/vendor/longfellow-zk/lib/algebra/limb_test.cc +75 -0
  45. data/vendor/longfellow-zk/lib/algebra/nat.cc +32 -0
  46. data/vendor/longfellow-zk/lib/algebra/nat.h +212 -0
  47. data/vendor/longfellow-zk/lib/algebra/nat_test.cc +183 -0
  48. data/vendor/longfellow-zk/lib/algebra/nussbaumer.h +400 -0
  49. data/vendor/longfellow-zk/lib/algebra/nussbaumer_test.cc +138 -0
  50. data/vendor/longfellow-zk/lib/algebra/nussbaumerfp2_test.cc +139 -0
  51. data/vendor/longfellow-zk/lib/algebra/permutations.h +79 -0
  52. data/vendor/longfellow-zk/lib/algebra/poly.h +240 -0
  53. data/vendor/longfellow-zk/lib/algebra/poly_test.cc +123 -0
  54. data/vendor/longfellow-zk/lib/algebra/reed_solomon.h +150 -0
  55. data/vendor/longfellow-zk/lib/algebra/reed_solomon_extension.h +108 -0
  56. data/vendor/longfellow-zk/lib/algebra/reed_solomon_extension_test.cc +76 -0
  57. data/vendor/longfellow-zk/lib/algebra/reed_solomon_test.cc +473 -0
  58. data/vendor/longfellow-zk/lib/algebra/rfft.h +400 -0
  59. data/vendor/longfellow-zk/lib/algebra/rfft_test.cc +102 -0
  60. data/vendor/longfellow-zk/lib/algebra/static_string.h +29 -0
  61. data/vendor/longfellow-zk/lib/algebra/sysdep.h +495 -0
  62. data/vendor/longfellow-zk/lib/algebra/sysdep_test.cc +41 -0
  63. data/vendor/longfellow-zk/lib/algebra/twiddle.h +59 -0
  64. data/vendor/longfellow-zk/lib/algebra/utility.h +86 -0
  65. data/vendor/longfellow-zk/lib/algebra/utility_test.cc +86 -0
  66. data/vendor/longfellow-zk/lib/arrays/affine.h +56 -0
  67. data/vendor/longfellow-zk/lib/arrays/affine_test.cc +220 -0
  68. data/vendor/longfellow-zk/lib/arrays/dense.h +210 -0
  69. data/vendor/longfellow-zk/lib/arrays/eq.h +75 -0
  70. data/vendor/longfellow-zk/lib/arrays/eqs.h +137 -0
  71. data/vendor/longfellow-zk/lib/arrays/eqs_test.cc +151 -0
  72. data/vendor/longfellow-zk/lib/arrays/sparse.h +192 -0
  73. data/vendor/longfellow-zk/lib/cbor/host_decoder.h +323 -0
  74. data/vendor/longfellow-zk/lib/cbor/host_decoder_test.cc +541 -0
  75. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor.h +594 -0
  76. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_byte_decoder.h +150 -0
  77. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_byte_decoder_test.cc +147 -0
  78. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_constants.h +27 -0
  79. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_pluck.h +110 -0
  80. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_pluck_test.cc +55 -0
  81. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_test.cc +174 -0
  82. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_testing.h +98 -0
  83. data/vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_witness.h +312 -0
  84. data/vendor/longfellow-zk/lib/circuits/cbor_parser/mso2_test.cc +662 -0
  85. data/vendor/longfellow-zk/lib/circuits/cbor_parser/mso_test.cc +485 -0
  86. data/vendor/longfellow-zk/lib/circuits/cbor_parser/scan.h +104 -0
  87. data/vendor/longfellow-zk/lib/circuits/cbor_parser/scan_test.cc +137 -0
  88. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor.h +640 -0
  89. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_byte_decoder.h +150 -0
  90. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_byte_decoder_test.cc +147 -0
  91. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_constants.h +27 -0
  92. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_testing.h +99 -0
  93. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_witness.h +319 -0
  94. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/lexer_test.cc +120 -0
  95. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/mdoc_examples_test.cc +89 -0
  96. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/parser_circuit_test.cc +506 -0
  97. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/parser_size_test.cc +79 -0
  98. data/vendor/longfellow-zk/lib/circuits/cbor_parser_v2/parser_test.cc +473 -0
  99. data/vendor/longfellow-zk/lib/circuits/compiler/canonicalization_test.cc +185 -0
  100. data/vendor/longfellow-zk/lib/circuits/compiler/circuit_dump.h +65 -0
  101. data/vendor/longfellow-zk/lib/circuits/compiler/compiler.h +471 -0
  102. data/vendor/longfellow-zk/lib/circuits/compiler/compiler_test.cc +110 -0
  103. data/vendor/longfellow-zk/lib/circuits/compiler/node.h +176 -0
  104. data/vendor/longfellow-zk/lib/circuits/compiler/pdqhash.h +127 -0
  105. data/vendor/longfellow-zk/lib/circuits/compiler/schedule.h +435 -0
  106. data/vendor/longfellow-zk/lib/circuits/ecdsa/verify_circuit.h +371 -0
  107. data/vendor/longfellow-zk/lib/circuits/ecdsa/verify_external_test.cc +246 -0
  108. data/vendor/longfellow-zk/lib/circuits/ecdsa/verify_test.cc +587 -0
  109. data/vendor/longfellow-zk/lib/circuits/ecdsa/verify_witness.h +201 -0
  110. data/vendor/longfellow-zk/lib/circuits/logic/bit_adder.h +140 -0
  111. data/vendor/longfellow-zk/lib/circuits/logic/bit_adder_test.cc +64 -0
  112. data/vendor/longfellow-zk/lib/circuits/logic/bit_plucker.h +247 -0
  113. data/vendor/longfellow-zk/lib/circuits/logic/bit_plucker_constants.h +35 -0
  114. data/vendor/longfellow-zk/lib/circuits/logic/bit_plucker_encoder.h +72 -0
  115. data/vendor/longfellow-zk/lib/circuits/logic/bit_plucker_test.cc +183 -0
  116. data/vendor/longfellow-zk/lib/circuits/logic/compiler_backend.h +62 -0
  117. data/vendor/longfellow-zk/lib/circuits/logic/counter.h +171 -0
  118. data/vendor/longfellow-zk/lib/circuits/logic/counter_test.cc +102 -0
  119. data/vendor/longfellow-zk/lib/circuits/logic/evaluation_backend.h +94 -0
  120. data/vendor/longfellow-zk/lib/circuits/logic/logic.h +1232 -0
  121. data/vendor/longfellow-zk/lib/circuits/logic/logic_circuit_test.cc +310 -0
  122. data/vendor/longfellow-zk/lib/circuits/logic/logic_test.cc +521 -0
  123. data/vendor/longfellow-zk/lib/circuits/logic/memcmp.h +68 -0
  124. data/vendor/longfellow-zk/lib/circuits/logic/memcmp_test.cc +148 -0
  125. data/vendor/longfellow-zk/lib/circuits/logic/polynomial.h +94 -0
  126. data/vendor/longfellow-zk/lib/circuits/logic/polynomial_test.cc +62 -0
  127. data/vendor/longfellow-zk/lib/circuits/logic/routing.h +445 -0
  128. data/vendor/longfellow-zk/lib/circuits/logic/routing_test.cc +241 -0
  129. data/vendor/longfellow-zk/lib/circuits/logic/unary.h +55 -0
  130. data/vendor/longfellow-zk/lib/circuits/logic/unary_plucker.h +77 -0
  131. data/vendor/longfellow-zk/lib/circuits/logic/unary_plucker_constants.h +37 -0
  132. data/vendor/longfellow-zk/lib/circuits/logic/unary_plucker_test.cc +53 -0
  133. data/vendor/longfellow-zk/lib/circuits/logic/unary_size_test.cc +69 -0
  134. data/vendor/longfellow-zk/lib/circuits/logic/unary_test.cc +62 -0
  135. data/vendor/longfellow-zk/lib/circuits/mac/mac_circuit.h +193 -0
  136. data/vendor/longfellow-zk/lib/circuits/mac/mac_circuit_test.cc +223 -0
  137. data/vendor/longfellow-zk/lib/circuits/mac/mac_reference.h +72 -0
  138. data/vendor/longfellow-zk/lib/circuits/mac/mac_witness.h +94 -0
  139. data/vendor/longfellow-zk/lib/circuits/mdoc/circuit_maker.cc +242 -0
  140. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_attribute_ids.h +311 -0
  141. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_attribute_test.cc +64 -0
  142. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_circuit_id.cc +85 -0
  143. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_constants.h +85 -0
  144. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_decompress.cc +41 -0
  145. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_decompress.h +27 -0
  146. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_examples.h +5232 -0
  147. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_generate_circuit.cc +199 -0
  148. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_hash.h +554 -0
  149. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_signature.h +143 -0
  150. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_signature_test.cc +444 -0
  151. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_test_attributes.h +157 -0
  152. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_witness.h +863 -0
  153. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_zk.cc +693 -0
  154. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_zk.h +216 -0
  155. data/vendor/longfellow-zk/lib/circuits/mdoc/mdoc_zk_test.cc +724 -0
  156. data/vendor/longfellow-zk/lib/circuits/mdoc/zk_spec.cc +100 -0
  157. data/vendor/longfellow-zk/lib/circuits/mdoc/zk_spec_test.cc +155 -0
  158. data/vendor/longfellow-zk/lib/circuits/sha/flatsha256_circuit.h +330 -0
  159. data/vendor/longfellow-zk/lib/circuits/sha/flatsha256_circuit_test.cc +607 -0
  160. data/vendor/longfellow-zk/lib/circuits/sha/flatsha256_io.h +26 -0
  161. data/vendor/longfellow-zk/lib/circuits/sha/flatsha256_witness.cc +163 -0
  162. data/vendor/longfellow-zk/lib/circuits/sha/flatsha256_witness.h +47 -0
  163. data/vendor/longfellow-zk/lib/circuits/sha/sha256_constants.cc +34 -0
  164. data/vendor/longfellow-zk/lib/circuits/sha/sha256_constants.h +27 -0
  165. data/vendor/longfellow-zk/lib/circuits/sha/sha256_test_values.h +389 -0
  166. data/vendor/longfellow-zk/lib/circuits/tests/anoncred/ptrcred.h +171 -0
  167. data/vendor/longfellow-zk/lib/circuits/tests/anoncred/small.h +218 -0
  168. data/vendor/longfellow-zk/lib/circuits/tests/anoncred/small_examples.h +118 -0
  169. data/vendor/longfellow-zk/lib/circuits/tests/anoncred/small_io.h +25 -0
  170. data/vendor/longfellow-zk/lib/circuits/tests/anoncred/small_test.cc +208 -0
  171. data/vendor/longfellow-zk/lib/circuits/tests/anoncred/small_witness.h +130 -0
  172. data/vendor/longfellow-zk/lib/circuits/tests/base64/decode.h +508 -0
  173. data/vendor/longfellow-zk/lib/circuits/tests/base64/decode_circuit_test.cc +95 -0
  174. data/vendor/longfellow-zk/lib/circuits/tests/base64/decode_test.cc +119 -0
  175. data/vendor/longfellow-zk/lib/circuits/tests/base64/decode_util.cc +47 -0
  176. data/vendor/longfellow-zk/lib/circuits/tests/base64/decode_util.h +29 -0
  177. data/vendor/longfellow-zk/lib/circuits/tests/ec/pk_circuit.h +231 -0
  178. data/vendor/longfellow-zk/lib/circuits/tests/ec/pk_circuit_test.cc +428 -0
  179. data/vendor/longfellow-zk/lib/circuits/tests/ec/pk_witness.h +102 -0
  180. data/vendor/longfellow-zk/lib/circuits/tests/jwt/jwt.h +190 -0
  181. data/vendor/longfellow-zk/lib/circuits/tests/jwt/jwt_constants.h +26 -0
  182. data/vendor/longfellow-zk/lib/circuits/tests/jwt/jwt_test.cc +559 -0
  183. data/vendor/longfellow-zk/lib/circuits/tests/jwt/jwt_witness.h +315 -0
  184. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f.h +411 -0
  185. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f_io.h +32 -0
  186. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f_test.cc +364 -0
  187. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f_witness.h +278 -0
  188. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation.h +146 -0
  189. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation_constants.h +25 -0
  190. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation_test.cc +315 -0
  191. data/vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation_witness.h +136 -0
  192. data/vendor/longfellow-zk/lib/circuits/tests/pq/bitaddr/bitaddr.h +250 -0
  193. data/vendor/longfellow-zk/lib/circuits/tests/pq/bitaddr/bitaddr_test.cc +333 -0
  194. data/vendor/longfellow-zk/lib/circuits/tests/pq/bitaddr/bitaddr_witness.h +152 -0
  195. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44.h +903 -0
  196. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_circuit_test.cc +274 -0
  197. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_eval_test.cc +440 -0
  198. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_examples.cc +8851 -0
  199. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_examples.h +93 -0
  200. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_types.cc +24 -0
  201. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_types.h +118 -0
  202. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_witness.h +453 -0
  203. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_witness_test.cc +49 -0
  204. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref.cc +458 -0
  205. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref.h +150 -0
  206. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test.cc +398 -0
  207. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test_vectors.inc +3618 -0
  208. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test_vectors_pkdecode.inc +689 -0
  209. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test_vectors_sigdecode.inc +1501 -0
  210. data/vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/sigdecode_test_vectors.inc +540 -0
  211. data/vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_circuit.h +394 -0
  212. data/vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_circuit_test.cc +577 -0
  213. data/vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_constants.h +90 -0
  214. data/vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_witness.cc +174 -0
  215. data/vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_witness.h +140 -0
  216. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_circuit.h +351 -0
  217. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_circuit_test.cc +466 -0
  218. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_reference.cc +207 -0
  219. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_reference.h +59 -0
  220. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_reference_test.cc +153 -0
  221. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_round_constants.cc +39 -0
  222. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_round_constants.h +29 -0
  223. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_slicing.h +31 -0
  224. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_witness.cc +83 -0
  225. data/vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_witness.h +72 -0
  226. data/vendor/longfellow-zk/lib/circuits/tests/sha3/shake_test_vectors.h +477 -0
  227. data/vendor/longfellow-zk/lib/ec/elliptic_curve.h +596 -0
  228. data/vendor/longfellow-zk/lib/ec/elliptic_curve_test.cc +548 -0
  229. data/vendor/longfellow-zk/lib/ec/p256.cc +36 -0
  230. data/vendor/longfellow-zk/lib/ec/p256.h +60 -0
  231. data/vendor/longfellow-zk/lib/ec/p256k1.cc +34 -0
  232. data/vendor/longfellow-zk/lib/ec/p256k1.h +60 -0
  233. data/vendor/longfellow-zk/lib/gf2k/gf2_128.h +503 -0
  234. data/vendor/longfellow-zk/lib/gf2k/gf2_128_bench.cc +48 -0
  235. data/vendor/longfellow-zk/lib/gf2k/gf2_128_test.cc +416 -0
  236. data/vendor/longfellow-zk/lib/gf2k/gf2poly.h +74 -0
  237. data/vendor/longfellow-zk/lib/gf2k/lch14.h +242 -0
  238. data/vendor/longfellow-zk/lib/gf2k/lch14_bench.cc +75 -0
  239. data/vendor/longfellow-zk/lib/gf2k/lch14_reed_solomon.h +127 -0
  240. data/vendor/longfellow-zk/lib/gf2k/lch14_reed_solomon_test.cc +110 -0
  241. data/vendor/longfellow-zk/lib/gf2k/lch14_test.cc +246 -0
  242. data/vendor/longfellow-zk/lib/gf2k/sysdep.h +329 -0
  243. data/vendor/longfellow-zk/lib/ligero/ligero_param.h +449 -0
  244. data/vendor/longfellow-zk/lib/ligero/ligero_prover.h +354 -0
  245. data/vendor/longfellow-zk/lib/ligero/ligero_test.cc +136 -0
  246. data/vendor/longfellow-zk/lib/ligero/ligero_transcript.h +67 -0
  247. data/vendor/longfellow-zk/lib/ligero/ligero_verifier.h +272 -0
  248. data/vendor/longfellow-zk/lib/merkle/merkle_commitment.h +104 -0
  249. data/vendor/longfellow-zk/lib/merkle/merkle_tree.h +216 -0
  250. data/vendor/longfellow-zk/lib/merkle/merkle_tree_test.cc +240 -0
  251. data/vendor/longfellow-zk/lib/proto/circuit.h +354 -0
  252. data/vendor/longfellow-zk/lib/proto/circuit_test.cc +202 -0
  253. data/vendor/longfellow-zk/lib/random/random.h +119 -0
  254. data/vendor/longfellow-zk/lib/random/random_test.cc +189 -0
  255. data/vendor/longfellow-zk/lib/random/secure_random_engine.h +37 -0
  256. data/vendor/longfellow-zk/lib/random/transcript.h +193 -0
  257. data/vendor/longfellow-zk/lib/random/transcript_test.cc +344 -0
  258. data/vendor/longfellow-zk/lib/sumcheck/circuit.h +148 -0
  259. data/vendor/longfellow-zk/lib/sumcheck/circuit_id.h +71 -0
  260. data/vendor/longfellow-zk/lib/sumcheck/equad.h +126 -0
  261. data/vendor/longfellow-zk/lib/sumcheck/hquad.h +115 -0
  262. data/vendor/longfellow-zk/lib/sumcheck/prover.h +59 -0
  263. data/vendor/longfellow-zk/lib/sumcheck/prover_layers.h +362 -0
  264. data/vendor/longfellow-zk/lib/sumcheck/quad.h +227 -0
  265. data/vendor/longfellow-zk/lib/sumcheck/quad_builder.h +211 -0
  266. data/vendor/longfellow-zk/lib/sumcheck/quad_test.cc +169 -0
  267. data/vendor/longfellow-zk/lib/sumcheck/sumcheck_test.cc +324 -0
  268. data/vendor/longfellow-zk/lib/sumcheck/testing.h +69 -0
  269. data/vendor/longfellow-zk/lib/sumcheck/transcript_sumcheck.h +85 -0
  270. data/vendor/longfellow-zk/lib/sumcheck/verifier.h +84 -0
  271. data/vendor/longfellow-zk/lib/sumcheck/verifier_layers.h +221 -0
  272. data/vendor/longfellow-zk/lib/testing/test_main.cc +50 -0
  273. data/vendor/longfellow-zk/lib/util/ceildiv.h +164 -0
  274. data/vendor/longfellow-zk/lib/util/ceildiv_test.cc +152 -0
  275. data/vendor/longfellow-zk/lib/util/crc64.h +45 -0
  276. data/vendor/longfellow-zk/lib/util/crypto.cc +39 -0
  277. data/vendor/longfellow-zk/lib/util/crypto.h +108 -0
  278. data/vendor/longfellow-zk/lib/util/log.cc +110 -0
  279. data/vendor/longfellow-zk/lib/util/log.h +33 -0
  280. data/vendor/longfellow-zk/lib/util/panic.h +40 -0
  281. data/vendor/longfellow-zk/lib/util/readbuffer.h +67 -0
  282. data/vendor/longfellow-zk/lib/util/serialization.h +54 -0
  283. data/vendor/longfellow-zk/lib/zk/zk_common.h +455 -0
  284. data/vendor/longfellow-zk/lib/zk/zk_proof.h +378 -0
  285. data/vendor/longfellow-zk/lib/zk/zk_prover.h +202 -0
  286. data/vendor/longfellow-zk/lib/zk/zk_test.cc +340 -0
  287. data/vendor/longfellow-zk/lib/zk/zk_testing.h +154 -0
  288. data/vendor/longfellow-zk/lib/zk/zk_verifier.h +109 -0
  289. metadata +347 -0
metadata ADDED
@@ -0,0 +1,347 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: longfellow
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.1.0
5
+ platform: ruby
6
+ authors:
7
+ - azuchi
8
+ bindir: exe
9
+ cert_chain: []
10
+ date: 1980-01-02 00:00:00.000000000 Z
11
+ dependencies:
12
+ - !ruby/object:Gem::Dependency
13
+ name: ffi
14
+ requirement: !ruby/object:Gem::Requirement
15
+ requirements:
16
+ - - "~>"
17
+ - !ruby/object:Gem::Version
18
+ version: '1.16'
19
+ type: :runtime
20
+ prerelease: false
21
+ version_requirements: !ruby/object:Gem::Requirement
22
+ requirements:
23
+ - - "~>"
24
+ - !ruby/object:Gem::Version
25
+ version: '1.16'
26
+ description: |
27
+ Ruby (FFI) bindings for google/longfellow-zk, the zero-knowledge library for
28
+ identity protocols. Generate and verify zero-knowledge proofs over ISO mdoc /
29
+ mDL verifiable credentials directly from Ruby.
30
+ email:
31
+ - azuchi@chaintope.com
32
+ executables: []
33
+ extensions:
34
+ - ext/longfellow/extconf.rb
35
+ extra_rdoc_files: []
36
+ files:
37
+ - CODE_OF_CONDUCT.md
38
+ - LICENSE.txt
39
+ - README.md
40
+ - ext/longfellow/CMakeLists.txt
41
+ - ext/longfellow/extconf.rb
42
+ - lib/longfellow.rb
43
+ - lib/longfellow/attribute.rb
44
+ - lib/longfellow/c.rb
45
+ - lib/longfellow/errors.rb
46
+ - lib/longfellow/version.rb
47
+ - lib/longfellow/zk_spec.rb
48
+ - sig/longfellow.rbs
49
+ - vendor/longfellow-zk/LICENSE
50
+ - vendor/longfellow-zk/lib/algebra/blas.h
51
+ - vendor/longfellow-zk/lib/algebra/bogorng.h
52
+ - vendor/longfellow-zk/lib/algebra/compare.h
53
+ - vendor/longfellow-zk/lib/algebra/convolution.h
54
+ - vendor/longfellow-zk/lib/algebra/crt.cc
55
+ - vendor/longfellow-zk/lib/algebra/crt.h
56
+ - vendor/longfellow-zk/lib/algebra/crt_convolution.h
57
+ - vendor/longfellow-zk/lib/algebra/crt_test.cc
58
+ - vendor/longfellow-zk/lib/algebra/fft.h
59
+ - vendor/longfellow-zk/lib/algebra/fft_interpolation.h
60
+ - vendor/longfellow-zk/lib/algebra/fft_interpolation_test.cc
61
+ - vendor/longfellow-zk/lib/algebra/fft_test.cc
62
+ - vendor/longfellow-zk/lib/algebra/fp.h
63
+ - vendor/longfellow-zk/lib/algebra/fp2.h
64
+ - vendor/longfellow-zk/lib/algebra/fp24.h
65
+ - vendor/longfellow-zk/lib/algebra/fp24_6.h
66
+ - vendor/longfellow-zk/lib/algebra/fp24_6_test.cc
67
+ - vendor/longfellow-zk/lib/algebra/fp2_test.cc
68
+ - vendor/longfellow-zk/lib/algebra/fp_generic.h
69
+ - vendor/longfellow-zk/lib/algebra/fp_p128.h
70
+ - vendor/longfellow-zk/lib/algebra/fp_p256.h
71
+ - vendor/longfellow-zk/lib/algebra/fp_p256k1.h
72
+ - vendor/longfellow-zk/lib/algebra/fp_p384.h
73
+ - vendor/longfellow-zk/lib/algebra/fp_p521.h
74
+ - vendor/longfellow-zk/lib/algebra/fp_test.cc
75
+ - vendor/longfellow-zk/lib/algebra/hash.h
76
+ - vendor/longfellow-zk/lib/algebra/interpolation.h
77
+ - vendor/longfellow-zk/lib/algebra/interpolation_test.cc
78
+ - vendor/longfellow-zk/lib/algebra/limb.h
79
+ - vendor/longfellow-zk/lib/algebra/limb_test.cc
80
+ - vendor/longfellow-zk/lib/algebra/nat.cc
81
+ - vendor/longfellow-zk/lib/algebra/nat.h
82
+ - vendor/longfellow-zk/lib/algebra/nat_test.cc
83
+ - vendor/longfellow-zk/lib/algebra/nussbaumer.h
84
+ - vendor/longfellow-zk/lib/algebra/nussbaumer_test.cc
85
+ - vendor/longfellow-zk/lib/algebra/nussbaumerfp2_test.cc
86
+ - vendor/longfellow-zk/lib/algebra/permutations.h
87
+ - vendor/longfellow-zk/lib/algebra/poly.h
88
+ - vendor/longfellow-zk/lib/algebra/poly_test.cc
89
+ - vendor/longfellow-zk/lib/algebra/reed_solomon.h
90
+ - vendor/longfellow-zk/lib/algebra/reed_solomon_extension.h
91
+ - vendor/longfellow-zk/lib/algebra/reed_solomon_extension_test.cc
92
+ - vendor/longfellow-zk/lib/algebra/reed_solomon_test.cc
93
+ - vendor/longfellow-zk/lib/algebra/rfft.h
94
+ - vendor/longfellow-zk/lib/algebra/rfft_test.cc
95
+ - vendor/longfellow-zk/lib/algebra/static_string.h
96
+ - vendor/longfellow-zk/lib/algebra/sysdep.h
97
+ - vendor/longfellow-zk/lib/algebra/sysdep_test.cc
98
+ - vendor/longfellow-zk/lib/algebra/twiddle.h
99
+ - vendor/longfellow-zk/lib/algebra/utility.h
100
+ - vendor/longfellow-zk/lib/algebra/utility_test.cc
101
+ - vendor/longfellow-zk/lib/arrays/affine.h
102
+ - vendor/longfellow-zk/lib/arrays/affine_test.cc
103
+ - vendor/longfellow-zk/lib/arrays/dense.h
104
+ - vendor/longfellow-zk/lib/arrays/eq.h
105
+ - vendor/longfellow-zk/lib/arrays/eqs.h
106
+ - vendor/longfellow-zk/lib/arrays/eqs_test.cc
107
+ - vendor/longfellow-zk/lib/arrays/sparse.h
108
+ - vendor/longfellow-zk/lib/cbor/host_decoder.h
109
+ - vendor/longfellow-zk/lib/cbor/host_decoder_test.cc
110
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor.h
111
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_byte_decoder.h
112
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_byte_decoder_test.cc
113
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_constants.h
114
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_pluck.h
115
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_pluck_test.cc
116
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_test.cc
117
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_testing.h
118
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/cbor_witness.h
119
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/mso2_test.cc
120
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/mso_test.cc
121
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/scan.h
122
+ - vendor/longfellow-zk/lib/circuits/cbor_parser/scan_test.cc
123
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor.h
124
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_byte_decoder.h
125
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_byte_decoder_test.cc
126
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_constants.h
127
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_testing.h
128
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/cbor_witness.h
129
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/lexer_test.cc
130
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/mdoc_examples_test.cc
131
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/parser_circuit_test.cc
132
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/parser_size_test.cc
133
+ - vendor/longfellow-zk/lib/circuits/cbor_parser_v2/parser_test.cc
134
+ - vendor/longfellow-zk/lib/circuits/compiler/canonicalization_test.cc
135
+ - vendor/longfellow-zk/lib/circuits/compiler/circuit_dump.h
136
+ - vendor/longfellow-zk/lib/circuits/compiler/compiler.h
137
+ - vendor/longfellow-zk/lib/circuits/compiler/compiler_test.cc
138
+ - vendor/longfellow-zk/lib/circuits/compiler/node.h
139
+ - vendor/longfellow-zk/lib/circuits/compiler/pdqhash.h
140
+ - vendor/longfellow-zk/lib/circuits/compiler/schedule.h
141
+ - vendor/longfellow-zk/lib/circuits/ecdsa/verify_circuit.h
142
+ - vendor/longfellow-zk/lib/circuits/ecdsa/verify_external_test.cc
143
+ - vendor/longfellow-zk/lib/circuits/ecdsa/verify_test.cc
144
+ - vendor/longfellow-zk/lib/circuits/ecdsa/verify_witness.h
145
+ - vendor/longfellow-zk/lib/circuits/logic/bit_adder.h
146
+ - vendor/longfellow-zk/lib/circuits/logic/bit_adder_test.cc
147
+ - vendor/longfellow-zk/lib/circuits/logic/bit_plucker.h
148
+ - vendor/longfellow-zk/lib/circuits/logic/bit_plucker_constants.h
149
+ - vendor/longfellow-zk/lib/circuits/logic/bit_plucker_encoder.h
150
+ - vendor/longfellow-zk/lib/circuits/logic/bit_plucker_test.cc
151
+ - vendor/longfellow-zk/lib/circuits/logic/compiler_backend.h
152
+ - vendor/longfellow-zk/lib/circuits/logic/counter.h
153
+ - vendor/longfellow-zk/lib/circuits/logic/counter_test.cc
154
+ - vendor/longfellow-zk/lib/circuits/logic/evaluation_backend.h
155
+ - vendor/longfellow-zk/lib/circuits/logic/logic.h
156
+ - vendor/longfellow-zk/lib/circuits/logic/logic_circuit_test.cc
157
+ - vendor/longfellow-zk/lib/circuits/logic/logic_test.cc
158
+ - vendor/longfellow-zk/lib/circuits/logic/memcmp.h
159
+ - vendor/longfellow-zk/lib/circuits/logic/memcmp_test.cc
160
+ - vendor/longfellow-zk/lib/circuits/logic/polynomial.h
161
+ - vendor/longfellow-zk/lib/circuits/logic/polynomial_test.cc
162
+ - vendor/longfellow-zk/lib/circuits/logic/routing.h
163
+ - vendor/longfellow-zk/lib/circuits/logic/routing_test.cc
164
+ - vendor/longfellow-zk/lib/circuits/logic/unary.h
165
+ - vendor/longfellow-zk/lib/circuits/logic/unary_plucker.h
166
+ - vendor/longfellow-zk/lib/circuits/logic/unary_plucker_constants.h
167
+ - vendor/longfellow-zk/lib/circuits/logic/unary_plucker_test.cc
168
+ - vendor/longfellow-zk/lib/circuits/logic/unary_size_test.cc
169
+ - vendor/longfellow-zk/lib/circuits/logic/unary_test.cc
170
+ - vendor/longfellow-zk/lib/circuits/mac/mac_circuit.h
171
+ - vendor/longfellow-zk/lib/circuits/mac/mac_circuit_test.cc
172
+ - vendor/longfellow-zk/lib/circuits/mac/mac_reference.h
173
+ - vendor/longfellow-zk/lib/circuits/mac/mac_witness.h
174
+ - vendor/longfellow-zk/lib/circuits/mdoc/circuit_maker.cc
175
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_attribute_ids.h
176
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_attribute_test.cc
177
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_circuit_id.cc
178
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_constants.h
179
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_decompress.cc
180
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_decompress.h
181
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_examples.h
182
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_generate_circuit.cc
183
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_hash.h
184
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_signature.h
185
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_signature_test.cc
186
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_test_attributes.h
187
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_witness.h
188
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_zk.cc
189
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_zk.h
190
+ - vendor/longfellow-zk/lib/circuits/mdoc/mdoc_zk_test.cc
191
+ - vendor/longfellow-zk/lib/circuits/mdoc/zk_spec.cc
192
+ - vendor/longfellow-zk/lib/circuits/mdoc/zk_spec_test.cc
193
+ - vendor/longfellow-zk/lib/circuits/sha/flatsha256_circuit.h
194
+ - vendor/longfellow-zk/lib/circuits/sha/flatsha256_circuit_test.cc
195
+ - vendor/longfellow-zk/lib/circuits/sha/flatsha256_io.h
196
+ - vendor/longfellow-zk/lib/circuits/sha/flatsha256_witness.cc
197
+ - vendor/longfellow-zk/lib/circuits/sha/flatsha256_witness.h
198
+ - vendor/longfellow-zk/lib/circuits/sha/sha256_constants.cc
199
+ - vendor/longfellow-zk/lib/circuits/sha/sha256_constants.h
200
+ - vendor/longfellow-zk/lib/circuits/sha/sha256_test_values.h
201
+ - vendor/longfellow-zk/lib/circuits/tests/anoncred/ptrcred.h
202
+ - vendor/longfellow-zk/lib/circuits/tests/anoncred/small.h
203
+ - vendor/longfellow-zk/lib/circuits/tests/anoncred/small_examples.h
204
+ - vendor/longfellow-zk/lib/circuits/tests/anoncred/small_io.h
205
+ - vendor/longfellow-zk/lib/circuits/tests/anoncred/small_test.cc
206
+ - vendor/longfellow-zk/lib/circuits/tests/anoncred/small_witness.h
207
+ - vendor/longfellow-zk/lib/circuits/tests/base64/decode.h
208
+ - vendor/longfellow-zk/lib/circuits/tests/base64/decode_circuit_test.cc
209
+ - vendor/longfellow-zk/lib/circuits/tests/base64/decode_test.cc
210
+ - vendor/longfellow-zk/lib/circuits/tests/base64/decode_util.cc
211
+ - vendor/longfellow-zk/lib/circuits/tests/base64/decode_util.h
212
+ - vendor/longfellow-zk/lib/circuits/tests/ec/pk_circuit.h
213
+ - vendor/longfellow-zk/lib/circuits/tests/ec/pk_circuit_test.cc
214
+ - vendor/longfellow-zk/lib/circuits/tests/ec/pk_witness.h
215
+ - vendor/longfellow-zk/lib/circuits/tests/jwt/jwt.h
216
+ - vendor/longfellow-zk/lib/circuits/tests/jwt/jwt_constants.h
217
+ - vendor/longfellow-zk/lib/circuits/tests/jwt/jwt_test.cc
218
+ - vendor/longfellow-zk/lib/circuits/tests/jwt/jwt_witness.h
219
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f.h
220
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f_io.h
221
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f_test.cc
222
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_1f_witness.h
223
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation.h
224
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation_constants.h
225
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation_test.cc
226
+ - vendor/longfellow-zk/lib/circuits/tests/mdoc/mdoc_revocation_witness.h
227
+ - vendor/longfellow-zk/lib/circuits/tests/pq/bitaddr/bitaddr.h
228
+ - vendor/longfellow-zk/lib/circuits/tests/pq/bitaddr/bitaddr_test.cc
229
+ - vendor/longfellow-zk/lib/circuits/tests/pq/bitaddr/bitaddr_witness.h
230
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44.h
231
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_circuit_test.cc
232
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_eval_test.cc
233
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_examples.cc
234
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_examples.h
235
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_types.cc
236
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_types.h
237
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_witness.h
238
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_44_witness_test.cc
239
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref.cc
240
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref.h
241
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test.cc
242
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test_vectors.inc
243
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test_vectors_pkdecode.inc
244
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/ml_dsa_ref_test_vectors_sigdecode.inc
245
+ - vendor/longfellow-zk/lib/circuits/tests/pq/ml_dsa/sigdecode_test_vectors.inc
246
+ - vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_circuit.h
247
+ - vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_circuit_test.cc
248
+ - vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_constants.h
249
+ - vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_witness.cc
250
+ - vendor/longfellow-zk/lib/circuits/tests/ripemd/ripemd_witness.h
251
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_circuit.h
252
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_circuit_test.cc
253
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_reference.cc
254
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_reference.h
255
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_reference_test.cc
256
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_round_constants.cc
257
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_round_constants.h
258
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_slicing.h
259
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_witness.cc
260
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/sha3_witness.h
261
+ - vendor/longfellow-zk/lib/circuits/tests/sha3/shake_test_vectors.h
262
+ - vendor/longfellow-zk/lib/ec/elliptic_curve.h
263
+ - vendor/longfellow-zk/lib/ec/elliptic_curve_test.cc
264
+ - vendor/longfellow-zk/lib/ec/p256.cc
265
+ - vendor/longfellow-zk/lib/ec/p256.h
266
+ - vendor/longfellow-zk/lib/ec/p256k1.cc
267
+ - vendor/longfellow-zk/lib/ec/p256k1.h
268
+ - vendor/longfellow-zk/lib/gf2k/gf2_128.h
269
+ - vendor/longfellow-zk/lib/gf2k/gf2_128_bench.cc
270
+ - vendor/longfellow-zk/lib/gf2k/gf2_128_test.cc
271
+ - vendor/longfellow-zk/lib/gf2k/gf2poly.h
272
+ - vendor/longfellow-zk/lib/gf2k/lch14.h
273
+ - vendor/longfellow-zk/lib/gf2k/lch14_bench.cc
274
+ - vendor/longfellow-zk/lib/gf2k/lch14_reed_solomon.h
275
+ - vendor/longfellow-zk/lib/gf2k/lch14_reed_solomon_test.cc
276
+ - vendor/longfellow-zk/lib/gf2k/lch14_test.cc
277
+ - vendor/longfellow-zk/lib/gf2k/sysdep.h
278
+ - vendor/longfellow-zk/lib/ligero/ligero_param.h
279
+ - vendor/longfellow-zk/lib/ligero/ligero_prover.h
280
+ - vendor/longfellow-zk/lib/ligero/ligero_test.cc
281
+ - vendor/longfellow-zk/lib/ligero/ligero_transcript.h
282
+ - vendor/longfellow-zk/lib/ligero/ligero_verifier.h
283
+ - vendor/longfellow-zk/lib/merkle/merkle_commitment.h
284
+ - vendor/longfellow-zk/lib/merkle/merkle_tree.h
285
+ - vendor/longfellow-zk/lib/merkle/merkle_tree_test.cc
286
+ - vendor/longfellow-zk/lib/proto/circuit.h
287
+ - vendor/longfellow-zk/lib/proto/circuit_test.cc
288
+ - vendor/longfellow-zk/lib/random/random.h
289
+ - vendor/longfellow-zk/lib/random/random_test.cc
290
+ - vendor/longfellow-zk/lib/random/secure_random_engine.h
291
+ - vendor/longfellow-zk/lib/random/transcript.h
292
+ - vendor/longfellow-zk/lib/random/transcript_test.cc
293
+ - vendor/longfellow-zk/lib/sumcheck/circuit.h
294
+ - vendor/longfellow-zk/lib/sumcheck/circuit_id.h
295
+ - vendor/longfellow-zk/lib/sumcheck/equad.h
296
+ - vendor/longfellow-zk/lib/sumcheck/hquad.h
297
+ - vendor/longfellow-zk/lib/sumcheck/prover.h
298
+ - vendor/longfellow-zk/lib/sumcheck/prover_layers.h
299
+ - vendor/longfellow-zk/lib/sumcheck/quad.h
300
+ - vendor/longfellow-zk/lib/sumcheck/quad_builder.h
301
+ - vendor/longfellow-zk/lib/sumcheck/quad_test.cc
302
+ - vendor/longfellow-zk/lib/sumcheck/sumcheck_test.cc
303
+ - vendor/longfellow-zk/lib/sumcheck/testing.h
304
+ - vendor/longfellow-zk/lib/sumcheck/transcript_sumcheck.h
305
+ - vendor/longfellow-zk/lib/sumcheck/verifier.h
306
+ - vendor/longfellow-zk/lib/sumcheck/verifier_layers.h
307
+ - vendor/longfellow-zk/lib/testing/test_main.cc
308
+ - vendor/longfellow-zk/lib/util/ceildiv.h
309
+ - vendor/longfellow-zk/lib/util/ceildiv_test.cc
310
+ - vendor/longfellow-zk/lib/util/crc64.h
311
+ - vendor/longfellow-zk/lib/util/crypto.cc
312
+ - vendor/longfellow-zk/lib/util/crypto.h
313
+ - vendor/longfellow-zk/lib/util/log.cc
314
+ - vendor/longfellow-zk/lib/util/log.h
315
+ - vendor/longfellow-zk/lib/util/panic.h
316
+ - vendor/longfellow-zk/lib/util/readbuffer.h
317
+ - vendor/longfellow-zk/lib/util/serialization.h
318
+ - vendor/longfellow-zk/lib/zk/zk_common.h
319
+ - vendor/longfellow-zk/lib/zk/zk_proof.h
320
+ - vendor/longfellow-zk/lib/zk/zk_prover.h
321
+ - vendor/longfellow-zk/lib/zk/zk_test.cc
322
+ - vendor/longfellow-zk/lib/zk/zk_testing.h
323
+ - vendor/longfellow-zk/lib/zk/zk_verifier.h
324
+ homepage: https://github.com/azuchi/longfellow
325
+ licenses:
326
+ - MIT
327
+ metadata:
328
+ homepage_uri: https://github.com/azuchi/longfellow
329
+ source_code_uri: https://github.com/azuchi/longfellow
330
+ rdoc_options: []
331
+ require_paths:
332
+ - lib
333
+ required_ruby_version: !ruby/object:Gem::Requirement
334
+ requirements:
335
+ - - ">="
336
+ - !ruby/object:Gem::Version
337
+ version: 3.2.0
338
+ required_rubygems_version: !ruby/object:Gem::Requirement
339
+ requirements:
340
+ - - ">="
341
+ - !ruby/object:Gem::Version
342
+ version: '0'
343
+ requirements: []
344
+ rubygems_version: 4.0.10
345
+ specification_version: 4
346
+ summary: Ruby bindings for Google's longfellow-zk zero-knowledge library.
347
+ test_files: []