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

Feat/clean compute pi #795

Merged
merged 13 commits into from
Jul 28, 2023
Merged

Feat/clean compute pi #795

Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
6a143a1
feat: compute_pi assembly ok
ThomasPiellard Jul 27, 2023
f78c84a
clean: removed dead code
ThomasPiellard Jul 27, 2023
7cc87a7
clean: removed more dead code
ThomasPiellard Jul 27, 2023
1bf6d08
clean: even more deadcode
ThomasPiellard Jul 27, 2023
39a57a9
feat: compute_pi in main assembly block ok
ThomasPiellard Jul 27, 2023
69102f3
clean: removed dead code
ThomasPiellard Jul 27, 2023
6018cce
feat: challenges derivation in the main block
ThomasPiellard Jul 27, 2023
1b89624
feat: check_input_size in main block
ThomasPiellard Jul 27, 2023
aceb2d8
feat: one single assembly block ok
ThomasPiellard Jul 27, 2023
f0e12e7
feat: zeta to the n minus 1 extracted from compute_pi
ThomasPiellard Jul 27, 2023
cbb7d55
feat: verifier in one assembly block
ThomasPiellard Jul 27, 2023
7aebeeb
feat: put function calls at the beginning of Verify
ThomasPiellard Jul 27, 2023
2f734de
feat: use state instead of mload(0x40)
ThomasPiellard Jul 28, 2023
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
Loading