Skip to content
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

Fix grammar and remove duplicate words #544

Closed
wants to merge 2 commits into from
Closed

Fix grammar and remove duplicate words #544

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
dfc2107
Update README.md
Vikt0rPavlik Dec 26, 2024
a22a450
Update HyperKZG.sol
Vikt0rPavlik Dec 26, 2024
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
2 changes: 1 addition & 1 deletion jolt-evm-verifier/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Jolt EVM Verifier

This packages implements a verifier for the Jolt prover which can run in the EVM.
This package implements a verifier for the Jolt prover which can run in the EVM.

## *WARNING THIS PACKAGE IS NEITHER COMPLETE NOR REVIEWED FOR SECURITY. DO NOT USE IN PRODUCTION.*

Expand Down
4 changes: 2 additions & 2 deletions jolt-evm-verifier/src/subprotocols/HyperKZG.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ contract HyperKZG {
using FrLib for Fr;

// These are initialized using the trusted setup values. NOTE - You must negate the point
// VK_g2 in order to have the checks pass, unlike the the rust which checks e(L, VK_G2) =
// VK_g2 in order to have the checks pass, unlike the rust which checks e(L, VK_G2) =
// e(R, VK_Beta_G2) we use a precompile which checks e(L,-VK_G2)e(R, VK_Beta_G2) = 1
uint256 immutable VK_g1_x;
uint256 immutable VK_g1_y;
Expand Down Expand Up @@ -164,7 +164,7 @@ contract HyperKZG {
accumulated_q = q * accumulated_q;
}

// Finally we do a MSM to get the value of the the left hand side
// Finally we do a MSM to get the value of the left hand side
// NOTE - This is gas inefficient and grows with log of the proof size so we might want
// to move to a pippenger window algo with much smaller MSMs which we might save gas on.
// Our first value is the c_x c_y as this would be the first entry of com in rust.
Expand Down