merge solana-sc

example/README.md

@@ -62,6 +62,16 @@ function createVerifyInstruction(pubkey: PublicKey, proof_path: string): Transac
 
 ### Running the solana program
 
+Running the solana program and tests requires the following
+* [Node.js](https://nodejs.org/en/download)
+* [yarn](https://yarnpkg.com/getting-started/install)
+* [Solana CLI](https://docs.solana.com/cli/install-solana-cli)
+  * Make sure to install the edge version. Run the following: 
+  ```shell
+  sh -c "$(curl -sSfL https://release.anza.xyz/edge/install)"
+  ```
+* [Rust](https://www.rust-lang.org/tools/install)
+
 ```shell
 cd solana
 npm install

example/solana/package.json

@@ -7,7 +7,7 @@
   "license": "Apache-2.0",
   "private": false,
   "scripts": {
-    "test": "pnpm ts-mocha -p ./tests/tsconfig.test.json -t 1000000 ./tests/counter.test.ts",
+    "test": "pnpm ts-mocha -p ./tests/tsconfig.test.json -t 1000000 ./tests/verifier.test.ts",
     "build-and-test": "cargo build-sbf --manifest-path=./program/Cargo.toml --sbf-out-dir=./tests/fixtures && pnpm test",
     "build": "cargo build-sbf --manifest-path=./program/Cargo.toml --sbf-out-dir=./program/target/so",
     "deploy": "solana program deploy ./program/target/so/program.so"

example/solana/program/src/lib.rs

@@ -17,8 +17,13 @@ pub fn process_instruction(
     _accounts: &[AccountInfo],
     instruction_data: &[u8],
 ) -> ProgramResult {
+    // Deserialize the fixture from the instruction data.
     let fixture = SP1ProofFixture::try_from_slice(instruction_data).unwrap();
+
+    // Get the SP1 Groth16 verification key from the `groth16-solana` crate.
     let vk = groth16_solana::GROTH16_VK_BYTES;
+
+    // Verify the proof.
     let result = verify_proof_fixture(&fixture, &vk);
     msg!("Result: {:?}", result);
     Ok(())