github/zk-stats-demo
1
1
Fork 0
mirror of https://github.com/MPCStats/zk-stats-demo.git synced 2026-01-08 21:28:00 -05:00
Code Issues Packages Projects Releases Wiki Activity

use the latest zkstats library

Browse Source 
and add verifier flow in the template.ipynb, just to show how verification key is derived
This commit is contained in:
mhchia
2024-06-15 00:35:10 +08:00
parent e79396bf8f
commit b9454d4487
2 changed files with 143 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files

215
public/assets/template.ipynb
View File

File diff suppressed because one or more lines are too long

8
src/app/page.tsx
View File

@@ -18,8 +18,8 @@ const possibleScales = Array.from({ length: 20 }, (_, i) => i);
// template notebook settings
const templateNotebook = `${assetsURL}/template.ipynb`;
const cellForSelectedColumns = 3;
const cellForUserComputation = 5;
const cellForSelectedColumns = 4;
const cellForUserComputation = 6;
/**
* Generate the notebook for the computation
@@ -53,7 +53,7 @@ from zkstats.computation import State
def computation(state: State, x: list[torch.Tensor]):
out_0 = state.median(x[0])
out_1 = state.median(x[1])
return state.mean(torch.tensor([out_0, out_1]).reshape(1,-1,1))`
return state.mean(torch.cat([out_0.unsqueeze(0), out_1.unsqueeze(0)]).reshape(-1,1))`
const notebook = await generateJupyterNotebookForComputation(computation, selectedColumns, templateNotebook)
// Download for testing
const element = document.createElement("a");
@@ -70,7 +70,7 @@ const Page = () => {
useEffect(() => {
// Call verify function here
const v = async () => {
// await exampleDownloadNotebook();
await exampleDownloadNotebook();
await initialize();
const dataCommitments = await generateDataCommitment(dataPath, possibleScales);
console.log("!@# Data commitments:", dataCommitments);