Independent third-party reviews of this project's smart contracts and on-chain code. Audits identify potential vulnerabilities and verify that the code behaves as intended.

Auditing Report Hardening Blockchain Security with Formal Methods for Phoenix DeFi Hub
Veridise · May 2024
↗

{ }@phoenix-protocol-group6 repositories

View all on GitHub →

</>phoenix-contracts

Source code of the smart contracts of the Phoenix DeFi hub DEX protocol

★ 12⑂ 7Rust

</>DefiLlama-Adapters

★ 0⑂ 0JavaScript

</>blend-contracts-v2

Soroban implementation of the Blend Protocol v2

★ 0⑂ 0

</>whitelist-claim

A contract that lets approved users claim their airdropped tokens securely.

★ 0⑂ 0Rust

</>dimension-adapters

★ 0⑂ 0TypeScript

</>phoenix-nft-marketplace

NFT marketplace with auctions and collections interface

★ 0⑂ 0Rust

Similar projects

By category & tags

Z

zkCrossFinancial Protocols

SCF

DEXDeFiMulti-Chain

zkCrossDEX enables seamless cross-chain liquidity transfers from leading EVM chains to Stellar with a single click.

View →

B

BalancedFinancial Protocols

SCF

DEXDeFi

Balanced is a cross-chain DEX and stablecoin that enables native cross-chain DeFi primitives for any ecosystem.

View →

S

SoroswapFinancial Protocols

SCF

DEXDeFi

Open-source AMM protocol and AMM Aggregator with Ecosystem Interoperability for providing liquidity and trading Stellar Assets i…

View →

C

CometFinancial Protocols

SCF

DEXDeFi

Comet is a weighted AMM protocol that offers soroban projects a flexible solution set when picking liquidity venues.

View →

S

SwitchlyFinancial Protocols

SCF

DEXDeFi

A decentralized, cross-chain protocol for stablecoin bridging and exchange.

View →

U

UpwealthInfrastructure & Services

SCF

DEXDeFiAI

AI-powered investment and asset management platform on Stellar, offering tokenized portfolio strategies with automated complianc…

View →