@maze/solidity

# Add as a dependency via URL remapping
# In your foundry.toml:

[profile.default]
remappings = [
    "@maze/solidity/=maze-solidity/"
]

# Then download the library:
mkdir -p maze-solidity
curl -sL https://mazedapp.org/maze-solidity/lib/FHE.sol -o maze-solidity/lib/FHE.sol
curl -sL https://mazedapp.org/maze-solidity/lib/MazeACL.sol -o maze-solidity/lib/MazeACL.sol
curl -sL https://mazedapp.org/maze-solidity/config/MazeConfig.sol -o maze-solidity/config/MazeConfig.sol

pragma solidity ^0.8.20;

import {FHE, euint32, externalEuint32} from "@maze/solidity/lib/FHE.sol";
import {MazeEthereumConfig} from "@maze/solidity/config/MazeConfig.sol";

contract SecretCounter is MazeEthereumConfig {
    euint32 private _count;

    function increment(
        externalEuint32 calldata input,
        bytes calldata proof
    ) external {
        euint32 value = FHE.fromExternal(input, proof);
        _count = FHE.add(_count, value);
        FHE.allowThis(_count);
        FHE.allow(_count, msg.sender);
    }

    function getCount() external view returns (euint32) {
        return _count;
    }
}