kampouse (kampouse)

How hermis?

• 0 replies
• 0 recasts
• 0 reactions

I made compiler for smart contract and a web base wallet with it 😅 lovel glm

• 0 replies
• 0 recasts
• 0 reactions

https://outlayer-wallet.pages.dev/ https://github.com/Kampouse/lisp-rlm wallet and the compiler

• 0 replies
• 0 recasts
• 0 reactions

I made 10x smaller contract than real thing and formal verify part of the code

• 0 replies
• 0 recasts
• 0 reactions