Merge pull request #125 from mrgnlabs/jjjj/verifiable-builds

Verifiable builds support

README.md

@@ -48,3 +48,11 @@ Key points:
 - Real-time risk monitoring is used to assess changing market conditions.
 - Marginfi's risk management system is transparent and deterministic.
 - Liquidation may occur if a user's account falls below the minimum required health factor.
+
+## Verify
+
+Marginfi can be veirified with Ellipsis Labs verifiable builds.
+
+Install the `solana-verify` tool [here](https://github.com/Ellipsis-Labs/solana-verifiable-build#installation).
+
+Run `./scripts/verify_mainnet.sh`

scripts/build_mainnet_verifiable.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env sh
+
+VERIFY_BIN=$(which solana-verify)
+PROGRAM_LIB_NAME="marginfi"
+
+echo "sudo $VERIFY_BIN build --library-name $PROGRAM_LIB_NAME -- --features mainnet-beta"
+
+sudo $VERIFY_BIN build --library-name $PROGRAM_LIB_NAME -- --features mainnet-beta

scripts/verify_mainnet.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env sh
+
+VERIFY_BIN=$(which solana-verify)
+
+echo "sudo $VERIFY_BIN verify-from-repo -um --program-id MFv2hWf31Z9kbCa1snEPYctwafyhdvnV7FZnsebVacA https://github.com/mrgnlabs/marginfi-v2 --library-name marginfi -- --features mainnet-beta"
+
+sudo $VERIFY_BIN verify-from-repo -um --program-id MFv2hWf31Z9kbCa1snEPYctwafyhdvnV7FZnsebVacA https://github.com/mrgnlabs/marginfi-v2 --library-name marginfi -- --features mainnet-beta