Merge pull request #761 from openmina/feat/o1js-graphql

GraphQL endpoints for o1js

Author: adonagy

Cargo.lock

@@ -53,6 +53,8 @@ serde_json = "1.0.107"
 serde_with = { version = "3.7.0", features = ["hex"] }
 linkme = "0.3.22"
 static_assertions = "1.1.0"
+juniper = { version = "0.16" }
+
 
 [profile.fuzz]
 inherits = "release"

Cargo.toml

@@ -3,6 +3,7 @@ use mina_p2p_messages::v2::{
     ConsensusProofOfStakeDataConsensusStateValueStableV2 as MinaConsensusState, StateHash,
 };
 use serde::{Deserialize, Serialize};
+use time::{macros::format_description, OffsetDateTime};
 
 use crate::constants::constraint_constants;
 pub use crate::constants::{
@@ -301,6 +302,13 @@ impl ConsensusConstants {
         constants.assert_invariants();
         constants
     }
+
+    pub fn human_readable_genesis_timestamp(&self) -> Result<String, String> {
+        let format = format_description!("[year]-[month]-[day]T[hour]:[minute]:[second].[subsecond digits:6][offset_hour sign:mandatory]:[offset_minute]");
+        OffsetDateTime::from_unix_timestamp((self.genesis_state_timestamp.as_u64() / 1000) as i64)
+            .map_err(|e| e.to_string())
+            .and_then(|dt| dt.format(&format).map_err(|e| e.to_string()))
+    }
 }
 
 #[cfg(test)]

core/src/consensus.rs

@@ -1,8 +1,8 @@
 use std::sync::Arc;
 
-use binprot::BinProtRead;
 use mina_p2p_messages::v2::{MinaBaseProofStableV2, TransactionSnarkProofStableV2};
 
+// NOTE: moved to mina_p2p_messages crate
 /// Value of `Proof.transaction_dummy` when we run `dune runtest src/lib/staged_ledger -f`
 /// The file was generated this way:
 ///
