We tailor the cryptography to the software and your use cases.

Harnessing multi-party computation (MPC), homomorphic encryption (HE), trusted execution environments (TEE), or post-quantum (PQ) primitives for production-ready workflows takes more than the right libraries. We build the protocols, tooling, and systems to meet your needs.

MPC HE TEEs PQ
>Private Static Analysis & Simulation

Privacy-enhancing technologies (PETs) can benefit users, developers, and organizations in a variety of settings. We are exploring opportunities to incorporate PETs within developer tools and resources that serve cryptocurrency wallet and smart contract ecosystems.

Kinetics — Tools for the Move Ecosystem libraries & platform

Static analysis for Move

Kinetics analyzes transactions within the Move ecosystem via their dataflow graphs (dependencies, taint, and stranded resources) entirely in a browser or local workflow. Confidentiality analysis is also available, and private simulation is coming soon.

Explore Kinetics ››
Dataflow · split & transfer green = critical path
coin amount objects address GasCoincoin Input[0]u64 · amount Input[1]address SplitCoinscmd 0 · Result TransferObjectscmd 1 · sink
Concentric — Confidentiality Analysis for Arc libraries & platform

Confidentiality analysis for Arc

Concentric reads a Solidity contract and its Arc Privacy Sector access policy and reconstructs the confidentiality boundary its policies draw (i.e., what state it exposes, and through which path) before you deploy. Verified spend authority and compliance are next.

Explore Concentric ››
Exposure surface · confidential flow 1 high · ConfidentialPayroll.sol
FunctionPolicyReachable byReveals
balanceOf(address)OPENAny callerbalances → return
pay(address, uint256)RESTRICTEDGrant-holders—
transfer(address, uint256)RESTRICTEDGrant-holders—
HIGH
APS-1 Confidential state returned by an Open function Ln 25
Any caller can read balances[who] — every employee's confidential salary. Fix Make balanceOf Restricted, or gate it with require(msg.sender == who).
>Towards Post-quantum & Post-AI Cryptography

We are building tools to help systems remain secure as cryptography enters the post-quantum era — both by assessing what needs to change today, and by helping measure how much protection new primitives actually provide.

Cryptographic Assessment & Exploration services & network
Transition assessment
controlx25519classical
hybridx25519mlkem768PQ READY

See which services already negotiate post-quantum key exchange before "harvest now, decrypt later" becomes "decrypt now".

Assess a domain ››
Parameter search network
>_ search nodesbest score …

Participate by contributing to a decentralized search for better curve and lattice parameters.

Participate in the network ››
>Secure & Encrypted Workflows in Finance

We are bringing cryptographically rigorous confidentiality to traditional markets and on-chain finance at the software and infrastructure levels.

confidential matching & order books software & infrastructure

Markets that clear under encryption

Match orders under MPC or inside a TEE; aggregate data using HE. The resting book never appears in the clear — only the clearing price is revealed, so there's nothing left to front-run.

MPC for matching HE for aggregation TEEs for complex workflows and legacy tools
>_ order book · ETH / USDCsealed
PriceSizeTotal
Clearing price
2,041.62USDC
MATCHED
18.4 Ξ
book: encryptedreveal: clearing price only
stay in the loop

Subscribe for the latest news.

Get the latest updates and news on releases from the Choose K team.