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.

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

Add STARK Verification Example #22

wants to merge 1 commit into
base: master


Copy link

commented Aug 1, 2019

Includes a contrived instance of a STARK verification of a number of MIMC rounds expressed inside an EE.

@jwasinger jwasinger force-pushed the jwasinger:mimc-stark branch from 2142acf to aae6ec5 Aug 1, 2019

let modulus: BigInt = num_bigint::BigInt::from_str(MODULUS).expect("modulus couldn't be deserialized into bigint");

for i in 0..64 {
let constant = BigInt::from(i as u8).pow(BigUint::from(7u8)) ^ BigInt::from(42u8);

This comment has been minimized.

Copy link

axic Aug 1, 2019


These look like constants. You should precompute these and place them as data.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
2 participants
You can’t perform that action at this time.