API tools faq
paste
Guest User

Untitled

a guest
May 24th, 2018
95
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 5.63 KB | None | 0 0
raw download clone embed print report
  1. ================================================================================
  2. R1CS GG-ppzkSNARK Prover
  3. ================================================================================
  4.  
  5. (enter) Call to r1cs_gg_ppzksnark_prover [ ] (1526676213.8789s x0.00 from start)
  6. (enter) Compute the polynomial H [ ] (1526676213.8790s x0.00 from start)
  7. (enter) Call to r1cs_to_qap_witness_map [ ] (1526676213.8790s x0.00 from start)
  8. (enter) Compute evaluation of polynomials A, B on set S [ ] (1526676213.8794s x0.00 from start)
  9. (leave) Compute evaluation of polynomials A, B on set S [0.0002s x0.91] (1526676213.8796s x0.00 from start)
  10. (enter) Compute coefficients of polynomial A [ ] (1526676213.8796s x0.00 from start)
  11. (leave) Compute coefficients of polynomial A [0.0011s x1.00] (1526676213.8807s x0.00 from start)
  12. (enter) Compute coefficients of polynomial B [ ] (1526676213.8835s x0.00 from start)
  13. (leave) Compute coefficients of polynomial B [0.0012s x0.92] (1526676213.8847s x0.00 from start)
  14. (enter) Compute ZK-patch [ ] (1526676213.8848s x0.00 from start)
  15. (leave) Compute ZK-patch [0.0002s x0.98] (1526676213.8849s x0.00 from start)
  16. (enter) Compute evaluation of polynomial A on set T [ ] (1526676213.8850s x0.00 from start)
  17. (leave) Compute evaluation of polynomial A on set T [0.0033s x0.52] (1526676213.8883s x0.00 from start)
  18. (enter) Compute evaluation of polynomial B on set T [ ] (1526676213.8901s x0.00 from start)
  19. (leave) Compute evaluation of polynomial B on set T [0.0038s x0.45] (1526676213.8939s x0.00 from start)
  20. (enter) Compute evaluation of polynomial H on set T [ ] (1526676213.8940s x0.00 from start)
  21. (enter) Compute evaluation of polynomial C on set S [ ] (1526676213.8940s x0.00 from start)
  22. (leave) Compute evaluation of polynomial C on set S [0.0002s x0.98] (1526676213.8943s x0.00 from start)
  23. (enter) Compute coefficients of polynomial C [ ] (1526676213.8943s x0.00 from start)
  24. (leave) Compute coefficients of polynomial C [0.0013s x1.00] (1526676213.8956s x0.00 from start)
  25. (enter) Compute evaluation of polynomial C on set T [ ] (1526676213.8958s x0.00 from start)
  26. (leave) Compute evaluation of polynomial C on set T [0.0039s x0.42] (1526676213.8998s x0.00 from start)
  27. (enter) Divide by Z on set T [ ] (1526676213.8998s x0.00 from start)
  28. (leave) Divide by Z on set T [0.0013s x1.00] (1526676213.9012s x0.00 from start)
  29. (leave) Compute evaluation of polynomial H on set T [0.0072s x0.66] (1526676213.9012s x0.00 from start)
  30. (enter) Compute coefficients of polynomial H [ ] (1526676213.9012s x0.00 from start)
  31. (leave) Compute coefficients of polynomial H [0.0012s x1.00] (1526676213.9024s x0.00 from start)
  32. (enter) Compute sum of H and ZK-patch [ ] (1526676213.9025s x0.00 from start)
  33. (leave) Compute sum of H and ZK-patch [0.0000s x0.80] (1526676213.9025s x0.00 from start)
  34. (leave) Call to r1cs_to_qap_witness_map [0.0235s x0.54] (1526676213.9025s x0.00 from start)
  35. (leave) Compute the polynomial H [0.0236s x0.54] (1526676213.9025s x0.00 from start)
  36. (enter) Compute the proof [ ] (1526676213.9025s x0.00 from start)
  37. (enter) Compute evaluation to A-query [ ] (1526676213.9026s x0.00 from start)
  38. (enter) Process scalar vector [ ] (1526676213.9026s x0.00 from start)
  39. * Elements of w skipped: 538 (48.86%)
  40. * Elements of w processed with special addition: 563 (51.14%)
  41. * Elements of w remaining: 0 (0.00%)
  42. (leave) Process scalar vector [0.0002s x0.88] (1526676213.9028s x0.00 from start)
  43. (leave) Compute evaluation to A-query [0.0002s x0.86] (1526676213.9028s x0.00 from start)
  44. (enter) Compute evaluation to B-query [ ] (1526676213.9028s x0.00 from start)
  45. (enter) Process scalar vector [ ] (1526676213.9028s x0.00 from start)
  46. * Elements of w skipped: 247 (50.20%)
  47. * Elements of w processed with special addition: 245 (49.80%)
  48. * Elements of w remaining: 0 (0.00%)
  49. (leave) Process scalar vector [0.0005s x0.96] (1526676213.9034s x0.00 from start)
  50. (leave) Compute evaluation to B-query [0.0006s x0.94] (1526676213.9034s x0.00 from start)
  51. (enter) Compute evaluation to H-query [ ] (1526676213.9034s x0.00 from start)
  52. (leave) Compute evaluation to H-query [0.0779s x0.59] (1526676213.9813s x0.00 from start)
  53. (enter) Compute evaluation to L-query [ ] (1526676213.9819s x0.00 from start)
  54. (enter) Process scalar vector [ ] (1526676213.9819s x0.00 from start)
  55. * Elements of w skipped: 486 (48.60%)
  56. * Elements of w processed with special addition: 514 (51.40%)
  57. * Elements of w remaining: 0 (0.00%)
  58. (leave) Process scalar vector [0.0030s x0.11] (1526676213.9850s x0.00 from start)
  59. (leave) Compute evaluation to L-query [0.0031s x0.12] (1526676213.9850s x0.00 from start)
  60. (leave) Compute the proof [0.0835s x0.58] (1526676213.9860s x0.00 from start)
  61. (leave) Call to r1cs_gg_ppzksnark_prover [0.1085s x0.57] (1526676213.9875s x0.00 from start)
  62. * G1 elements in proof: 2
  63. * G2 elements in proof: 1
  64. * Proof size in bits: 1019
  65.  
  66. * Peak vsize (physical memory+swap) in mebibytes (after prover): 40
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!