From 523840f8cdd5493a2b682dc4f08f93f182aae565 Mon Sep 17 00:00:00 2001 From: VolodymyrBg Date: Tue, 1 Jul 2025 15:07:17 +0300 Subject: [PATCH] Fix broken link to BigInt witness verification implementation --- zirgen/Dialect/BigInt/Overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zirgen/Dialect/BigInt/Overview.md b/zirgen/Dialect/BigInt/Overview.md index 60ecbd16..8199981e 100644 --- a/zirgen/Dialect/BigInt/Overview.md +++ b/zirgen/Dialect/BigInt/Overview.md @@ -110,7 +110,7 @@ made to the witness values. One implementation of generating the BigInt witness is in [eval](IR/Eval.cpp). -The ZKR implementation of verifying the BigInt witness is in [lower](IR/Lower.cpp). +The ZKR implementation of verifying the BigInt witness is in [lower](Transforms/LowerReduce.cpp). An test of much of the end-to-end functionality of proving a RSA constraint is in [RSA test](IR/test/test.cpp).