Audits
At Tweag, the High Assurance Software group conducts security audits of critical products in domains such as fintech. Here are some clients who have trusted us and the products we have audited.
July 2024
Intersect and its members play an important role in shaping the proposed on-chain governance mechanisms - and the development of off-chain tools and processes to support it.
Smart contract
Cardano
Plutus
June 2024
Intersect and its members play an important role in shaping the proposed on-chain governance mechanisms - and the development of off-chain tools and processes to support it.
Smart contract
Cardano
Plutus
March 2024
Derivatives and Pool Lending functionality will be built on top of AMM smart contracts. This is the reason why we are starting with Automated Market Maker. It is extremely important to get this part right, as batching and fund pooling (global state) architecture and functionality will serve as a base building block for our future products, including Derivatives and Lending pools.
Smart contract
Cardano
Plutus
Report
February 2024
In our operational model of peer-to-peer lending, a diverse set of individuals can initiate requests for lending or borrowing. These requests are then organized according to their interest rates, leading to the establishment of an order book. Central to this process is the smart contract, serving as the binding agreement that links the involved parties. This contract safeguards the allocated funds, encompassing the initial loan sum and collateral, as well as the relevant parameters defining the terms. Moreover, it holds the crucial responsibility of overseeing the accurate implementation of the stipulated loan conditions.
Smart contract
Cardano
Plutus
Report
June 2023
A true multifunctional utility and loyalty token ecosystem for Authors & Readers.
Smart contract
Cardano
Aiken
Report
March 2023
Marlowe offers developers a set of open source tools to easily create, verify, and deploy secure smart contracts on Cardano. Now more accessible than ever, code in JavaScript and Haskell, or use Blockly for a low-code, visual solution.
Smart contract
Cardano
Plutus
Isabelle
Report
September 2022
Borrow and Lend ADA delegation rights. All on-chain and trustless. Lend to small stake pools, ecosystem projects, or individuals. Earn additional yield and contribute to decentralization of the network. SPOs can bootstrap small pools and projects can raise funds in a decentralized way.
Smart contract
Cardano
Plutarch
Report
August 2022
The all-in-one platform, that combines a concentrated liquidity DEX with an automated yield optimizer.
Smart contract
Cardano
Plutarch
August 2022
GeroWallet is named in honor of Gerolamo Cardano, an Italian polymath, and is a next-generation Web3 wallet. In addition to traditional functionality that currently exists in Web3 wallets, GeroWallet provides users with the ability to purchase digital assets using fiat. GeroWallet also allows users to swap, stake, and margin trade synthetic assets. These functions are designed with a focus on user experience, providing a full suite of features for naive and seasoned enthusiasts.
Smart contract
Cardano
Plutus
June 2022
The all-in-one platform, that combines a concentrated liquidity DEX with an automated yield optimizer.
Smart contract
Cardano
Plutus
November 2021
Ctez, your portal to Tezos DeFi. Collateralized tez that is fungible, decentralized, and without opportunity cost from missing out on delegation. Achieved with a bit of mathematics.
Smart contract
Tezos
LIGO
October 2021
Tokenizing the real world economy. Indigo bridges the real world to the blockchain, giving everybody equal access to financial opportunities.
Smart contract
Cardano
Plutus
