Wow, this is badass.
The ZeroSync Association, based in the Swiss canton of Zug, is governed by a board represented as a multi-signature wallet with key holders who have earned a strong reputation in the field of Bitcoin or ZKP systems. The key holders' names are not public as a security measure and to preserve their privacy. If you consider sponsoring ZeroSync, they can contact you to reveal their identities.
Seems like an important and forward-thinking project; interesting to unravel the money behind it.
EDIT: lots of good references at the bottom of the web page. Here's a technical writeup (pdf).
EDIT 2: full chain state proofs only up to 2017, pre-Segwit (bad, but still useful.)
So far, we have implemented the header chain proof and the assumevalid state proof as prototypes. The former is feasible to prove, while the latter still requires performance improvements to prove reasonable-sized blocks. It does not include the SegWit logic yet, a consensus update that activated in August 2017, which means that our current implementation can prove the chain only up to this point. The Taproot update has not been implemented either.