EVM verifier return value and error events #45
Assignees
Comments
vo-nil
added a commit
that referenced
this issue
Nov 5, 2023
vo-nil
added a commit
to NilFoundation/evm-placeholder-verification
that referenced
this issue
Nov 5, 2023
vo-nil
added a commit
that referenced
this issue
Nov 5, 2023
ETatuzova
pushed a commit
that referenced
this issue
Nov 8, 2023
* contract returs status #45 * EVM verifier interface update #45 NilFoundation/evm-placeholder-verification#81 * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46
ETatuzova
pushed a commit
to NilFoundation/evm-placeholder-verification
that referenced
this issue
Nov 9, 2023
* Interface update #81 nil-foundation/zkllvm-transpiler#45 * updated example circuits to new interface #81 * cleanup #81 NilFoundation/zkllvm-transpiler#45 * modular_verifier interface update, added eta value checks #81 NilFoundation/zkllvm-transpiler#46
vo-nil
added a commit
to NilFoundation/evm-placeholder-verification
that referenced
this issue
Nov 10, 2023
* Interface update #81 nil-foundation/zkllvm-transpiler#45 * updated example circuits to new interface #81 * cleanup #81 NilFoundation/zkllvm-transpiler#45 * modular_verifier interface update, added eta value checks #81 NilFoundation/zkllvm-transpiler#46
ETatuzova
pushed a commit
to NilFoundation/evm-placeholder-verification
that referenced
this issue
Nov 10, 2023
* add grinding checks #84 * circuit2 update #84 * Revert "circuit2 update #84" This reverts commit 843616d. * added example of custom mask #84 NilFoundation/crypto3-zk-marshalling#53 NilFoundation/zkllvm-transpiler#49 * Interface update #81 nil-foundation/zkllvm-transpiler#45 (#82) * Interface update #81 nil-foundation/zkllvm-transpiler#45 * updated example circuits to new interface #81 * cleanup #81 NilFoundation/zkllvm-transpiler#45 * modular_verifier interface update, added eta value checks #81 NilFoundation/zkllvm-transpiler#46 * added example of custom mask #84 NilFoundation/crypto3-zk-marshalling#53 NilFoundation/zkllvm-transpiler#49
vo-nil
added a commit
that referenced
this issue
Nov 10, 2023
vo-nil
added a commit
that referenced
this issue
Nov 24, 2023
vo-nil
added a commit
that referenced
this issue
Nov 27, 2023
vo-nil
added a commit
that referenced
this issue
Nov 27, 2023
vo-nil
added a commit
that referenced
this issue
Nov 30, 2023
vo-nil
added a commit
that referenced
this issue
Dec 1, 2023
vo-nil
added a commit
that referenced
this issue
Dec 1, 2023
vo-nil
added a commit
that referenced
this issue
Dec 5, 2023
ETatuzova
added a commit
that referenced
this issue
Dec 7, 2023
* Commitents is in input file #39 * Placeholder verifier random values generation #39 * Recursive verifier template and basic generator added #39 * Basic placeholder verifier done #39 * U and V #39 * Lookups #39 * Pow operation optimized #39 * Merkle proofs #39 * Some changes for actor-zk-compatibility #39 * Pow operation optimized #39 * Pow function updated. Specialized pow functions for small degrees hardcoded #39 * Work with eta points updated and commented #39 * prepare_U_and_V optimized #39 * Optimize row count for combinedQ computation #39 * Bug in pow2 function #39 * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46 * Reworked checking values to keccak of blob #46 * Correct keccak computation #46 * Code cleanup #46 * Removed recursive tests * Tests are now working #46 --------- Co-authored-by: e.tatuzova <[email protected]>
vo-nil
added a commit
that referenced
this issue
Dec 7, 2023
ETatuzova
pushed a commit
that referenced
this issue
Feb 1, 2024
* contract returs status #45 * EVM verifier interface update #45 NilFoundation/evm-placeholder-verification#81 * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46
ETatuzova
pushed a commit
that referenced
this issue
Feb 1, 2024
ETatuzova
pushed a commit
that referenced
this issue
Feb 1, 2024
ETatuzova
added a commit
that referenced
this issue
Feb 1, 2024
* Commitents is in input file #39 * Placeholder verifier random values generation #39 * Recursive verifier template and basic generator added #39 * Basic placeholder verifier done #39 * U and V #39 * Lookups #39 * Pow operation optimized #39 * Merkle proofs #39 * Some changes for actor-zk-compatibility #39 * Pow operation optimized #39 * Pow function updated. Specialized pow functions for small degrees hardcoded #39 * Work with eta points updated and commented #39 * prepare_U_and_V optimized #39 * Optimize row count for combinedQ computation #39 * Bug in pow2 function #39 * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46 * Reworked checking values to keccak of blob #46 * Correct keccak computation #46 * Code cleanup #46 * Removed recursive tests * Tests are now working #46 --------- Co-authored-by: e.tatuzova <[email protected]>
ETatuzova
added a commit
that referenced
this issue
Feb 5, 2024
Proof generating is syncronized with marshalling-zk #21 Copyrights added #21 Code structure changed #21 Gates files splitted #21 Lookups splitted #21 Zero-indices in permutation argument updated #21 std::couts removed #21 Commented code deleted, lookup_libs_list.json deleted #21 Direct public input updated#21 Split gate computations in libraries with given threshold #24 Split gates and lookups into multiple libs #24 Inline cheap gate evaluation in contract code #24 Done with lookups inlining #24 rm comment #24 Remove non-working CI#29 The haviest FRI function optimized #29 Add variable initialization #33 Added polynomial detection and Horner's formula #32 (#35) * Added polynomial detection and Horner's formula #32 * Removed debug tracing #32 Added power optimizations #36 (#37) * Added power optimizations #36 * Add test namespace #36 * Reworked gates generation, now it is possible to split on constraint boundary. #36 Multiply gate argument result on mask polynomial value #41 46 check values in etha point (#48) * contract returs status #45 * EVM verifier interface update #45 NilFoundation/evm-placeholder-verification#81 * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46 Added grinding mask check in EVM code #49 (#50) * Added grinding mask check in EVM code #49 * added example of custom mask #49 NilFoundation/crypto3-zk-marshalling#53 NilFoundation/evm-placeholder-verification#84 38 commitment unchecked (#40) * Added unchecked to commitment_scheme #38 * Added unchecked on all functions in commitment scheme #38 * Multiply gate argument result on mask polynomial value #41 * Remove extra parameter #38 * rm extra arguments #38 * Ensure that at lease one constraint is included in module #38 * whitespace cleanup #38 * rm debug print #38 --------- Co-authored-by: e.tatuzova <[email protected]> Added events and removed gas estimation from solidity code #45 NilFoundation/evm-placeholder-verification#86 Reworked to single event with boolean paramter #45 46 check values in etha point (#55) * Commitents is in input file #39 * Placeholder verifier random values generation #39 * Recursive verifier template and basic generator added #39 * Basic placeholder verifier done #39 * U and V #39 * Lookups #39 * Pow operation optimized #39 * Merkle proofs #39 * Some changes for actor-zk-compatibility #39 * Pow operation optimized #39 * Pow function updated. Specialized pow functions for small degrees hardcoded #39 * Work with eta points updated and commented #39 * prepare_U_and_V optimized #39 * Optimize row count for combinedQ computation #39 * Bug in pow2 function #39 * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46 * Reworked checking values to keccak of blob #46 * Correct keccak computation #46 * Code cleanup #46 * Removed recursive tests * Tests are now working #46 --------- Co-authored-by: e.tatuzova <[email protected]> Revert "46 check values in etha point (#55)" (#56) This reverts commit e32cdd5. Changing get_fri_params to get_commitment_params, due to change in zk. Events, lpc functions update, eta point #60 Remove console.log from colinear check #62 Commitents is in input file #39 Placeholder verifier random values generation #39 Recursive verifier template and basic generator added #39 Basic placeholder verifier done #39 U and V #39 Lookups #39 Pow operation optimized #39 Merkle proofs #39 Some changes for actor-zk-compatibility #39 Pow operation optimized #39 Pow function updated. Specialized pow functions for small degrees hardcoded #39 Work with eta points updated and commented #39 prepare_U_and_V optimized #39 Optimize row count for combinedQ computation #39 Bug in pow2 function #39 Removign 256 as parameter to __builtin_assigner_fri_cosets. 46 check values in etha point cherry pick for 39 (#57) * remove utils.sol if no helper functions generated #45 NilFoundation/evm-placeholder-verification#81 * Added check values for eta points #46 * Correct keccak computation #46 * Code cleanup #46 * Removed recursive tests * Tests are now working #46 Recursive verifier generation updated for last zk changes #39 Public input length parameter #39 Lookups processing updated #39 Q polynomial degree crypto3-zk compatibility #39 EVM verifier and recursive verifier gen updated #39 Batching in recursive verifier changed #65 Remove console.log from colinear check #62 Add consistent testing Recursive verifier public input processing added #39 Public input processing enabled #65 Remove comments with old code #65 EVM verifier updated #65 EVM verifier for lookups issues fixed #65 Recursive tests updated #65 Add recursive generator, update EVM verifier #39 39 branch prepared to merge #39 Delete couts #39 Update LPC batching.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
No description provided.
The text was updated successfully, but these errors were encountered: