From 964cc11078d0b8fa37189566fadd2d55ac815cea Mon Sep 17 00:00:00 2001
From: Kalidou Diagne <kld.diagne@gmail.com>
Date: Fri, 13 Jun 2025 20:14:53 +0400
Subject: [PATCH] Update private-proof-delegation.md

---
 components/project/project-list.tsx          | 25 ++++++++++-
 components/project/project-result-bar.tsx    | 46 ++++++++++----------
 content/projects/private-proof-delegation.md |  6 +--
 3 files changed, 49 insertions(+), 28 deletions(-)

diff --git a/components/project/project-list.tsx b/components/project/project-list.tsx
index 17fe471..992e373 100644
--- a/components/project/project-list.tsx
+++ b/components/project/project-list.tsx
@@ -47,7 +47,14 @@ export const ProjectList = () => {
   const [isManualScroll, setIsManualScroll] = useState(false)
   const [isMounted, setIsMounted] = useState(false)
 
-  const { projects } = useProjects()
+  const { projects, searchQuery, activeFilters } = useProjects()
+  const hasSearchParams =
+    searchQuery?.length > 0 ||
+    Object.values({
+      keywords: activeFilters?.keywords ?? [],
+      builtWith: activeFilters?.builtWith ?? [],
+      themes: activeFilters?.themes ?? [],
+    }).some((arr) => arr.length > 0)
 
   const noItems = projects?.length === 0
 
@@ -125,6 +132,22 @@ export const ProjectList = () => {
     {} as Record<ProjectStatus, ProjectInterface[]>
   )
 
+  if (hasSearchParams) {
+    return (
+      <div className="grid grid-cols-1 gap-4 md:grid-cols-2 md:gap-x-6 md:gap-y-10 lg:grid-cols-4">
+        {projects?.map((project: any) => (
+          <ProjectCard
+            key={project?.id}
+            project={project}
+            showBanner
+            showLinks
+            border
+          />
+        ))}
+      </div>
+    )
+  }
+
   return (
     <div className="relative grid items-start justify-between grid-cols-1">
       <div className="flex flex-col">
diff --git a/components/project/project-result-bar.tsx b/components/project/project-result-bar.tsx
index c006ac4..e921732 100644
--- a/components/project/project-result-bar.tsx
+++ b/components/project/project-result-bar.tsx
@@ -68,31 +68,29 @@ export const ProjectResultBar = () => {
       </div>
       {haveActiveFilters && (
         <div className="inline-flex flex-wrap gap-1 md:gap-4">
-          {Object.entries(activeFilters).map(([key, filters], index) => {
-            return (
-              <>
-                {filters?.map((filter) => {
-                  if (filter?.length === 0) return null
-
-                  return (
-                    <CategoryTag
-                      closable
-                      variant="gray"
-                      onClose={() =>
-                        toggleFilter({
-                          tag: key as ProjectFilter,
-                          value: filter,
-                        })
-                      }
-                      key={`${index}-${filter}`}
-                    >
-                      {filter}
-                    </CategoryTag>
-                  )
-                })}
-              </>
+          {Object.entries(activeFilters)
+            .flatMap(([key, filters]) =>
+              (filters ?? []).map((filter) => ({
+                key,
+                filter,
+              }))
             )
-          })}
+            .filter(({ filter }) => filter?.length > 0)
+            .map(({ key, filter }, index) => (
+              <CategoryTag
+                key={`${key}-${filter}-${index}`}
+                closable
+                variant="gray"
+                onClose={() =>
+                  toggleFilter({
+                    tag: key as ProjectFilter,
+                    value: filter,
+                  })
+                }
+              >
+                {filter}
+              </CategoryTag>
+            ))}
         </div>
       )}
     </div>
diff --git a/content/projects/private-proof-delegation.md b/content/projects/private-proof-delegation.md
index 4fb6728..c7b33f4 100644
--- a/content/projects/private-proof-delegation.md
+++ b/content/projects/private-proof-delegation.md
@@ -37,7 +37,7 @@ Ultimately, the project seeks to identify viable building blocks for a future wh
 - **Stage:** MVP Development
 - **Status:** Active
 - **Team Lead:** Takamichi Tsutsumi
-- **Team Members:** Wanseob Lim, Shouki Tsuda
+- **Team Members:** Shouki Tsuda
 - **Collaborators:** Keewoo
 
 ## Technical Approach
@@ -52,7 +52,7 @@ The team maintains a strong focus on publishing intermediate findings to guide t
 
 ## Milestones
 
-- **Milestone 1:** TEE-based proving benchmark & write-up (in progress, due June 2025)
+- **Milestone 1:** TEE-based proving benchmark & write-up ([completed](https://pse.dev/en/blog/tee-based-ppd))
 - **Milestone 2:** Literature review and design space mapping for FHE-based delegated proving
 - **Milestone 3 (planned):** Experimental implementation of FHE-friendly proving system (Q3–Q4 2025)
 
@@ -66,7 +66,7 @@ Private Delegated Proving has potential to reshape the user experience and archi
 
 ## Publications
 
-No publications yet, but the team plans to share regular updates and design notes via blog posts, research forums, and talks (e.g. Devconnect).
+- TEE-based proving benchmark & write-up ([completed](https://pse.dev/en/blog/tee-based-ppd))
 
 ## Resources