Just deploy the contract in @zksync and it all goes to @PatrickAlphaC for the valuable content in zksync Glad to find a ser in Web3.

address poisoning attacks, where you're tricked into sending funds to a malicious address. The address appears to be close to your address, but it's not.

I took Ethereum quizzes on and scored 74 out of 74 overall. Try it yourself at #ethereumquiz #ethereum #quiz overall average 67.4.

Step 3: uint256(uint160(address(this))).Converts the 160-bit integer to a 256-bit integer.The numerical value stays the same, but now it's stored in a larger integer type.

Type casting in Solidity.Converting address bytes into a comparable integer value.Step1:address(this).Returns the contract's address (20 bytes / 160 bits.Step2:uint160(address(this).Converts the address to an unsigned 160bit integer. The address bytes are interpreted as a number

integer overflow behaviour

So, the formal verification solver would take the SMT-LIB code and determine which paths it can "satisfy". If path 2 can be satisfied, this represents a breaking of the protocol invariant/property.

Formal verification is essentially the process of confirming or refuting a system's property. It accomplishes this by creating a mathematical model of the system and determining if a property may be broken using mathematical proofs.

RT @panditdhamdhere: If you are a smart contract maxi, open this thread 🧵. Most smart contract devs even know advanced solidity, but these….

wait what nooooo really it happend finally finally we are in rust buckle up suuuuuu.

Solidity automatically creates getting functions for variables when you declare them as public. However, the public-getter functions allow you to supply the necessary arguments. To solve this, make nested mappings private and wrap them in a public function that gets their value

Use case of Cast:.1. Call read-only functions. cast call <contract> "functionName()" .2. Send state-changing transactions.cast send <contract> "functionName()" --private-key <key>.3. Get contract code.cast code <contract-address>.

Cast is a command-line tool that's part of the Foundry toolkit for Ethereum development. • Interact with smart contracts.• Query blockchain data.• Perform Ethereum-related computations.• Convert between different data formats.• Send transactions and make calls

The DecodeString function essentially reverses the encoding process to retrieve the original string data.

Why they different methods?.abi.encodePacked: Designed for concatenating and packing multiple values. Removes padding, length prefixes, and packs data tightly .Bytes: Direct type conversion, Simple cast from string to bytes. When you just need to convert a single string to bytes

RT @DevDacian: If you're making a good living working as a smart contract auditor, take a moment to be grateful, then get back to work!. Th….

It takes too much time. However, once you finally successfully create and verify your first ZK proof off-chain, you learn many concepts, such as verifying the correct usage of variables and their types, fields, and more. Thanks, @CyfrinUpdraft.

Create yet another contract today. This contract enables you to create your custom token, which users can purchase with ETH.

RT @bo4ka7a: Smart contract auditing opens the door to: . - Remote work. - Very high salary jobs. - A global market. - Making friends a….

A Merkle tree :

If the transfer fails, on the other hand, it can go unnoticed and create inconsistencies in the contract logic.