Theo6890

Solidity — Naming Conventions & Test Patterns

1. Naming Conventions

1.1 Contracts

Category	Convention	Examples
Main contracts	PascalCase, domain-prefixed	TokenVault, TokenVaultFactory
Modules	PascalCase, functional-role suffix	VaultAdmin, VaultFundraise, VaultView

Theo6890

"chat.tools.terminal.autoApprove": {
    "nl": true,
    
    // ============ PIPE CHAIN SUPPORT ============
    "chat.tools.terminal.allowPipeChains": true,
    "chat.tools.terminal.validatePipeSegments": true,
    
    // ============ BASIC SYSTEM COMMANDS ============
    "cd": true,
    "echo": true,

Theo6890

List local stale branches:

git branch -vv | grep 'gone' | awk '{print $1}'

List and delete local stale branches

git branch -vv | grep "gone" | awk '{print $1}' | xargs git branch --delete

Theo6890

	Advantages	Disadvantages
ABDKMath, Q64.64	• 64 decimals• should be the most gas efficient: what about casting uint256 => int128?

Theo6890

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

// chosen to use an initializer instead of a constructor
import { OwnableUpgradeable } from "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
// chosen not to use Solady because EIP-2612 is not needed
import {
    ERC20Upgradeable,
    IERC20,
    IERC20Metadata

Theo6890

pragma solidity 0.8.23;

import {EIP712} from "openzeppelin-contracts/utils/cryptography/EIP712.sol";
import {ECDSA} from "openzeppelin-contracts/utils/cryptography/ECDSA.sol";

contract Swap is EIP712 {
    constructor() EIP712("Hand 2 Hand Exchange", "1") {}
    
    struct Data {
        IERC721 nft;

Theo6890

Audit Methodology

The Kaju Katli Approach

Notice the shape

1. We start from the bottom, approach the middle become large and then again become narrow down going to the top.
2. That means, I do not study the docs or try to get the larger picture about the protocol in the beginning.I completely avoid that.

Theo6890

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.17;

import {MerkleProof} from "openzeppelin-contracts/utils/cryptography/MerkleProof.sol";
// install murky with: `forge install dmfxyz/murky --no-commit  ` 
import {Strings2} from "murky/differential_testing/test/utils/Strings2.sol";
import {Strings} from "openzeppelin-contracts/utils/Strings.sol";

import "forge-std/Test.sol";

Theo6890

/**
 *
 * @param {ethers.Wallet} wallet
 * @param {ethers.BigNumber} chainId
 * @param {string} verifyingContract
 * @returns {string} full signature
 * 
 * rewards is an object: {
            id: ethers.BigNumber,
            amount: ethers.BigNumber,

Theo6890

// consider our struct to be:
/** 
struct TaskReward {
        uint256 igoId;
        Tier tier;
        address rewardee;
        uint256 taskId;
}
*/