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
#61 - Aggregated proof verification works in Rust but not EVM
Issue -
State: open - Opened by leonardoalt 7 months ago
#61 - Aggregated proof verification works in Rust but not EVM
Issue -
State: open - Opened by leonardoalt 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
#52 - fix: Bump `revm` to 3.5.0 and fix wasm compilation issue by disabling default features
Pull Request -
State: closed - Opened by Liuhaai about 1 year ago
#52 - fix: Bump `revm` to 3.5.0 and fix wasm compilation issue by disabling default features
Pull Request -
State: closed - Opened by Liuhaai about 1 year ago
#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
#33 - [Question] verification of the aggregation circuit fails on EVM when it has instances other than the accumulator.
Issue -
State: closed - Opened by SoraSuegami over 1 year ago
- 3 comments
#33 - [Question] verification of the aggregation circuit fails on EVM when it has instances other than the accumulator.
Issue -
State: closed - Opened by SoraSuegami over 1 year ago
- 3 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
#30 - Investigate which witness commitments could be allowed to be identity
Issue -
State: open - Opened by han0110 almost 2 years ago
#30 - Investigate which witness commitments could be allowed to be identity
Issue -
State: open - 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
#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