NilFoundation/evm-placeholder-verification issues and pull requests

#113 - implement verify-proof for placeholder

Pull Request - State: open - Opened by AndreyMlashkin about 1 month ago

#112 - 111 test kzgv2 on bn254

Pull Request - State: open - Opened by vo-nil 8 months ago

#111 - Test KZGv2 commitment on bn254 curve using precompile

Issue - State: open - Opened by vo-nil 8 months ago

#110 - Improve verify_circuit_proof method

Pull Request - State: open - Opened by Aleksao998 9 months ago

#109 - Tests updated. Empty input file processing updated. #108

Pull Request - State: closed - Opened by ETatuzova 9 months ago

#108 - Wrong public input format for official examples

Issue - State: closed - Opened by Aleksao998 9 months ago

#107 - Fix CI deploy issue

Pull Request - State: closed - Opened by x-mass 9 months ago

#106 - Read already prepared public input column

Pull Request - State: closed - Opened by makxenov 9 months ago - 1 comment

#105 - Change proof file format to binary

Issue - State: open - Opened by ETatuzova 11 months ago

#104 - Update public input parser

Issue - State: open - Opened by ETatuzova 11 months ago

#103 - Change download action v3 -> v4

Pull Request - State: closed - Opened by x-mass 11 months ago

#102 - work in progress on curves #99

Pull Request - State: open - Opened by vo-nil 11 months ago

#101 - Add SyncWith handler

Pull Request - State: closed - Opened by x-mass 11 months ago

#100 - log2 consumes 0x100 bytes of memory every call

Issue - State: open - Opened by vo-nil 11 months ago
Labels: good first issue

#99 - Add support for BLS12-381 curves

Issue - State: open - Opened by vo-nil 12 months ago

#98 - Add reusable verifying workflow for integration testing

Pull Request - State: closed - Opened by x-mass 12 months ago

#97 - Circuits updated #96

Pull Request - State: closed - Opened by vo-nil 12 months ago

#96 - Update test circuits showing eta points verification

Issue - State: closed - Opened by vo-nil 12 months ago

#95 - Update Readme (version is outdated)

Issue - State: open - Opened by nkaskov about 1 year ago

#94 - Add support for curve elements in public input

Issue - State: open - Opened by vo-nil about 1 year ago

#93 - docker: publish a reusable image

Pull Request - State: open - Opened by NickVolynkin about 1 year ago

#92 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago

#91 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago

#90 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago

#89 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago

#88 - 86 add error events

Pull Request - State: closed - Opened by vo-nil about 1 year ago

#87 - 74 lookup compatibility

Pull Request - State: closed - Opened by ETatuzova about 1 year ago

#86 - EVM verifier return value and error events

Issue - State: closed - Opened by vo-nil about 1 year ago

#85 - add grinding checks #84

Pull Request - State: closed - Opened by vo-nil about 1 year ago

#84 - Add grinding check in EVM

Issue - State: closed - Opened by vo-nil about 1 year ago - 1 comment

#83 - Grinding bits bug

Issue - State: closed - Opened by ETatuzova about 1 year ago

#82 - Interface update #81 nil-foundation/zkllvm-transpiler#45

Pull Request - State: closed - Opened by vo-nil about 1 year ago

#81 - Placeholder verifier return value and error events

Issue - State: open - Opened by ETatuzova about 1 year ago

#80 - template verification

Pull Request - State: closed - Opened by gladcow about 1 year ago - 1 comment

#79 - 77 deploy fails if gate libs list

Pull Request - State: closed - Opened by vo-nil about 1 year ago

#78 - Verification (started to) always fails after transpiler update

Issue - State: open - Opened by color-typea about 1 year ago - 5 comments

#77 - Deploy fails if gate_libs_list.json does not exist

Issue - State: closed - Opened by vo-nil about 1 year ago

#76 - Public input gate

Issue - State: open - Opened by ETatuzova about 1 year ago

#75 - Review expression compilation

Issue - State: open - Opened by vo-nil about 1 year ago

#74 - Lookup compatibility

Issue - State: closed - Opened by ETatuzova about 1 year ago

#73 - Updated README.md

Pull Request - State: closed - Opened by alexandra-mara about 1 year ago

#72 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#71 - hardhat-contract-sizer added #70

Pull Request - State: closed - Opened by ETatuzova over 1 year ago

#70 - Add contract-sizer tool

Issue - State: closed - Opened by ETatuzova over 1 year ago

#69 - Publish npm packages only if release PR was merged

Issue - State: open - Opened by nkaskov over 1 year ago

#68 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#67 - Release workflow npm publish configuration updated.

Pull Request - State: closed - Opened by nkaskov over 1 year ago

#66 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#65 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#64 - Update version in package.json

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#63 - Release workflow updated

Pull Request - State: closed - Opened by nkaskov over 1 year ago

#62 - paths-ignore temporary removed from run_tests workflow

Pull Request - State: closed - Opened by nkaskov over 1 year ago

#61 - README.md updated

Pull Request - State: closed - Opened by nkaskov over 1 year ago

#60 - Binary releases workflow added

Pull Request - State: closed - Opened by nkaskov over 1 year ago

#59 - Automatically deploy binary npm packages

Issue - State: closed - Opened by nkaskov over 1 year ago

#58 - Rewrite readme instruction

