--- Log opened Wed Dec 02 00:00:33 2020
04:00 -!- reallll is now known as belcher
04:53 -!- Fredia1 [~Sadie@198.147.22.84] has quit [Ping timeout: 256 seconds]
06:18 < nickler> https://github.com/bitcoin-core/secp256k1/issues/286#issuecomment-736651443 This idea came up a couple of times already but never went anywhere: What's wrong with just tagging 0.1 (now)?
06:22 < andytoshi> imho i think that's probably reasonable at this point
07:04 < real_or_random> I don't think there's anything that stops us from tagging versions < 1.0
07:05 < andytoshi> well people will use them and take them seriously
07:05 < andytoshi> they already do, i suppose
07:19 -!- jonatack [~jon@109.232.227.138] has quit [Quit: jonatack]
07:52 < nickler> they do and they're allowed to take it seriously (as long as they're not expecting stability < 1.0) vs. some other random secp library they find through google
07:57 -!- jonatack [~jon@88.124.242.136] has joined #secp256k1
08:05 -!- jonatack [~jon@88.124.242.136] has quit [Ping timeout: 272 seconds]
08:05 -!- jonatack [~jon@109.202.107.20] has joined #secp256k1
08:54 -!- jonatack [~jon@109.202.107.20] has quit [Ping timeout: 272 seconds]
08:54 -!- jonatack [~jon@88.124.242.136] has joined #secp256k1
09:24 -!- jesseposner [~jp@2601:643:8980:bfd2:f040:ed44:8391:19d3] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
09:49 -!- Fredia1 [~Sadie@198.147.22.132] has joined #secp256k1
11:00 -!- Fredia1 [~Sadie@198.147.22.132] has quit [K-Lined]
14:04 -!- jesseposner [~jp@2601:643:8980:bfd2:359b:3052:cb08:82ec] has joined #secp256k1
17:27 -!- reallll [~belcher@unaffiliated/belcher] has joined #secp256k1
17:30 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 264 seconds]
17:46 -!- jesseposner [~jp@2601:643:8980:bfd2:359b:3052:cb08:82ec] has quit [Ping timeout: 260 seconds]
18:56 < andytoshi> does anyone know offhand how efficiently you can multiply a secret point by a secret scalar inside a zkp
18:56 < andytoshi> i think all of our stuff (musig-dn in particular) assumes the point is known and that you can fix P,2P,4P,8P,etc in the circuit
18:58 < sipa> how are the coefficients represented?
18:58 < sipa> as in: does the scalar type inside the circuit match the the field of the curve
18:59 < andytoshi> in binary, i'd like to combine this with a rangepoof
18:59 < andytoshi> and yes
18:59 < andytoshi> suppose we are working with secq points
21:02 < sanket1729_> andytoshi: What is the public statment?
21:03 < sanket1729_> let X is secret point and y is secret scalar, what do you need to relation between X and y?
21:04 < sanket1729_> do you mean for a public C = X^y and we want to prove the knowledge of X and y?
21:04 < sanket1729_> nevermind this does not make sense, the above is trivially true for every y you can find X
--- Log closed Thu Dec 03 00:00:34 2020