--- Day changed Sat Jul 28 2018 03:25 < waxwing> andytoshi, can you let me know if this answer is incorrect? https://github.com/AdamISZ/from0k2bp/issues/4#issuecomment-408597631 03:38 -!- jtimon [~quassel@213.28.134.37.dynamic.jazztel.es] has quit [Ping timeout: 240 seconds] 03:53 -!- deusexbeer [~deusexbee@093-092-181-127-dynamic-pool-adsl.wbt.ru] has joined #secp256k1 06:10 -!- jtimon [~quassel@213.28.134.37.dynamic.jazztel.es] has joined #secp256k1 06:45 < andytoshi> ah, no - even with protocol 1, the proof is not zk. the purpose of x is to convert the weird statement that the raw inner-product argument proves, into something more usable 06:46 < andytoshi> the end of section 6.1.2 of your paper seems to describe this, but i agree with the poster that it's not super clear what's going on 07:03 < waxwing> ok, i don't get it; so Protocol 1 is a proof system for Relation 2, and relation 2 is that P is a commitment to a, b and c = . Going by the Bulletproofs paper. 07:07 < waxwing> oh perhaps i get it now; the difference is between relation (2) and (3) in the paper. 07:07 < andytoshi> yeah. i'll write a long reply on github 07:09 < waxwing> yeah it's clear now i think. i always stumbled on this. there's a difference between proving a vector commitment to (a, b and the dot product c) and proving that P is a vector commitment to (a, b) *and* that c is the dot product of (a, b) 07:12 < andytoshi> yep 07:13 < andytoshi> posted 07:16 < waxwing> cheers, appreciated 07:23 -!- jtimon [~quassel@213.28.134.37.dynamic.jazztel.es] has quit [Remote host closed the connection] 12:15 -!- deusexbeer [~deusexbee@093-092-181-127-dynamic-pool-adsl.wbt.ru] has quit [Read error: Connection reset by peer] 12:16 -!- deusexbeer [~deusexbee@079-170-139-044-dynamic-pool-adsl.wbt.ru] has joined #secp256k1 15:58 -!- Lightsword [~Lightswor@2604:a880:1:20::1d3:9001] has quit [Quit: ZNC] 16:00 -!- Lightsword [~Lightswor@2604:a880:1:20::1d3:9001] has joined #secp256k1 20:21 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 276 seconds] 21:48 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1