We are experimenting with Zero-Knowledge Proof (ZKP) generators, paving the way for secure cross-chain transactions and bolstering confidentiality in blockchain operations.

We are optimizing our performance on WebAssembly in order to broaden accessibility for developers across various programming languages that compile to WASM. 

We're actively involved in exploring and refining our approach to on-demand formal verification. One of our primary focus areas is WASM binaries, where we're pushing the boundaries through ongoing experimentation and development. 

We are deeply invested in the exploration and implementation of decentralized identity to enhance the integrity of user transactions and data management. 

Our research around verifiable credentials contributes to safer, more private, and anonymous experiences within our decentralized custody network.

Our exploration of stateless blockchains aims to enhance scalability and decentralization, validating transactions while maintaining network integrity, even as blockchains expand.