Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / NilFoundation/mina-state-proof issues and pull requests

#103 - Fix evm-placeholder-verification npm package version #102

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

#102 - Fix evm-placeholder-verification npm package version

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

#101 - Ledger hash fix

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

#100 - Test our Mina pipeline and their own zk App guide

Issue - State: closed - Opened by alexandra-mara over 1 year ago

#99 - ledger params update #97

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

#98 - Remove duplicated interfaces for verifiers

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

#97 - Ledger circuits params update

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

#96 - hardhat-deploy-ethers version changed

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

#95 - Conflicted packages

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

#94 - Transaction gas limit exceeds block gas limit for our own examples

Issue - State: open - Opened by alexandra-mara over 1 year ago - 3 comments

#93 - Return the dummy keys to /examples/mina-zk-app

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

#92 - Update error messages in get_mina_state.py

Issue - State: open - Opened by alexandra-mara over 1 year ago

#91 - M1/M2 chipsets compatibility with older npm versions

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

#90 - Small changes related to changes in zk

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

#88 - Added PM verifier contracts & deployment

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

#87 - Transfer verifier contracts from Proof Market repo

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

#86 - Update new versions of hardhat-deploy

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

#85 - update circuit params for tasks

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

#84 - Circuits parameters are different for tests and tasks

Issue - State: closed - Opened by SK0M0R0H over 1 year ago
Labels: bug

#83 - Changing plonk_variable template parameter type.

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

#81 - 80 update account inclusion proof

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

#80 - Update account inclusion proof

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

#79 - Update to new input format

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

#78 - Public input processing

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

#77 - Minor fix in aux proof gen

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

#76 - Changes related to Expression class in zk.

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

#73 - update description of varibale base scalar multiplication

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

#72 - Move on to Lorem Ipsum-based implementation

Issue - State: open - Opened by nemothenoone over 1 year ago
Labels: enhancement

#71 - Account inclusion proof fixes

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

#70 - e2e-demo fixes

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

#69 - 60 new api for placeholder verifier

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

#68 - cleaned up packages.json

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

#67 - Fixes incorrect dependency section and removing ganache dependency

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

#66 - sync with master branch

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

#65 - Moving dependencies to dev, removing ganache dependency

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

#64 - clean up packages.json

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

#63 - Removing .npmrc and updating to use public npm registry

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

#62 - remove ganache from repository

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

#61 - Chain selection rule logic

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

#60 - Update contracts to use new API for placeholder verifier

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

#59 - 57 move testing framework to hardhat

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

#57 - Move testing framework to hardhat from python

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

#56 - Mina zkApp State and evm verification

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

#55 - Blueprint 102 branch compatibility

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

#54 - EVM State Management

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

#53 - Scalar Multiplication description updated with range checks.

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

#52 - Update evm-state

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

#51 - Circuit serialization init

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

#50 - Implement json circuit description and public input

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

#49 - Workflow for a proof market interaction

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

#48 - Create LICENSE

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

#45 - Is aux-proof-verify implemented in Solidity yet?

Issue - State: closed - Opened by xhliu about 2 years ago - 2 comments
Labels: question

#44 - Implement Huff usage to reduce verification cost

Issue - State: open - Opened by wanghs09 over 2 years ago - 2 comments
Labels: enhancement

#43 - State proof sequence maintenance

Issue - State: closed - Opened by nemothenoone over 2 years ago
Labels: enhancement

#41 - Update In-EVM FRI verification

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

#40 - Transcript implementation updated

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

#39 - Update transcript scheme

Issue - State: closed - Opened by ilyas675 almost 3 years ago
Labels: enhancement

#36 - [Question] Mina SNARK verification cost on Ethereum

Issue - State: closed - Opened by lampardlamps almost 3 years ago - 6 comments
Labels: question

#35 - Mina snapp verification question

Issue - State: closed - Opened by frisitano almost 3 years ago - 2 comments
Labels: question

#34 - Add support of arbitrary byte container input/output for pack

Issue - State: closed - Opened by nkaskov almost 3 years ago
Labels: enhancement

#33 - Placeholder Circuit Performance Estimation

Issue - State: closed - Opened by SK0M0R0H about 3 years ago
Labels: research

#32 - Implement Redshift proof marshalling type

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#31 - Implement Merkle proof marshalling type

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#30 - Simultaneous Doubling for MSM

Issue - State: closed - Opened by SK0M0R0H about 3 years ago
Labels: research

#29 - Fixed-Based Scalar Multiplication Circuit

Issue - State: closed - Opened by SK0M0R0H about 3 years ago
Labels: documentation, research

#28 - Implement Pickles SNARK verification

Issue - State: closed - Opened by nkaskov about 3 years ago - 1 comment
Labels: enhancement

#27 - Add pack and unpack algorithms for algebra

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#26 - Add pack and unpack algorithms for multiprecision

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#25 - RedShift Description

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#24 - EC Arithmetic Circuit

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#23 - Poseidon Circuit

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#22 - Permutations Cosets

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: research

#21 - RedShift PlookUp

Issue - State: closed - Opened by nkaskov about 3 years ago - 1 comment
Labels: documentation, research

#20 - RedShift Commitment Details

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: research

#19 - RedShift Neighboring Row Use

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#17 - LookUp/PlooKUp

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: research

#16 - Mina Arithmetic Сircuits

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#15 - Mina Design Document Clarification

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation

#14 - MSM Circuit

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#13 - Mina Draft Document

Issue - State: closed - Opened by nkaskov about 3 years ago - 1 comment
Labels: documentation, research

#12 - Mina Verification Details

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: documentation, research

#11 - Add pack and unpack implementation for Placeholder types

Issue - State: open - Opened by nkaskov about 3 years ago
Labels: enhancement

#10 - Implement transcript and Fiat–Shamir heuristic

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#9 - Implement FRI commitment scheme

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#8 - Generalize marshalling interface

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#7 - Add support of non-standard types hashing

Issue - State: open - Opened by nkaskov about 3 years ago
Labels: enhancement

#6 - Implement assembly-based backend

Issue - State: closed - Opened by nkaskov about 3 years ago - 1 comment
Labels: performance

#5 - Generalize modular adaptor internals

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: performance

#4 - Investigate possibility of constexpr gates and constraints implementation

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: performance

#3 - Generalize polynomial representation

Issue - State: closed - Opened by nkaskov about 3 years ago
Labels: enhancement

#2 - Implement PLONK syntax support

Issue - State: closed - Opened by nkaskov about 3 years ago - 1 comment
Labels: enhancement

#1 - Implement Redshift Proof System

Issue - State: closed - Opened by nkaskov about 3 years ago - 6 comments
Labels: enhancement