Skip to content

Gnark e2e #700

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
vivianjeng merged 3 commits into from
Mar 3, 2026
Merged

Gnark e2e #700

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
293de9c
feat: add Gnark support to iOS app and include necessary resources
vivianjeng Mar 2, 2026
8605a6a
test: add UI tests for Gnark prove and verify functionality
vivianjeng Mar 2, 2026
16c55a0
feat: enhance UI and testing for Gnark functionality
vivianjeng Mar 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions cli/src/create/utils.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -136,6 +136,7 @@ pub fn copy_keys(target_dir: std::path::PathBuf) -> Result<()> {
include_dir!("$CARGO_MANIFEST_DIR/src/template/init/test-vectors/circom/witnesscalc"),
include_dir!("$CARGO_MANIFEST_DIR/src/template/init/test-vectors/halo2"),
include_dir!("$CARGO_MANIFEST_DIR/src/template/init/test-vectors/noir"),
include_dir!("$CARGO_MANIFEST_DIR/src/template/init/test-vectors/gnark"),
];
key_dirs
.iter()
Expand Down
13 changes: 13 additions & 0 deletions ...template/android/app/src/androidTest/java/com/example/moproapp/ExampleInstrumentedTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,19 @@ class ExampleInstrumentedTest {
composeTestRule.onNodeWithTag("rapidsnarkVerifyProofButton").assertIsDisplayed()
}

@Test
fun gnarkButtonClick() {
composeTestRule.setContent { GnarkComponent() }

composeTestRule.onNodeWithTag("gnarkGenerateProofButton").performClick()
composeTestRule.onNodeWithTag("gnarkGenerateProofButton").assertIsDisplayed()

waitForProofCompletion("gnarkVerifyProofButton", maxWaitSeconds = 10)

composeTestRule.onNodeWithTag("gnarkVerifyProofButton").performClick()
composeTestRule.onNodeWithTag("gnarkVerifyProofButton").assertIsDisplayed()
}

