Security-first smart contract development.
We build custom Web3 software and audit existing code to make sure it’s unhackable before you launch.
Security-first smart contract development.
We build custom Web3 software and audit existing code to make sure it’s unhackable before you launch.
Security-first smart contract development.
We build custom Web3 software and audit existing code to make sure it’s unhackable before you launch.
HYDRA L2 SOLUTIONS
SMART CONTRACT DEVELOPMENT
SECURITY AUDITS
PLUTUS ENGINEERING
Proven in production
320+
320+
Vulnerabilities found
$2.4B+
$2.4B+
Value protected
18
18
18
Protocols secured
ZER0
ZER0
Post-audit exploits
WHAT WE DO
WHAT WE DO
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
Security Audits
We embed with your team and tear through every line. Gaps get closed before someone else finds them.
-- 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
Security Audits
We embed with your team and tear through every line. Gaps get closed before someone else finds them.
-- 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
Security Audits
We embed with your team and tear through every line. Gaps get closed before someone else finds them.
Hydra L2 Solutions
Hydra L2 Solutions
Hydra L2 Solutions
Open-Source Tooling
Open-Source Tooling
Open-Source Tooling
Smart Contract Development
Optimized for gas, hardened for security, built to survive mainnet.
Smart Contract Development
Optimized for gas, hardened for security, built to survive mainnet.
Smart Contract Development
Optimized for gas, hardened for security, built to survive mainnet.
[ AND MORE ]
TRUSTED BY INDUSTRY BEST
TRUSTED BY INDUSTRY BEST
TRUSTED BY INDUSTRY BEST
"No.Witness Labs found vulnerabilities our previous auditors missed and helped us make the Midnight Network secure"
Charles Hoskinson
@IOHK_Charles
THE ENGINEERS BEHIND
THE ENGINEERS BEHIND
Jonathan
CEO
Jonathan
CEO
Mladen
CEO
Mladen
CEO
Hayden
DEV
Hayden
DEV
Juan
DEV
Juan
DEV
Nikhil
DEV
Nikhil
DEV
Your code won't audit itself.
We'll make sure your protocol is bulletproof before launch.
