[NEW]: Brilliant hackers wanted for building a smart contract language

[exp7l]

Introduction

Talk a little about yourself:

• Who you are: Exponential, previously EVM smart contracts auditor (found vulnerabilities in projects of MakerDAO, Sommelier); Bio: https://github.com/exp7l
• What you do: Building the first "Mathworks for smart contracts"
• How you got first into Ethereum: 2021 when I understood the implications of blockchain
• What brings you to ETHBerlin: Meet hackers and smart contract teams!

Idea description

What is your idea? Give as many details as you possibly can.

• Build "Mathworks for smart contracts": you model a smart contract as state machine and generate safe code
  • 2 min demo: https://www.loom.com/share/2e138fc6936249b89c2e88f98914a600?sid=96f6b39b-fc04-4146-a509-4aefa1067539
  • alpha but usable version: https://bit.ly/49XWb5j

Skillset

What skills do you need, or think you might need to implement the idea?

If you are interested, I'd love to chat regardless of skillset.

• Core Blockchain Development (Go, C++, Rust)
• Smart Contracts (Solidity, Vyper)
• DApps, Web3.JS (JavaScript, CSS)
• Blockchain Operations, Infrastructure
• Game theory, Crypto-Economics
• Design, User Experience
• Project Management
• Other: ...

Communication

Consider leaving your personal Matrix address so that the team can contact you off GitHub.
Telegram: exponential42
Matrix: exp7l:matrix.org

• Matrix handle:

Note that this is only a template, feel free to talk about anything you want teams to know!

[step21]

AFAIK some ppl did that already for finance stuff but not sure if still in use. Do you have sth already? Def always interested in languages, write a thesis about cnls and statemachines were also a part.

[exp7l]

@step21 Dm'ed on matrix

• We've got a usable alpha live now at: https://bit.ly/49XWb5j
• Please do send if you can find the tool you mentioned for finance

[Rande90]

@exp7l I'm a Cyber Security Professional and blockchain security Researcher is willing to join your team.

I Have been studying blockchain security on specially ON EVM and Smart Contract Auditing.

[step21]

@exp7l interesting, thx for the alpha link. I think you might have missed me on Matrix, my handle is not the same there but @fl0_id
I was referring to this thing re finance https://archive.devcon.org/archive/watch/1/towards-imandra-contracts-formal-verification-for-ethereum/?playlist=Devcon%201&tab=YouTube
There was also https://archive.devcon.org/archive/watch/5/an-evm-based-formal-rules-language/?playlist=Devcon%205&tab=YouTube and https://archive.devcon.org/archive/watch/1/towards-safer-languages-for-smart-contracts/?playlist=Devcon%201&tab=YouTube

And many others since then.