Security-first smart contract development.

We build custom Web3 software and audit existing code to make sure it’s unhackable before you launch.

request audit

< what we do >

Security-first smart contract development.

We build custom Web3 software and audit existing code to make sure it’s unhackable before you launch.

request audit

< what we do >

HYDRA L2 SOLUTIONS
SMART CONTRACT DEVELOPMENT
SECURITY AUDITS
PLUTUS ENGINEERING

Proven in production

320+

Vulnerabilities found

$2.4B+

Value protected

18

Protocols secured

ZER0

Post-audit exploits

WHAT WE DO

-- Plutus Smart Contract
validator :: Validator
validator = mkValidatorScript $$(PlutusTx.compile [|| mkValidator ||])
  where
    mkValidator :: () -> () -> ScriptContext -> Bool
    mkValidator _ _ _ = True

-- Token Minting Policy
{-# INLINABLE mkPolicy #-}
mkPolicy :: TxOutRef -> () -> ScriptContext -> Bool
mkPolicy oref () ctx = traceIfFalse "UTxO not consumed" hasUTxO
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx
    hasUTxO :: Bool
    hasUTxO = any (\i -> txInInfoOutRef i == oref) $ txInfoInputs info

-- Datum and Redeemer
data AuctionDatum = AuctionDatum
    { seller :: PubKeyHash
    , minBid :: Integer
    , deadline :: POSIXTime
    }
PlutusTx.unstableMakeIsData ''AuctionDatum

-- Validator Script
{-# INLINABLE mkValidator #-}
mkValidator :: AuctionDatum -> AuctionRedeemer -> ScriptContext -> Bool
mkValidator dat red ctx =
    traceIfFalse "deadline not reached" deadlineReached &&
    traceIfFalse "bid too low" sufficientBid
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx

-- NFT Minting
{-# INLINABLE mkNFTPolicy #-}
mkNFTPolicy :: TxOutRef -> TokenName -> () -> ScriptContext -> Bool
mkNFTPolicy oref tn () ctx = 
    traceIfFalse "UTxO not consumed" hasUTxO &&
    traceIfFalse "wrong amount minted" checkMintedAmount
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx

-- Staking Validator
{-# INLINABLE mkStakingValidator #-}
mkStakingValidator :: StakingDatum -> () -> ScriptContext -> Bool
mkStakingValidator dat () ctx =
    traceIfFalse "invalid withdrawal" validWithdrawal
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx
    validWithdrawal = True

-- Plutus Smart Contract
validator :: Validator
validator = mkValidatorScript $$(PlutusTx.compile [|| mkValidator ||])
  where
    mkValidator :: () -> () -> ScriptContext -> Bool
    mkValidator _ _ _ = True

-- Token Minting Policy
{-# INLINABLE mkPolicy #-}
mkPolicy :: TxOutRef -> () -> ScriptContext -> Bool
mkPolicy oref () ctx = traceIfFalse "UTxO not consumed" hasUTxO
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx
    hasUTxO :: Bool
    hasUTxO = any (\i -> txInInfoOutRef i == oref) $ txInfoInputs info

-- Datum and Redeemer
data AuctionDatum = AuctionDatum
    { seller :: PubKeyHash
    , minBid :: Integer
    , deadline :: POSIXTime
    }
PlutusTx.unstableMakeIsData ''AuctionDatum

-- Validator Script
{-# INLINABLE mkValidator #-}
mkValidator :: AuctionDatum -> AuctionRedeemer -> ScriptContext -> Bool
mkValidator dat red ctx =
    traceIfFalse "deadline not reached" deadlineReached &&
    traceIfFalse "bid too low" sufficientBid
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx

-- NFT Minting
{-# INLINABLE mkNFTPolicy #-}
mkNFTPolicy :: TxOutRef -> TokenName -> () -> ScriptContext -> Bool
mkNFTPolicy oref tn () ctx = 
    traceIfFalse "UTxO not consumed" hasUTxO &&
    traceIfFalse "wrong amount minted" checkMintedAmount
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx

-- Staking Validator
{-# INLINABLE mkStakingValidator #-}
mkStakingValidator :: StakingDatum -> () -> ScriptContext -> Bool
mkStakingValidator dat () ctx =
    traceIfFalse "invalid withdrawal" validWithdrawal
  where
    info :: TxInfo
    info = scriptContextTxInfo ctx
    validWithdrawal = True