Skip to content
This repository has been archived by the owner on Feb 17, 2025. It is now read-only.

Directly include transpiler #311

Closed
wants to merge 101 commits into from
Closed

Directly include transpiler #311

wants to merge 101 commits into from

Conversation

AndreyMlashkin
Copy link
Contributor

No description provided.

nkaskov and others added 30 commits January 14, 2023 19:08
@nkaskov
zkLLVM Circuit transpiler initialized.
6d72ded
@nkaskov
Redundant dependencies removed.
4114f1d
Gate argument profiling rewrited for a batched version #1
b9e807a
Added .sol files templates for code readability #1
f737371
@nkaskov
Merge pull request #2 from NilFoundation/1-batched-evaluation-proofs
928380f 
Batched gate argument
@ETatuzova
Include file paths in generated files updated #3
43a7842
@ETatuzova
Columns rotations for non-witness columns provided. Gates optimizatio…
0392521 
…n added #3
@ETatuzova
Terms with coeff=1 profiling optimized #3
d1eb36c
@ETatuzova
Update readme.md #3
0ca7eda
@ETatuzova
Update README.md
aec72b3
@ETatuzova
Merge branch 'master' of github.com:NilFoundation/zkllvm-transpiler i…
a6457cf 
…nto HEAD
@ETatuzova
README.md updated #3
e560d5b
@ETatuzova
Merge branch '3-evm-branch-37-compatibility' of github.com:NilFoundat…
8acad9e 
…ion/zkllvm-transpiler into HEAD
@nkaskov
Merge pull request #5 from NilFoundation/3-evm-branch-37-compatibility
ab70f8a 
Compatibility with EVM Placeholder verification 37th branch
@martun @nkaskov
Changes related to Expressions.
fda8415
@martun @nkaskov
Some fixes.
bd132a2
@NickVolynkin
Proofread the readme
fe6abf6 
* Fix a few links
* Fix naming of zkLLVM
* Add code formatting to file names and CLI arguments
@ETatuzova
Merge pull request #8 from NilFoundation/proofread-readme
d66da57 
Proofread the readme
@ETatuzova @nkaskov
Change gate argument to be hardhat-compatible #9
d401567
@ETatuzova @nkaskov
Public input processing added #9
b5fb911
@ETatuzova
Update README.md
2403aef
@nkaskov
Assignment table deserialization algorithm temporary added to transpi…
72247a7 
…ler.
@martun @nkaskov
Changing plonk_variable template type.
3a2d481
@martun @nkaskov
Few small changes related to changes in zk.
15fac16
@nkaskov
Pass assiment table as reference
dd4047f
@nkaskov
Allign types: use uint32_t insteat of size_t
d853f0b
@ETatuzova @nkaskov
Minor changes transpiler start built with new crypto3-zk #21
6c5eb50
@ETatuzova @nkaskov
Transpiler tests initialization #21
4bc8ca1
@ETatuzova @nkaskov
New dependencies #21
6ea0121
@ETatuzova @nkaskov
Tests added. Permutation argument generator completed#21
171fc24
ETatuzova and others added 27 commits February 2, 2024 12:20
@ETatuzova
Add recursive generator, update EVM verifier #39
f206e94
@ETatuzova
39 branch prepared to merge #39
491e056 
Delete couts #39
@ETatuzova
LPC batching updated #65
c1f503c
@ETatuzova
Removed ifs and dynamic loops #72
e4affbe
@CblPOK-git
remove trailing spaces
34fbefe
@CblPOK-git
remove ArithmetizationParams
020b598
@CblPOK-git
remove ArithmetizationParams from recursive verifier generator
2f7c2f3
@CblPOK-git
remove ArithmetizationParams from test
04abab5
@CblPOK-git
add target for test run
51bb08d
@CblPOK-git
small change
bc84d41
@ETatuzova
Keccak processing in JSON added. Verification key removed from recurs…
695180e 
…ive circuit inputs #75
@ETatuzova
Some includes added to recursive_verifier_generator.hpp
cc7cfa8
@ETatuzova @martun
JSON generator updated #78
1c60445
@ETatuzova @martun
EVM verifier update #78
1d498c2
@ETatuzova @martun
Placeholder part #78
6b4cc82
@ETatuzova @martun
Commitment scheme part#78
ee5e0b5
@ETatuzova @martun
Wrong test commented#78
1e6489d
@akokoshn
Initialize unique points array
a614c98
@AndreyMlashkin
use only crypto3::all target
61c695a
@AndreyMlashkin
remove finding boost, as already called in zkLLVM
2637c38
@AndreyMlashkin @akokoshn
replace _cppui255 with _cppui_modular255
fc4afc3
@AndreyMlashkin @akokoshn
simplify CMakeLists
92332ff
@AndreyMlashkin
use local fork of git modules
2fa0898
@AndreyMlashkin
Move all files into libs/transpiler directory
ca0ce7d
@AndreyMlashkin
Merge remote-tracking branch 'transpiler/migration' into directly-inc…
ee18ebd 
…lude-transpiler
@AndreyMlashkin
cleanup unused files
cd58190
@AndreyMlashkin
transpiler cmake adaptations
cb4ce60
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@akokoshn akokoshn Awaiting requested review from akokoshn

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
8 participants
@AndreyMlashkin @nkaskov @ETatuzova @martun @NickVolynkin @vo-nil @x-mass @CblPOK-git