00:00:00 --- log: started forth/15.11.10 00:52:08 --- quit: atommann (Ping timeout: 260 seconds) 00:56:47 --- join: nighty^ (~nighty@s1438242.xgsspn.imtp.tachikawa.spmode.ne.jp) joined #forth 00:57:53 --- quit: ASau (Ping timeout: 265 seconds) 00:59:14 --- join: atommann (~atommann@210.3.149.230) joined #forth 01:15:26 --- join: proteusguy (~proteusgu@58.137.143.226) joined #forth 01:15:26 --- mode: ChanServ set +v proteusguy 01:29:03 --- quit: proteusguy (Ping timeout: 250 seconds) 01:55:34 --- join: DKordic (~user@93-86-36-153.dynamic.isp.telekom.rs) joined #forth 01:56:21 --- quit: asagk (Ping timeout: 240 seconds) 02:09:20 --- join: asagk (~asagk@i59F6D67B.versanet.de) joined #forth 02:43:27 --- quit: atommann (Ping timeout: 276 seconds) 02:58:16 --- join: proteusguy (~proteusgu@58.137.143.226) joined #forth 02:58:16 --- mode: ChanServ set +v proteusguy 02:58:18 --- quit: proteusguy (Read error: Connection reset by peer) 03:00:05 --- join: xyh (~cicada@108.61.217.77) joined #forth 03:47:19 --- quit: xyh (Ping timeout: 252 seconds) 03:50:06 --- join: xyh (~xieyuheng@14.20.6.167) joined #forth 04:44:37 --- quit: DKordic (Read error: Connection reset by peer) 04:44:51 --- join: DKordic (~user@93-86-36-153.dynamic.isp.telekom.rs) joined #forth 06:22:15 --- quit: xyh (Remote host closed the connection) 06:47:06 --- join: mnemnion (~mnemnion@2601:400:8000:3da0:30d4:bd22:4078:b6c6) joined #forth 06:58:55 --- quit: mnemnion (Quit: Leaving...) 07:07:03 --- join: mnemnion (~mnemnion@2601:400:8000:3da0:c04:7f70:e29a:2da2) joined #forth 07:35:56 --- join: xyh (~cicada@108.61.217.77) joined #forth 07:50:43 --- nick: xyh -> xyh-WBJ-xyh 07:53:05 --- nick: xyh-WBJ-xyh -> xyhxyhxyhxyhxyh 07:54:04 --- nick: xyhxyhxyhxyhxyh -> xyhyxhxhyhxyhyx 07:54:57 --- nick: xyhyxhxhyhxyhyx -> xyhyxhxhyhxyhyxy 07:55:26 --- nick: xyhyxhxhyhxyhyxy -> xyhyxhxhyhxyhyx 07:56:04 --- quit: proteusguy__ (Ping timeout: 244 seconds) 08:04:44 --- nick: Guest20668 -> rprimus 08:08:56 --- join: proteusguy__ (~proteusgu@ppp-110-168-229-4.revip5.asianet.co.th) joined #forth 08:47:44 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 09:07:19 --- nick: xyhyxhxhyhxyhyx -> xyh 09:10:31 --- quit: bb010g (Quit: Connection closed for inactivity) 09:21:50 --- quit: nighty^ (Ping timeout: 244 seconds) 09:31:13 --- join: proteusguy (~proteusgu@ppp-110-168-229-4.revip5.asianet.co.th) joined #forth 09:31:13 --- mode: ChanServ set +v proteusguy 09:37:06 --- join: nighty^ (~nighty@s573190.xgsspn.imtp.tachikawa.spmode.ne.jp) joined #forth 09:40:46 --- join: mnemnia (~mnemnion@2601:400:8000:3da0:a9c4:c864:ea98:e23a) joined #forth 09:43:01 --- quit: mnemnion (Ping timeout: 240 seconds) 09:46:30 --- join: bb010g (uid21050@gateway/web/irccloud.com/x-gvmcvhrpumuhvqlb) joined #forth 09:46:44 --- join: true-grue_ (~grue@176.14.216.104) joined #forth 09:50:07 --- quit: true-grue (Ping timeout: 246 seconds) 09:56:04 --- quit: mnemnia (Ping timeout: 246 seconds) 09:59:27 --- join: mnemnion (~mnemnion@c-68-40-49-135.hsd1.mi.comcast.net) joined #forth 10:00:23 --- join: mnemnia (~mnemnion@c-68-40-49-135.hsd1.mi.comcast.net) joined #forth 10:00:56 --- quit: mnemnia (Read error: Connection reset by peer) 10:01:25 --- join: mnemnia (~mnemnion@2601:400:8000:3da0:349c:5f3f:e9bf:b34) joined #forth 10:04:03 --- quit: mnemnion (Ping timeout: 265 seconds) 10:07:40 --- join: dys (~dys@ip-109-44-106-222.web.vodafone.de) joined #forth 10:15:42 --- quit: xyh (Quit: ChatZilla 0.9.92 [SeaMonkey 2.38/20151005122910]) 10:26:05 --- join: fantazo (~fantazo@089144192185.atnat0001.highway.a1.net) joined #forth 10:41:34 --- quit: mnemnia (Ping timeout: 246 seconds) 10:42:29 --- join: mnemnion (~mnemnion@c-68-40-49-135.hsd1.mi.comcast.net) joined #forth 10:44:25 --- quit: mnemnion (Read error: Connection reset by peer) 10:44:26 --- join: mnemnia (~mnemnion@c-68-40-49-135.hsd1.mi.comcast.net) joined #forth 12:13:29 --- quit: fantazo (Quit: Verlassend) 12:13:40 --- join: xyh (~xieyuheng@183.49.15.164) joined #forth 12:14:31 --- quit: xyh (Remote host closed the connection) 12:15:12 --- join: xyh (~cicada@108.61.217.77) joined #forth 12:46:26 --- join: mat4 (~claude@ip5b40a018.dynamic.kabel-deutschland.de) joined #forth 12:46:30 hello 12:52:55 h'lo mat4 12:56:10 hi Zarutian, waht's new ? 12:56:30 ^what 12:58:00 been trying to wrap my head around zk-SNARKs lately because they seem to be a good way to certify that an SMPC node has calculated its outgoing secret shares correctly without revealing those shares or the input shares. 12:59:17 such certification can then by verified, relatively cheaply, by others or even by part of the SMPC compution running on top of such system. 13:00:34 the last case is intresting for using the 'computation tax' of running the SMPC computation for bases of reward to the node hosts. 13:01:33 I don't know what you mean with zk-SNARK 13:01:54 which pertains to forth as the most efficient, in combinational and sequential logic complexity, enviroment for usefull programs. 13:02:33 zeroknowledge-Sucient Noninteractive ARguments Knowlege 13:03:05 ok, makes now sense, thanks 13:03:52 basically you can proof that you have certain information and have perfomed spefic computation without revealing the result of the computation nor its inputs. 13:04:45 I am no cryptographer nor mathematician but this looks interesting. 13:06:01 I had read an article just some time ago about that topic 13:06:49 there exist some, surprisly simple algorithms for that 13:08:09 for what? Non interactive knowledge proofs? 13:09:26 yes, mainly intended for cryptography 13:10:19 based on problems in lattices? 13:13:02 no, however there are many usages for non interactive knowledge proofs 13:13:46 indeed, specially from what I have heard of zk-SNARK, anything that can be expressed as arithmetic circuit (which usually means boolean circuits) 13:15:31 yes, similar approaches are used for circuit prooving 13:16:38 SNARK have the advantage to be freely avariable and to be written in standard (read common) Lisp however 13:17:26 avariable? 13:19:44 you can download the sources under an open-source licence (and adapt it for your own usage because as is the source-code is near useless because quite unfinished) 13:22:11 available! 13:22:40 ah thanks 13:24:43 * mat4 learning chinese and forgot some english vocabulary in between 13:25:14 mat4: english isnt your native or secondary language? 13:25:43 yes 13:37:23 at current I'm working on implementing some microcode optimization strategies of which I hope lead to lesser energy usage 13:50:31 --- quit: bb010g (Quit: Connection closed for inactivity) 13:53:01 and I'm study Oforth 13:53:21 which I found quite interesting 13:54:48 oh? what is its main diffreneces say from eForth? 13:57:14 well I am off to bed. I will probably just look up Oforth myself later. 13:57:15 cya 13:57:22 --- quit: Zarutian (Quit: Zarutian) 13:57:25 ciao 14:04:44 --- quit: mat4 (Quit: leaving) 14:11:43 --- quit: nighty^ (Ping timeout: 250 seconds) 14:19:23 --- join: ASau (~user@netbsd/developers/asau) joined #forth 14:40:56 --- join: bb010g (uid21050@gateway/web/irccloud.com/x-taflvifbdslhmeut) joined #forth 15:05:09 --- quit: true-grue_ (Read error: Connection reset by peer) 15:06:38 --- quit: ASau (Ping timeout: 250 seconds) 15:18:24 --- quit: mnemnia (Remote host closed the connection) 15:18:46 --- join: mnemnion (~mnemnion@2601:400:8000:3da0:d586:d034:c3eb:abff) joined #forth 17:20:31 --- quit: bb010g (Quit: Connection closed for inactivity) 17:39:33 --- quit: Frek (Ping timeout: 260 seconds) 17:40:06 --- join: Frek (~fredrik@traktor.sonixwave.com) joined #forth 18:37:12 --- quit: mnemnion (Remote host closed the connection) 18:38:10 --- join: atommann (~atommann@210.3.149.230) joined #forth 19:23:25 --- join: mnemnion (~mnemnion@c-68-40-49-135.hsd1.mi.comcast.net) joined #forth 20:01:19 --- join: Bahman (~Bahman@5.238.159.115) joined #forth 20:14:54 --- quit: xyh (Quit: ChatZilla 0.9.92 [SeaMonkey 2.38/20151005122910]) 20:38:07 --- join: joneshf-laptop (~joneshf@c-73-220-86-28.hsd1.ca.comcast.net) joined #forth 20:45:08 --- quit: mnemnion (Remote host closed the connection) 21:28:40 --- quit: proteusguy (Remote host closed the connection) 21:30:31 --- join: mtsd (~mtsd@h-79-136-49-171.na.cust.bahnhof.se) joined #forth 21:41:07 --- join: proteusguy (~proteusgu@180.183.138.178) joined #forth 21:41:07 --- mode: ChanServ set +v proteusguy 21:45:44 --- join: mnemnion (~mnemnion@c-68-40-49-135.hsd1.mi.comcast.net) joined #forth 21:50:29 --- quit: mnemnion (Ping timeout: 244 seconds) 22:09:21 --- quit: JX7P (Ping timeout: 240 seconds) 22:09:55 --- join: IRIXUser (~IRIX@2001:41d0:8:791d::1) joined #forth 22:10:19 --- nick: IRIXUser -> Guest90777 22:30:16 --- quit: carc (Quit: QUIT) 22:30:57 --- join: carc (~carc@unaffiliated/carc) joined #forth 23:14:22 --- quit: Bahman (Read error: Connection reset by peer) 23:15:02 --- join: Bahman (~Bahman@5.238.159.115) joined #forth 23:46:45 --- join: mnemnion (~mnemnion@2601:400:8000:3da0:11cc:2ebf:7a01:3c9f) joined #forth 23:50:57 --- quit: mnemnion (Ping timeout: 240 seconds) 23:59:59 --- log: ended forth/15.11.10