zkFold is a company developing open-source solutions for blockchain scaling and interoperability. Our key products include:

• Symbolic: A Haskell framework for building zero-knowledge applications;
• Smart Wallet Backend: A programmable smart contract wallet with extensible feature set, including Web2 login, batched transactions, and more;
• zkFold: A zero-knowledge rollup technology with the minimal bits per transaction data footprint.

Selected public repositories:

• symbolic contains the Symbolic framework.

• zkFold-prover is an implementation of optimized provers for zero-knowledge protocols used in the zkFold products.

• zkFold-cardano is a Cardano blockchain integration for ZK-powered smart contracts developed using Symbolic.

User documentation for all our products is available at docs.zkfold.io.