Issue - State: closed - Opened by nkaskov over 1 year ago - 1 comment
Labels: documentation

#57 - Run tests workflow reviewed

Pull Request - State: closed - Opened by nkaskov over 1 year ago

#56 - Add CI testing

Issue - State: closed - Opened by nkaskov over 1 year ago - 1 comment

#55 - Parse non-native types in public input correctly

Issue - State: open - Opened by ETatuzova over 1 year ago

#54 - Investigate cairo 0.10.0 & cairo 1.0 toolchain

Issue - State: open - Opened by hgedia over 1 year ago

#53 - Transpile solidity to warp

Issue - State: open - Opened by hgedia over 1 year ago

#52 - [Research]Remove all dynamic 2D arrays

Issue - State: open - Opened by hgedia over 1 year ago

#51 - Remove all Yul references in EVM placeholder base

Issue - State: closed - Opened by hgedia over 1 year ago - 1 comment

#50 - 48 zkllvm verification

Pull Request - State: closed - Opened by ETatuzova over 1 year ago

#49 - 45 create ci workflow using GitHub actions

Pull Request - State: closed - Opened by hgedia over 1 year ago

#48 - ZKLLVM output verification

Issue - State: closed - Opened by ETatuzova over 1 year ago - 1 comment

#47 - Gas consumption profiling

Issue - State: open - Opened by ETatuzova over 1 year ago - 1 comment

#46 - Remove all Yul references in EVM placeholder base

Pull Request - State: open - Opened by hgedia over 1 year ago

#45 - Create CI workflow using github actions

Issue - State: closed - Opened by hgedia over 1 year ago

#44 - Pure solidity version of verifier

Issue - State: open - Opened by hgedia over 1 year ago

#41 - 40 migrate repository to hardhat

Pull Request - State: closed - Opened by hgedia over 1 year ago

#40 - migrate repository to hardhat

Issue - State: closed - Opened by hgedia over 1 year ago

#39 - evm-placeholder-verifier: better incapsulation

Issue - State: open - Opened by SK0M0R0H over 1 year ago

#38 - Big lambdas memory management

Issue - State: open - Opened by ETatuzova over 1 year ago

#37 - Merge 17 and 33

Issue - State: closed - Opened by ETatuzova over 1 year ago - 1 comment

#36 - Investiage using proxies upgrades for gates

Issue - State: open - Opened by hgedia over 1 year ago

#35 - clean up test cases/move to mina state proof repo

Issue - State: open - Opened by hgedia over 1 year ago

#34 - Vectors of vectors removed

Pull Request - State: open - Opened by nkaskov almost 2 years ago

#33 - Optimize batching evaluation proofs

Issue - State: closed - Opened by ETatuzova almost 2 years ago

#32 - 31 gate argument optimization mina base components

Pull Request - State: closed - Opened by 307sagar almost 2 years ago - 1 comment

#31 - Gate argument gas consumption optimization mina base

Issue - State: closed - Opened by 307sagar almost 2 years ago - 1 comment

#30 - Review U and V

Issue - State: closed - Opened by ETatuzova almost 2 years ago - 1 comment

#29 - Remove uint256 [][] data structures usage

Issue - State: open - Opened by ETatuzova almost 2 years ago

#28 - Implement pure Solidity version

Issue - State: closed - Opened by nkaskov almost 2 years ago

#27 - Mina components factored out to nilfoundation/mina-state-proof

Pull Request - State: closed - Opened by nemothenoone almost 2 years ago
Labels: enhancement

#26 - Factor out components

Issue - State: closed - Opened by nemothenoone almost 2 years ago - 1 comment
Labels: enhancement

#25 - 18 runtime gate argument external call

Pull Request - State: closed - Opened by SK0M0R0H almost 2 years ago

#24 - Optimize u and v

Pull Request - State: closed - Opened by ETatuzova almost 2 years ago

#23 - Optimize U and V evaluation in FRI

Issue - State: closed - Opened by ETatuzova almost 2 years ago

#22 - Gate argument optimisations

Issue - State: closed - Opened by Zerg1996 almost 2 years ago - 1 comment

#21 - Gas consumption profiling

Pull Request - State: closed - Opened by ETatuzova almost 2 years ago

#20 - Use mulmod instead of expmod for column rotations

Issue - State: closed - Opened by SK0M0R0H about 2 years ago - 1 comment

#19 - Gas consumption profiling

Issue - State: closed - Opened by SK0M0R0H about 2 years ago - 2 comments
Labels: enhancement

#18 - Runtime gate argument external call

Issue - State: closed - Opened by Zerg1996 about 2 years ago

#17 - Calldata gas reduce marshalling

Issue - State: closed - Opened by Zerg1996 about 2 years ago

#16 - 13 step list gas consumption update

Pull Request - State: closed - Opened by ETatuzova about 2 years ago

#15 - Added gate argument for base proof

Pull Request - State: closed - Opened by Zerg1996 about 2 years ago

#14 - Gate argument for base proof

Issue - State: closed - Opened by Zerg1996 about 2 years ago

#13 - Step list gas consumption update

Issue - State: closed - Opened by Zerg1996 about 2 years ago

#12 - Refactoring gas consumption and update placeholder verify

Pull Request - State: closed - Opened by Zerg1996 about 2 years ago

GitHub / NilFoundation/evm-placeholder-verification issues and pull requests