That's where I work! I'd be happy to discuss, if you're curious (or to put you in touch with someone who can talk about the product side of things, more realistically). mars at risczero dot com will reach me.