Yolc For Ethereum

Yolc is a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell.

[Yolc For Ethereum @yolc_dev]

The silence is deliberate... Before we come back, here is the recording of the previous talk about Yolc https://t.co/Ok9x173j6D

[Mate Soos @SoosMate]

Echidna is now using hevm, our tool, to perform an awesome combination of symbolic execution and fuzzing. In my view, this is a very cool and exciting way of using hevm as a library:

https://t.co/MgtwAIr1LI

Thanks to Gustavo Grieco for the amazing work and write-up!

[Yolc For Ethereum @yolc_dev]

@CupOJoseph @ethereum @vyperlang @arbitrum @solidity_lang https://t.co/oKlGndSaWg

[Yolc For Ethereum @yolc_dev]

A stunt contract is the one that is in the ERC1967 implementation slot, while the actual logic contract in the fallback contract might be different.

Yolc uses this technique to make the contract interactable on Etherscan, e.g. https://t.co/9JVsNalux4

[Yolc For Ethereum @yolc_dev]

Pattern matching on locally-declared supported networks:

[Yolc For Ethereum @yolc_dev]

@aave Done. Still some crafts to deal with.

[Yolc For Ethereum @yolc_dev]

Let's try to integrate @aave today.

[Yolc For Ethereum @yolc_dev]

The access control part of the contracts is inherently not suitable for fuzzing or invariant testing.

Yolc will introduce a type-level ACL (access control list) for the storage APIs: If applied, you will need to supply the necessary "runtime-witness" as an ACL to have write access to the sensitive storage.

[Yolc For Ethereum @yolc_dev]

Yolc is born for a different purpose:

No: Simple, Easy, Wrong.
Yes: Elegant, Coherent, Correct.

More on: addressing essential complexity.
Lesss on: creating accidental complexity.

[Yolc For Ethereum @yolc_dev]

@CupOJoseph @ethereum @vyperlang @arbitrum @solidity_lang I prioritize safety and expressiveness, e.g.:

- https://t.co/vBjGuGZXfz
- https://t.co/JPSN6JUkqH

Follow me for more updates.

[Yolc For Ethereum @yolc_dev]

https://t.co/97qCOLcFWD

[Yolc For Ethereum @yolc_dev]

A short article on "data versioning" and how it catches errors at compile time with two examples.

https://t.co/JPSN6JUkqH

[Yolc For Ethereum @yolc_dev]

Have you found out why it is a type error?

This is its similar solidity code:

```solidity
uint256 senderBalance = balances[from];
uint256 receiverBalance = balances[to];

(uint256 newSenderBalance, uint256 newReceiverBalance) = (senderBalance - amount, receiverBalance + amount);

balances[from] = newSenderBalance;
balances[to] = newReceiverBalance;
```

[Yolc For Ethereum @yolc_dev]

A short article on "data versioning" and how it catches errors at compile time with two examples.

https://t.co/JPSN6JUkqH

[Yolc For Ethereum @yolc_dev]

Haskell makes Yolc expressive.

A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc.

https://t.co/vBjGuGZXfz

[Yolc For Ethereum @yolc_dev]

Define multi-level hash map at arbitrary storage slot:

This is similar to and compatible with Solidity's "mapping (address -> mapping (address -> uint256))".

[Yolc For Ethereum @yolc_dev]

https://t.co/ZLhVgUfOj6 @EthPrague scheudle out. 27th May, Tuesday morning, 10:30. Yolc's live demo is prepared for you.

[Yolc For Ethereum @yolc_dev]

@FrancescoRenziA and bridges