Stoked to announce this! Zark is a transfer-of-ownership protocol that collapses offchain histories into compact zero-knowledge proofs. Previous bitcoin l2 implementations have shown that co-signers can be blinded and unaware of what they’re signing. In some designs, users validate the history of offchain coins they receive. Zark compresses these histories into recursive zero-knowledge proofs. A side effect is that this removes the need for users to learn who a coin’s previous owners are. Zark is based on the statechain paradigm. It enables users to transfer ownership of bitcoin UTXOs offchain with the help of a co-signer. In Zark, users can also engage in offchain coinswaps to transfer ownership for bitcoin UTXOs for other bitcoin UTXOs. We’re looking at adding support to swaps against tokens on alternative networks, like we did in our bitcoin dark pools demo with @mercurylayer. Current research areas for us: - Leaf splitting while retaining privacy for branches - Scalability! - Optimizing zk-circuits and proving system Circuits are written in @noirlang.