From 7a4c052208dcb51abb1064ce6f99e831a6c65b2b Mon Sep 17 00:00:00 2001
From: Alex Koshelev <koshelev@meta.com>
Date: Fri, 6 Oct 2023 20:19:53 -0700
Subject: [PATCH] Relax semi-honest reveal bounds

It shouldn't require fields, semi-honest reveal works with shared values just fine.
---
 src/protocol/basics/reveal.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/protocol/basics/reveal.rs b/src/protocol/basics/reveal.rs
index 28e54a904..672c8a473 100644
--- a/src/protocol/basics/reveal.rs
+++ b/src/protocol/basics/reveal.rs
@@ -18,7 +18,7 @@ use crate::{
             malicious::{AdditiveShare as MaliciousReplicated, ExtendableField},
             semi_honest::AdditiveShare as Replicated,
         },
-        SecretSharing,
+        SecretSharing, SharedValue,
     },
 };
 
@@ -47,10 +47,10 @@ pub trait Reveal<C: Context, B: RecordBinding>: Sized {
 /// i.e. their own shares and received share.
 #[async_trait]
 #[embed_doc_image("reveal", "images/reveal.png")]
-impl<C: Context, F: Field> Reveal<C, RecordId> for Replicated<F> {
-    type Output = F;
+impl<C: Context, V: SharedValue> Reveal<C, RecordId> for Replicated<V> {
+    type Output = V;
 
-    async fn reveal<'fut>(&self, ctx: C, record_id: RecordId) -> Result<F, Error>
+    async fn reveal<'fut>(&self, ctx: C, record_id: RecordId) -> Result<V, Error>
     where
         C: 'fut,
     {