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.