From 25168f14a0b8d1c486777ce34a7c04786c0ecfd8 Mon Sep 17 00:00:00 2001
From: Tamir Hemo <tamir@succinct.xyz>
Date: Thu, 30 May 2024 22:19:47 -0700
Subject: [PATCH] docs

---
 recursion/program/src/commit.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/recursion/program/src/commit.rs b/recursion/program/src/commit.rs
index 0edff4bfeb..100d74c405 100644
--- a/recursion/program/src/commit.rs
+++ b/recursion/program/src/commit.rs
@@ -3,6 +3,7 @@ use sp1_recursion_compiler::ir::{Array, Builder, Config, Ext, FromConstant, Usiz
 
 use crate::fri::types::{FriConfigVariable, TwoAdicPcsRoundVariable};
 
+/// Reference: [p3_commit::PolynomialSpace]
 pub trait PolynomialSpaceVariable<C: Config>: Sized + FromConstant<C> {
     type Constant: PolynomialSpace<Val = C::F>;
 
@@ -33,6 +34,7 @@ pub trait PolynomialSpaceVariable<C: Config>: Sized + FromConstant<C> {
     ) -> Self;
 }
 
+/// Reference: [p3_commit::Pcs]
 pub trait PcsVariable<C: Config, Challenger> {
     type Domain: PolynomialSpaceVariable<C>;