Repositories list

• smart-wallet-api

  Public
  Smart Wallet API library (TypeScript) for Google OAuth-based wallets

  TypeScript

  •0•0•5•2•Updated Jan 14, 2026Jan 14, 2026

• symbolic

  Public
  Symbolic framework

  Haskell

  •

  MIT License

  •9•23•85•5•Updated Jan 12, 2026Jan 12, 2026

• zkfold-cardano

  Public
  zkFold: Cardano integration library

  Haskell

  •

  MIT License

  •2•9•6•1•Updated Jan 9, 2026Jan 9, 2026

• press-kit

  Public
  Materials for publishing zkFold related content

  0•0•0•0•Updated Jan 5, 2026Jan 5, 2026

• smart-wallet-beacon-manager

  Public
  Mint and update beacon tokens carrying Zero Knowledge Setup for Smart Wallet

  Haskell

  •0•1•0•0•Updated Jan 2, 2026Jan 2, 2026

• smart-wallet-ui

  Public
  Demo UI for the Smart Wallet API

  TypeScript

  •0•0•6•1•Updated Dec 30, 2025Dec 30, 2025

• symbolic-prover-api

  Public
  Haskell

  •

  MIT License

  •0•1•1•1•Updated Dec 18, 2025Dec 18, 2025

• rollup-offchain

  Public
  Haskell

  •0•0•0•0•Updated Dec 8, 2025Dec 8, 2025

• smart-wallet-prover

  Public
  Haskell

  •

  MIT License

  •0•0•1•0•Updated Nov 26, 2025Nov 26, 2025

• rollup-prover

  Public
  Haskell

  •

  MIT License

  •0•0•1•0•Updated Nov 12, 2025Nov 12, 2025

• zk-kyc

  Public
  Haskell

  •

  Other

  •0•0•0•0•Updated Oct 31, 2025Oct 31, 2025

• p2p-onramp

  Public
  A prototype of a trustless P2P fiat-to-crypto on-ramp smart contract

  Haskell

  •

  Other

  •4•2•1•1•Updated Oct 30, 2025Oct 30, 2025

• .github

  Public
  0•0•0•0•Updated Oct 4, 2025Oct 4, 2025

• utxo-accumulator-server

  Public
  Haskell

  •1•0•0•0•Updated Aug 13, 2025Aug 13, 2025

• project-catalyst-reports

  Public
  Project Catalyst Proof of Achievement reports

  Haskell

  •0•0•0•0•Updated Jul 14, 2025Jul 14, 2025

• haskell-merkle-patricia-forestry

  Public
  Haskell

  •

  MIT License

  •0•2•0•0•Updated Jun 19, 2025Jun 19, 2025