@Test
fun halo2ButtonClick() {
composeTestRule.setContent { FibonacciComponent() }
Expand Down
173 changes: 121 additions & 52 deletions cli/src/template/android/app/src/main/java/com/example/moproapp/FibonacciComponent.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,20 @@
package com.example.moproapp

import androidx.compose.foundation.layout.Box
import androidx.compose.foundation.layout.Arrangement
import androidx.compose.foundation.layout.Column
import androidx.compose.foundation.layout.Spacer
import androidx.compose.foundation.layout.fillMaxSize
import androidx.compose.foundation.layout.fillMaxWidth
import androidx.compose.foundation.layout.height
import androidx.compose.foundation.layout.padding
import androidx.compose.foundation.layout.width
import androidx.compose.foundation.rememberScrollState
import androidx.compose.foundation.verticalScroll
import androidx.compose.material3.Button
import androidx.compose.material3.Card
import androidx.compose.material3.CardDefaults
import androidx.compose.material3.CircularProgressIndicator
import androidx.compose.material3.MaterialTheme
import androidx.compose.material3.OutlinedCard
import androidx.compose.material3.Text
import androidx.compose.runtime.Composable
import androidx.compose.runtime.getValue
Expand All @@ -15,16 +25,18 @@ import androidx.compose.ui.Alignment
import androidx.compose.ui.Modifier
import androidx.compose.ui.platform.testTag
import androidx.compose.ui.text.font.FontWeight
import androidx.compose.ui.text.style.TextAlign
import androidx.compose.ui.unit.dp
import androidx.compose.ui.unit.sp
import uniffi.mopro.Halo2ProofResult
import uniffi.mopro.generateHalo2Proof
import uniffi.mopro.verifyHalo2Proof

@Composable
fun FibonacciComponent() {
var provingTime by remember { mutableStateOf("proving time:") }
var verifyingTime by remember { mutableStateOf("verifying time: ") }
var valid by remember { mutableStateOf("valid:") }
var provingTime by remember { mutableStateOf<String?>(null) }
var verifyingTime by remember { mutableStateOf<String?>(null) }
var valid by remember { mutableStateOf<String?>(null) }
var isGeneratingProof by remember { mutableStateOf(false) }
var isVerifyingProof by remember { mutableStateOf(false) }
var res by remember {
Expand All @@ -37,57 +49,114 @@ fun FibonacciComponent() {
val provingKeyPath = getFilePathFromAssets("plonk_fibonacci_pk.bin")
val verifyingKeyPath = getFilePathFromAssets("plonk_fibonacci_vk.bin")


val inputs = mutableMapOf<String, List<String>>()
inputs["out"] = listOf("55")

Box(modifier = Modifier.fillMaxSize().padding(16.dp), contentAlignment = Alignment.Center) {
Button(
onClick = {
isGeneratingProof = true
Thread {
try {
val startTime = System.currentTimeMillis()
res = generateHalo2Proof(srsPath, provingKeyPath, inputs)
val endTime = System.currentTimeMillis()
provingTime =
"proving time: " +
(endTime - startTime).toString() +
" ms"
} finally {
isGeneratingProof = false
}
}
.start()
},
modifier = Modifier.padding(top = 20.dp).testTag("halo2GenerateProofButton"),
enabled = !isGeneratingProof && !isVerifyingProof
) { Text(text = "generate proof") }
Button(
onClick = {
isVerifyingProof = true
Thread {
try {
val startTime = System.currentTimeMillis()
valid = "valid: " + verifyHalo2Proof(srsPath, verifyingKeyPath, res.proof, res.inputs).toString()
val endTime = System.currentTimeMillis()
verifyingTime = "verifying time: " + (endTime - startTime).toString() + " ms"
} finally {
isVerifyingProof = false
}
}.start()
},
modifier = Modifier.padding(top = 120.dp).testTag("halo2VerifyProofButton"),
enabled = !isGeneratingProof && !isVerifyingProof && res.proof.isNotEmpty()
) { Text(text = "verify proof") }
val scrollState = rememberScrollState()
val isBusy = isGeneratingProof || isVerifyingProof

Column(
modifier = Modifier
.fillMaxSize()
.verticalScroll(scrollState)
.padding(16.dp),
horizontalAlignment = Alignment.CenterHorizontally,
verticalArrangement = Arrangement.spacedBy(12.dp)
) {
Text(
text = "Halo2 Fibonacci proof",
modifier = Modifier.padding(bottom = 180.dp),
fontWeight = FontWeight.Bold
text = "Halo2 Fibonacci",
style = MaterialTheme.typography.titleLarge,
fontWeight = FontWeight.Bold,
fontSize = 22.sp
)
Text(
text = "Proves the 10th Fibonacci number is 55 using Plonk.",
style = MaterialTheme.typography.bodyMedium,
textAlign = TextAlign.Center,
modifier = Modifier.padding(bottom = 8.dp)
)

OutlinedCard(
modifier = Modifier.fillMaxWidth(),
colors = CardDefaults.outlinedCardColors()
) {
Column(
modifier = Modifier.padding(16.dp),
horizontalAlignment = Alignment.CenterHorizontally,
verticalArrangement = Arrangement.spacedBy(12.dp)
) {
if (isBusy) {
CircularProgressIndicator(modifier = Modifier.padding(8.dp))
Text(
text = if (isGeneratingProof) "Generating proof…" else "Verifying…",
style = MaterialTheme.typography.bodyMedium
)
}

Button(
onClick = {
isGeneratingProof = true
provingTime = null
valid = null
verifyingTime = null
Thread {
try {
val startTime = System.currentTimeMillis()
res = generateHalo2Proof(srsPath, provingKeyPath, inputs)
val endTime = System.currentTimeMillis()
provingTime = "${endTime - startTime} ms"
} finally {
isGeneratingProof = false
}
}.start()
},
modifier = Modifier.fillMaxWidth().testTag("halo2GenerateProofButton"),
enabled = !isBusy
) {
Text("Generate proof")
}

Button(
onClick = {
isVerifyingProof = true
verifyingTime = null
Thread {
try {
val startTime = System.currentTimeMillis()
val result = verifyHalo2Proof(srsPath, verifyingKeyPath, res.proof, res.inputs)
val endTime = System.currentTimeMillis()
verifyingTime = "${endTime - startTime} ms"
valid = result.toString()
} finally {
isVerifyingProof = false
}
}.start()
},
modifier = Modifier.fillMaxWidth().testTag("halo2VerifyProofButton"),
enabled = !isBusy && res.proof.isNotEmpty()
) {
Text("Verify proof")
}
}
}

if (provingTime != null || verifyingTime != null || valid != null) {
Card(
modifier = Modifier.fillMaxWidth(),
colors = CardDefaults.cardColors(containerColor = MaterialTheme.colorScheme.surfaceVariant)
) {
Column(
modifier = Modifier.padding(16.dp),
verticalArrangement = Arrangement.spacedBy(4.dp)
) {
Text("Results", fontWeight = FontWeight.SemiBold, fontSize = 16.sp)
provingTime?.let { Text("Proving: $it", style = MaterialTheme.typography.bodyMedium) }
verifyingTime?.let { Text("Verifying: $it", style = MaterialTheme.typography.bodyMedium) }
valid?.let { Text("Valid: $it", style = MaterialTheme.typography.bodyMedium, fontWeight = if (it == "true") FontWeight.Bold else FontWeight.Normal) }
}
}
}

Text(text = provingTime, modifier = Modifier.padding(top = 250.dp).width(200.dp))
Text(text = valid, modifier = Modifier.padding(top = 300.dp).width(200.dp))
Text(text = verifyingTime, modifier = Modifier.padding(top = 350.dp).width(200.dp))
Spacer(modifier = Modifier.height(24.dp))
}
}
}
Loading
Loading