Ecosyste.ms: Issues

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

GitHub / privacy-scaling-explorations/snark-verifier issues and pull requests

#62 - Issue with high iterations

Issue - State: open - Opened by tyshko-rostyslav 7 months ago

#62 - Issue with high iterations

Issue - State: open - Opened by tyshko-rostyslav 7 months ago

#60 - fix: fix typo

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

#60 - fix: fix typo

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

#59 - upgrade dependency

Pull Request - State: closed - Opened by hero78119 10 months ago

#59 - upgrade dependency

Pull Request - State: closed - Opened by hero78119 10 months ago

#58 - fix:cirucit->circuit

Pull Request - State: closed - Opened by AdventureSeeker987 12 months ago - 1 comment

#58 - fix:cirucit->circuit

Pull Request - State: closed - Opened by AdventureSeeker987 12 months ago - 1 comment

#57 - Add a user guide in the README

Pull Request - State: closed - Opened by ChihChengLiang 12 months ago - 1 comment

#57 - Add a user guide in the README

Pull Request - State: closed - Opened by ChihChengLiang 12 months ago - 1 comment

#56 - Make KzgDecidingKey fields public

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

#56 - Make KzgDecidingKey fields public

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

#55 - Private fields of `KzgDecider` get in the way of implementing new loaders

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

#55 - Private fields of `KzgDecider` get in the way of implementing new loaders

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

#54 - Add CI build task to check it builds for `wasm32-wasi`

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

#54 - Add CI build task to check it builds for `wasm32-wasi`

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

#53 - Compute `system_challenge_offset` correctly

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

#53 - Compute `system_challenge_offset` correctly

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

#51 - chore: fix typos

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

#51 - chore: fix typos

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

#50 - [feat] make assembly block Solidity memory safe

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

#50 - [feat] make assembly block Solidity memory safe

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

#49 - modify compile_solidity

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

#49 - modify compile_solidity

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

#48 - Install `svm-rs` with its `Cargo.lock`

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

#48 - Install `svm-rs` with its `Cargo.lock`

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

#47 - feat: change yul code into Solidity assembly

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

#47 - feat: change yul code into Solidity assembly

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

#46 - fix typo

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

#46 - fix typo

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

#45 - note about wasm

Issue - State: open - Opened by Ethan-000 over 1 year ago

#45 - note about wasm

Issue - State: open - Opened by Ethan-000 over 1 year ago

#44 - Derive `num_instance` from `instances` in CircuitExt

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

#44 - Derive `num_instance` from `instances` in CircuitExt

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

#43 - give AggregationCircuit a simple generic trait type

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

#43 - give AggregationCircuit a simple generic trait type

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

#42 - fix: modify `evm_verify` function signature

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

#42 - fix: modify `evm_verify` function signature

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

#41 - Compile error

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

#41 - Compile error

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

#40 - Upgrade `revm` to support lastest hardfork

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

#40 - Upgrade `revm` to support lastest hardfork

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

#39 - Pin `svm-rs` to `0.2.22` for CI

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

#39 - Pin `svm-rs` to `0.2.22` for CI

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

#38 - feat: add snark-verifier-sdk

Pull Request - State: closed - Opened by jonathanpwang over 1 year ago - 3 comments

#38 - feat: add snark-verifier-sdk

Pull Request - State: closed - Opened by jonathanpwang over 1 year ago - 3 comments

#37 - Assertion Failure on Example File `evm-verifier`, Might Be Platform Related

Issue - State: closed - Opened by LiuJiazheng over 1 year ago - 4 comments

#37 - Assertion Failure on Example File `evm-verifier`, Might Be Platform Related

Issue - State: closed - Opened by LiuJiazheng over 1 year ago - 4 comments

#36 - EVM verifier of original proof failed but works for aggregated proof

Issue - State: closed - Opened by DCMMC over 1 year ago - 2 comments

#36 - EVM verifier of original proof failed but works for aggregated proof

Issue - State: closed - Opened by DCMMC over 1 year ago - 2 comments

#35 - Upgrade `halo2curves` and `halo2_proofs`

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

#35 - Upgrade `halo2curves` and `halo2_proofs`

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

#34 - ecPairing contract call returns 0

Issue - State: closed - Opened by lazovicff over 1 year ago - 2 comments

#34 - ecPairing contract call returns 0

Issue - State: closed - Opened by lazovicff over 1 year ago - 2 comments

#32 - Yul compile error

Issue - State: closed - Opened by lazovicff over 1 year ago - 3 comments

#32 - Yul compile error

Issue - State: closed - Opened by lazovicff over 1 year ago - 3 comments

#31 - Question about TranscriptWrite trait

Issue - State: closed - Opened by lazovicff over 1 year ago - 2 comments

#31 - Question about TranscriptWrite trait

Issue - State: closed - Opened by lazovicff over 1 year ago - 2 comments

#29 - Stick to `num_chunk` of quotient poly calculated by constraint system

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

#29 - Stick to `num_chunk` of quotient poly calculated by constraint system

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

#28 - Solidity verifier fails for circuits with no public inputs

Issue - State: closed - Opened by lazovicff almost 2 years ago - 3 comments

#28 - Solidity verifier fails for circuits with no public inputs

Issue - State: closed - Opened by lazovicff almost 2 years ago - 3 comments

#27 - Enable `util::hash::poseidon` only when `feature = loader_halo2`

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

#26 - Unresolved Poseidon import

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

#25 - Update `halo2` and `halo2wrong` version

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

#24 - chore: update dependencies

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

#23 - Revert directly if a point is out of curve

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

#22 - Add simple documents

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

#21 - Restructure for more kind of verifier

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

#20 - Looser trait bound on impl `CostEstimation` for `Plonk`

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

#19 - Update `compile_yul` to return `None` when `solc` executable is not found

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

#18 - Pin `revm` to exact version

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

#17 - Allocate memory more smartly in `EvmLoader`

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

#16 - Add `svm-rs` and install `[email protected]` in job `test`

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

#15 - Update `EvmLoader` to generate Yul code instead of bytecode

Pull Request - State: closed - Opened by DoHoonKim8 about 2 years ago - 4 comments

#14 - Implement PCS IPA and IPA accumulation in `NativeLoader`

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

#13 - General refactor for further integration

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

#12 - Generalized `Halo2Loader`

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

#11 - Invalid elliptic curve point encoding in proof

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

#10 - Consider providing a default Aggregation Circuit

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

#9 - Re-export dependencies

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

#8 - Remove cargo patch sections and depend on the forks explicitly

Issue - State: closed - Opened by pinkiebell about 2 years ago - 4 comments

#7 - evm/loader: assertion failed: !values.is_empty()

Issue - State: closed - Opened by pinkiebell about 2 years ago - 6 comments

#6 - Load commitments of preprocessed polynomial outside accumulation

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

#5 - Rollback to pse halo2 and halo2wrong for first release

Pull Request - State: closed - Opened by han0110 over 2 years ago - 2 comments

#4 - Upgrade and pin `foundry_evm` version

Pull Request - State: closed - Opened by han0110 over 2 years ago

#3 - Add benchmark CI

Issue - State: open - Opened by han0110 over 2 years ago

#2 - Release with commitment scheme abstraction and challenge API

Issue - State: closed - Opened by han0110 over 2 years ago

#1 - Verify proof generated by `snarkjs`

Issue - State: open - Opened by han0110 over 2 years ago