Add support to Ernest Young's Starlight

[ggviana]

Starlight is a transpiler that converts Solidity smart contracts into zApps (zero-knowledge applications), offering developers a streamlined process to create privacy-focused decentralized applications by adding privacy decorators to Solidity, and then running the zappify command to generate a fully functioning zApp.

It introduces 4 new keywords: secret, known, unknown and encrypt and uses the file extension: *.zol

More details could be seen here

Example code:

contract Escrow {
    secret mapping(address => uint256) public balances; // Secret balance
    IERC20 public erc20;

    constructor(address erc20Address) {
        erc20 = IERC20(erc20Address);
    }

    function deposit(uint256 amount) public {
        bool hasBalance = erc20.transferFrom(msg.sender, address(this), amount);
        require(hasBalance == true);
        balances[msg.sender] += amount;
    }
    
    // Transfer secretly using Zero Knowledge receipts
    function transfer(secret address recipient, secret uint256 amount) public {
        balances[msg.sender] -= amount;
        // Increase recipient amount and emit a encrypted event that only recipient can decrypt
        encrypt unknown balances[recipient] += amount;
    }

    function withdraw(uint256 amount) public {
        bool success = erc20.transfer(msg.sender, amount);
        require(success, "ERC20 transfer failed");
        balances[msg.sender] -= amount;
    }
}

[mbolotov]

there is also a known keyword there.

[ggviana]

there is also a known keyword there.

True, I'll edit the OP