ProgWallet

ProgWallet is an innovative wallet that adopts the idea of "Programmable". If you want fine-grained control of the on-chain operation, you may consider using a smart contract. However, it becomes expensive on the transaction fee with the increasing conditions and possibly hard to program it if you need to use off-chain data. Zero-knowledge proof is a programmable cryptographic primitive, so why not use it instead? ProgWallet lets you define arbitrary logic. A transaction that spends less than 100 USD requires a 2 of 5 threshold while a higher one requires 3 of 5? No problem. A transaction of NFT requires approval from the asset department, while a transaction of DAI requires approval from the accounting department? No problem. A withdrawal transaction on Ethereum requires a deposit transaction on Bitcoin? No problem. ProgWallet allows you to unleash creativity.

This project uses Noir for zero-knowledge proof program. We built a codegen program to dynamically generate code to fit the real need. The program will be used to generate solidity verifier, which is used to validate userOp. To do so, we referenced the account-abstraction sample account and used Pimlico's tool to test during development.