--- Log opened Mon Apr 01 00:00:15 2013
14:08 < amiller> ok i've roughly worked out the missing part of my authenticated data structure library
14:08 < amiller> the key thing is a type system for algorithms/queries
14:09 < amiller> and a rule for deriving the security claim from the type
14:10 < amiller> the minimal type codes to include are one for normal types, one for 'authenticated' types, and an arrow type combinator
14:11 < amiller> so like   insert :: Term (Base Int --> Auth Tree --> Auth Tree)
18:32 < petertodd> away
--- Log closed Mon Apr 01 19:40:52 2013
--- Log opened Mon Apr 01 19:41:09 2013
23:34 < jgarzik> re FinCEN and IRC bots...  https://bitcointalk.org/index.php?topic=158138.msg1718975#msg1718975
23:34 < jgarzik> I wonder if it could be as easy as registering with FinCEN, and proactively looking for suspicious activity
23:35 < jgarzik> with an IRC bot doing micropayments, ideally you could figure out ways to limit large flows, split into small chunks
23:41 < petertodd> Interesting. Sounds like there isn't anything directly saying anonymity can't be baked it, AKA chaum.
23:42 < petertodd> Of course, that can change in an instant...
23:43 < petertodd> The bit about "mining as a business" is worrying though. Sounds like they could argue the miner should be verifying suspicious transactions they mine.
23:47 < jgarzik> petertodd: perhaps; it read like the poster's speculation more than FinCEN opinion, to me
23:48 < jgarzik> and it looks like US state of New Mexico does not require a money transmitter license
23:48  * jgarzik wonders about NM escrow laws
23:51 < petertodd> of course, worrying about local laws may prove fatal if it turns out your customers weren't local
23:59 < jgarzik> As a US citizen I would mainly worry about myself complying with local law.  Customers are expected to comply with their jurisdiction's laws.  I'd make a good faith effort to limit accounts to tiny amounts, file suspicious activity reports if any is seen, and shut down activity if it seems suspicious.
--- Log closed Tue Apr 02 00:00:16 2013