funding: LQT nullifier set for epoch

crates/core/app-tests/tests/spend.rs

@@ -17,7 +17,7 @@ use penumbra_sdk_sct::{
 use penumbra_sdk_shielded_pool::{
     component::ShieldedPool, Note, SpendPlan, SpendProof, SpendProofPrivate, SpendProofPublic,
 };
-use penumbra_sdk_txhash::{EffectHash, TransactionContext};
+use penumbra_sdk_txhash::{EffectHash, TransactionContext, TransactionId};
 use rand_core::{OsRng, SeedableRng};
 use std::{ops::Deref, sync::Arc};
 use tendermint::abci;
@@ -65,6 +65,7 @@ async fn spend_happy_path() -> anyhow::Result<()> {
     let transaction_context = TransactionContext {
         anchor: root,
         effect_hash: EffectHash(dummy_effect_hash),
+        transaction_id: TransactionId([0; 32]),
     };
 
     // 3. Simulate execution of the Spend action
@@ -189,6 +190,7 @@ async fn invalid_dummy_spend() {
     let transaction_context = TransactionContext {
         anchor: root,
         effect_hash: EffectHash(dummy_effect_hash),
+        transaction_id: TransactionId([0; 32]),
     };
 
     // 3. Simulate execution of the Spend action

crates/core/app/src/app/mod.rs

@@ -690,7 +690,7 @@ pub trait StateReadExt: StateRead {
         let distributions_params = self.get_distributions_params().await?;
         let ibc_params = self.get_ibc_params().await?;
         let fee_params = self.get_fee_params().await?;
-        let funding_params = self.get_funding_params().await?;
+        let funding_params = self.get_staking_funding_params().await?;
         let governance_params = self.get_governance_params().await?;
         let sct_params = self.get_sct_params().await?;
         let shielded_pool_params = self.get_shielded_pool_params().await?;
@@ -812,7 +812,7 @@ pub trait StateWriteExt: StateWrite {
         self.put_community_pool_params(community_pool_params);
         self.put_distributions_params(distributions_params);
         self.put_fee_params(fee_params);
-        self.put_funding_params(funding_params);
+        self.put_staking_funding_params(funding_params);
         self.put_governance_params(governance_params);
         self.put_ibc_params(ibc_params);
         self.put_sct_params(sct_params);

crates/core/component/funding/src/component.rs

@@ -9,6 +9,7 @@ use penumbra_sdk_asset::{Value, STAKING_TOKEN_ASSET_ID};
 use penumbra_sdk_proto::{DomainType, StateWriteProto};
 use penumbra_sdk_stake::component::validator_handler::ValidatorDataRead;
 pub use view::{StateReadExt, StateWriteExt};
+pub(crate) mod liquidity_tournament;
 
 use std::sync::Arc;
 
@@ -32,7 +33,7 @@ impl Component for Funding {
         match app_state {
             None => { /* no-op */ }
             Some(genesis) => {
-                state.put_funding_params(genesis.funding_params.clone());
+                state.put_staking_funding_params(genesis.funding_params.clone());
             }
         };
     }

crates/core/component/funding/src/component/liquidity_tournament/mod.rs

@@ -0,0 +1 @@
+pub mod nullifier;

crates/core/component/funding/src/component/liquidity_tournament/nullifier/mod.rs

@@ -0,0 +1,47 @@
+use async_trait::async_trait;
+use penumbra_sdk_txhash::TransactionId;
+
+use crate::component::state_key;
+use cnidarium::{StateRead, StateWrite};
+use penumbra_sdk_proto::{StateReadProto, StateWriteProto};
+use penumbra_sdk_sct::{component::clock::EpochRead, Nullifier};
+
+#[allow(dead_code)]
+#[async_trait]
+pub trait NullifierRead: StateRead {
+    /// Gets the transaction id associated with the given nullifier from the JMT.
+    async fn get_txid_from_nullifier(&self, nullifier: Nullifier) -> Option<TransactionId> {
+        // Grab the ambient epoch index.
+        let epoch_index = self
+            .get_current_epoch()
+            .await
+            .expect("epoch is always set")
+            .index;
+
+        let nullifier_key =
+            &state_key::lqt::v1::nullifier::lqt_nullifier_lookup_for_txid(epoch_index, &nullifier);
+
+        let tx_id: Option<TransactionId> = self
+            .nonverifiable_get(&nullifier_key.as_bytes())
+            .await
+            .expect("infallible");
+
+        tx_id
+    }
+}
+
+impl<T: StateRead + ?Sized> NullifierRead for T {}
+
+#[allow(dead_code)]
+#[async_trait]
+pub trait NullifierWrite: StateWrite {
+    /// Sets the LQT nullifier in the JMT.
+    fn put_lqt_nullifier(&mut self, epoch_index: u64, nullifier: Nullifier, tx_id: TransactionId) {
+        let nullifier_key =
+            state_key::lqt::v1::nullifier::lqt_nullifier_lookup_for_txid(epoch_index, &nullifier);
+
+        self.put(nullifier_key, tx_id);
+    }
+}
+
+impl<T: StateWrite + ?Sized> NullifierWrite for T {}

crates/core/component/funding/src/component/state_key.rs

@@ -1,3 +1,18 @@
-pub fn funding_parameters() -> &'static str {
+pub fn staking_funding_parameters() -> &'static str {
     "funding/parameters"
 }
+
+pub mod lqt {
+    pub mod v1 {
+        pub mod nullifier {
+            use penumbra_sdk_sct::Nullifier;
+
+            pub(crate) fn lqt_nullifier_lookup_for_txid(
+                epoch_index: u64,
+                nullifier: &Nullifier,
+            ) -> String {
+                format!("funding/lqt/v1/nullifier/{epoch_index:020}/lookup/{nullifier}")
+            }
+        }
+    }
+}

crates/core/component/funding/src/component/view.rs

@@ -1,15 +1,14 @@
-use async_trait::async_trait;
-
 use crate::{component::state_key, params::FundingParameters};
 use anyhow::Result;
+use async_trait::async_trait;
 use cnidarium::{StateRead, StateWrite};
 use penumbra_sdk_proto::{StateReadProto, StateWriteProto};
 
 #[async_trait]
 pub trait StateReadExt: StateRead {
     /// Gets the funding module chain parameters from the JMT.
-    async fn get_funding_params(&self) -> Result<FundingParameters> {
-        self.get(state_key::funding_parameters())
+    async fn get_staking_funding_params(&self) -> Result<FundingParameters> {
+        self.get(state_key::staking_funding_parameters())
             .await?
             .ok_or_else(|| anyhow::anyhow!("Missing FundingParameters"))
     }
@@ -20,8 +19,8 @@ impl<T: StateRead + ?Sized> StateReadExt for T {}
 #[async_trait]
 pub trait StateWriteExt: StateWrite + StateReadExt {
     /// Set the Funding parameters in the JMT.
-    fn put_funding_params(&mut self, params: FundingParameters) {
-        self.put(state_key::funding_parameters().into(), params)
+    fn put_staking_funding_params(&mut self, params: FundingParameters) {
+        self.put(state_key::staking_funding_parameters().into(), params)
     }
 }
 impl<T: StateWrite + ?Sized> StateWriteExt for T {}

crates/core/transaction/src/transaction.rs

@@ -144,6 +144,7 @@ impl Transaction {
         TransactionContext {
             anchor: self.anchor,
             effect_hash: self.effect_hash(),
+            transaction_id: self.id(),
         }
     }
 

crates/core/txhash/src/context.rs

@@ -1,4 +1,4 @@
-use crate::EffectHash;
+use crate::{EffectHash, TransactionId};
 use penumbra_sdk_tct as tct;
 
 /// Stateless verification context for a transaction.
@@ -10,4 +10,6 @@ pub struct TransactionContext {
     pub anchor: tct::Root,
     /// The transaction's effect hash.
     pub effect_hash: EffectHash,
+    /// The transaction's id.
+    pub transaction_id: TransactionId,
 }