We are developers focused on Zero Knowledge Proof for Bitcoin and Ethereum. We are currently developing zkBTC, which is a ZKP-based bridge from Bitcoin to Ethereum. For our purpose and for the public good of the developer community, we have open sourced chainark, a ZKP library to prove a chain of any given relationship with one single proof. We also contributed BLS12-381 G2 signature verification circuit.
We also proposed opZKP upgrade to Bitcoin, which is still under development.
Follow us and stay tune.