@@ -19,28 +19,10 @@ use mina_p2p_messages::v2::{MinaBaseProofStableV2, TransactionSnarkProofStableV2
 /// Core.Printf.eprintf !"dummy proof= %{sexp: Proof.t}\n%!" dummy;
 /// Core.Printf.eprintf !"dummy proof= %s\n%!" s;
 pub fn dummy_transaction_proof() -> Arc<TransactionSnarkProofStableV2> {
-    lazy_static::lazy_static! {
-        static ref DUMMY_PROOF: Arc<TransactionSnarkProofStableV2> = {
-            let bytes = include_bytes!("dummy_transaction_proof.bin");
-            TransactionSnarkProofStableV2::binprot_read(&mut bytes.as_slice())
-                .unwrap()
-                .into()
-        };
-    }
-
-    DUMMY_PROOF.clone()
+    mina_p2p_messages::v2::dummy_transaction_proof()
 }
 
 /// Value of `Proof.blockchain_dummy`
 pub fn dummy_blockchain_proof() -> Arc<MinaBaseProofStableV2> {
-    lazy_static::lazy_static! {
-        static ref DUMMY_PROOF: Arc<MinaBaseProofStableV2> = {
-            let bytes = include_bytes!("dummy_blockchain_proof.bin");
-            MinaBaseProofStableV2::binprot_read(&mut bytes.as_slice())
-                .unwrap()
-                .into()
-        };
-    }
-
-    DUMMY_PROOF.clone()
+    mina_p2p_messages::v2::dummy_blockchain_proof()
 }

core/src/dummy/mod.rs

@@ -8,8 +8,10 @@ export default {
       state: ['actions'],
       network: ['node-dht', 'graph-overview', 'bootstrap-stats'],
       snarks: ['scan-state'],
+      benchmarks: ['wallets'],
     },
     canAddNodes: true,
+    graphQL: '/openmina-node/graphql',
   },
   configs: [
     {

frontend/src/assets/environments/compose.js

@@ -10,6 +10,7 @@ export const environment: Readonly<MinaEnv> = {
       state: ['actions'],
       network: ['node-dht', 'graph-overview', 'bootstrap-stats'],
       snarks: ['scan-state'],
+      benchmarks: ['wallets'],
     },
     canAddNodes: true,
   },

frontend/src/environments/environment.compose.ts

@@ -26,7 +26,10 @@ o1-utils = { workspace = true }
 kimchi = { workspace = true }
 mina-poseidon = { workspace = true }
 poly-commitment = { workspace = true }
+juniper = { workspace = true }
 openmina-macros = { path = "../macros" }
+strum = "0.26.2"
+strum_macros = "0.26.4"
 
 bs58 = "0.4.0"
 mina-p2p-messages = { workspace = true }

ledger/Cargo.toml

@@ -419,6 +419,12 @@ pub struct VerificationKey {
     pub wrap_vk: Option<()>,
 }
 
+// impl From<VerificationKey> for MinaBaseVerificationKeyWireStableV1Base64 {
+//     fn from(value: VerificationKey) -> Self {
+//         MinaBaseVerificationKeyWireStableV1Base64((&value).into())
+//     }
+// }
+
 impl Check<Fp> for VerificationKey {
     fn check(&self, w: &mut Witness<Fp>) {
         let Self {

ledger/src/account/account.rs

@@ -41,6 +41,13 @@ impl VotingFor {
         let state_hash = mina_p2p_messages::v2::StateHash::from_fp(self.0);
         state_hash.to_string()
     }
+
+    pub fn to_base58check_graphql(&self) -> String {
+        // NOTE: See https://github.com/MinaProtocol/mina/blob/fb1c3c0a408c344810140bdbcedacc532a11be91/src/lib/mina_graphql/types.ml#L1528
+        let receipt_chain_hash = ReceiptChainHash(self.0);
+        let receipt_chain_hash = mina_p2p_messages::v2::ReceiptChainHash::from(receipt_chain_hash);
+        receipt_chain_hash.to_string()
+    }
 }
 
 #[test]
@@ -241,7 +248,7 @@ impl Default for TokenPermissions {
 }
 
 // https://github.com/MinaProtocol/mina/blob/develop/src/lib/mina_base/permissions.mli#L10
-#[derive(Copy, Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
+#[derive(Copy, Clone, Debug, PartialEq, Eq, Serialize, Deserialize, strum_macros::Display)]
 #[serde(rename_all = "lowercase")]
 pub enum AuthRequired {
     None,

ledger/src/account/common.rs

@@ -1,7 +1,7 @@
 #![allow(clippy::type_complexity)]
 
 use ark_ec::short_weierstrass_jacobian::GroupAffine;
-use ark_ff::{fields::arithmetic::InvalidBigInt, Field};
+use ark_ff::{fields::arithmetic::InvalidBigInt, Field, PrimeField};
 use mina_hasher::Fp;
 use mina_p2p_messages::{
     bigint::BigInt,
@@ -11,8 +11,9 @@ use mina_p2p_messages::{
         self, MinaBaseAccountBinableArgStableV2, MinaBaseAccountIdDigestStableV1,
         MinaBaseAccountIdStableV2, MinaBaseAccountIndexStableV1, MinaBaseAccountTimingStableV2,
         MinaBasePermissionsAuthRequiredStableV2, MinaBasePermissionsStableV2,
-        MinaBaseVerificationKeyWireStableV1, MinaBaseVerificationKeyWireStableV1WrapIndex,
-        NonZeroCurvePointUncompressedStableV1, PicklesBaseProofsVerifiedStableV1, TokenIdKeyHash,
+        MinaBaseReceiptChainHashStableV1, MinaBaseVerificationKeyWireStableV1,
+        MinaBaseVerificationKeyWireStableV1WrapIndex, NonZeroCurvePointUncompressedStableV1,
+        PicklesBaseProofsVerifiedStableV1, TokenIdKeyHash,
     },
 };
 
@@ -56,6 +57,12 @@ impl From<TokenId> for TokenIdKeyHash {
     }
 }
 
+impl From<TokenIdKeyHash> for TokenId {
+    fn from(value: TokenIdKeyHash) -> Self {
+        value.inner().try_into().unwrap()
+    }
+}
+
 impl<F: FieldWitness> TryFrom<(BigInt, BigInt)> for InnerCurve<F>
 where
     F: Field + From<BigInt>,
@@ -642,6 +649,12 @@ impl From<AccountIndex> for MinaBaseAccountIndexStableV1 {
     }
 }
 
+impl From<ReceiptChainHash> for mina_p2p_messages::v2::ReceiptChainHash {
+    fn from(value: ReceiptChainHash) -> Self {
+        MinaBaseReceiptChainHashStableV1(value.0.into_repr().into()).into()
+    }
+}
+
 #[cfg(test)]
 mod tests {
     use super::*;