Ecosyste.ms: Issues

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

GitHub / privacy-scaling-explorations/halo2-solidity-verifier issues and pull requests

#20 - verifyProof function as view as it does not modify storage

Pull Request - State: closed - Opened by dibi91 5 months ago - 3 comments

#20 - verifyProof function as view as it does not modify storage

Pull Request - State: closed - Opened by dibi91 5 months ago - 3 comments

#19 - fix: verifyProof function marked as view

Pull Request - State: closed - Opened by dibi91 5 months ago

#19 - fix: verifyProof function marked as view

Pull Request - State: closed - Opened by dibi91 5 months ago

#18 - Solidity verifyProof function as view

Issue - State: closed - Opened by dibi91 5 months ago - 5 comments

#18 - Solidity verifyProof function as view

Issue - State: closed - Opened by dibi91 5 months ago - 5 comments

#17 - feat: cache lookup consts vk

Pull Request - State: open - Opened by ethan-crypto 8 months ago

#17 - feat: cache lookup consts vk

Pull Request - State: open - Opened by ethan-crypto 8 months ago

#16 - chore: update readme

Pull Request - State: closed - Opened by alexander-camuto 9 months ago

#16 - chore: update readme

Pull Request - State: closed - Opened by alexander-camuto 9 months ago

#15 - what is the version of `solc`

Issue - State: closed - Opened by xiyu1984 11 months ago - 1 comment

#15 - what is the version of `solc`

Issue - State: closed - Opened by xiyu1984 11 months ago - 1 comment

#14 - Upgrade `halo2_proofs` version

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

#14 - Upgrade `halo2_proofs` version

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

#13 - Implement `BatchOpenScheme::Gwc19`

Pull Request - State: closed - Opened by han0110 about 1 year ago - 3 comments

#13 - Implement `BatchOpenScheme::Gwc19`

Pull Request - State: closed - Opened by han0110 about 1 year ago - 3 comments

#12 - chore: rebase with main

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

#11 - Avoid ambiguous and reduce dependnecy

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

#10 - Redirect to `snark-verifier` and add more context on why this is rebuilt

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

#9 - Load full vk after squeezing all challenges for circuit with many instances

Pull Request - State: closed - Opened by han0110 about 1 year ago - 2 comments

#8 - fix bug in static memory address

Pull Request - State: closed - Opened by kitounliu about 1 year ago - 2 comments

#7 - Support circuit with no instance column or instance value

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

#6 - Support circuit with no instance column or no instance values

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

#5 - Fix clippy errors

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

#4 - Loosen version requirement of `ruint` and re-export `revm`

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

#3 - Run `solc` with flag `--optimize`

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

#2 - Implement `SolidityGenerator`

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

#1 - feat: `fix_verifier_sol` to convert from yul to solidity verifier

Pull Request - State: closed - Opened by alexander-camuto over 1 year ago - 5 comments