Advice for Building a Cardano Wallet


#1

Has anyone attempted building a cardano wallet using the formal specifications posted by IOHK (https://cardanodocs.com/files/formal-specification-of-the-cardano-wallet.pdf)? I’m planning on building the wallet in Go (what I’m most comfortable in), but I’m aware Go isn’t a great choice for formal verification.

If anyone has any advice on potential pitfalls / architecture (especially those who have already attempted an implementation) some feedback upfront would be much appreciated!


#3

Did you ever do this? I think it would be very difficult to make it from scratch. IHMO Much easier to use their code base, you can create “bindings” from Go to their rust functions.

How far did you get, what did you learn?