issues
search
axiom-crypto
/
snark-verifier
Apache License 2.0
94
stars
36
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unable to run tests of `snark-verifier`
#66
guha-rahul
closed
2 months ago
4
using gen_evm_verifier_shplonk to generate solidity code ,but solidity too large to install
#65
tommyliu1114
closed
2 months ago
3
chore: update `ruint` version and rust toolchain
#64
jonathanpwang
closed
3 months ago
0
chore: keep old behavior of `EccInstructions::sum_with_const`
#63
jonathanpwang
closed
6 months ago
0
chore: update `ruint` version
#62
jonathanpwang
closed
8 months ago
0
chore: enable derive serde for "halo2-pse"
#61
jonathanpwang
closed
9 months ago
0
chore: use git tags for halo2-lib
#60
jonathanpwang
closed
9 months ago
0
chore: re-enable github for `halo2-pse`
#59
jonathanpwang
closed
10 months ago
0
chore: add back description and license in Cargo.toml
#58
jonathanpwang
closed
10 months ago
0
fix compile error when `halo2-pse` feature active
#57
zemse
closed
10 months ago
3
Added custom circuit support for AggregationCircuit
#56
shreyas-londhe
closed
8 months ago
1
chore: add `compile` function to `AggregationDependencyIntent`
#55
jonathanpwang
closed
10 months ago
0
problem when running the evm-verifier-with-accumulator
#54
xrqin
closed
10 months ago
0
chore: add getters to `KzgDecidingKey`
#53
jonathanpwang
closed
10 months ago
0
chore: derive serde for `KzgDecidingKey`
#52
jonathanpwang
closed
10 months ago
0
feat: dummy snark should have correct `agg_vkey_hash`
#51
jonathanpwang
closed
10 months ago
0
chore: remove `read_params` from `build_keygen_circuit_shplonk`
#50
jonathanpwang
closed
11 months ago
0
fix: `AggregationDependencyIntent` should include full `accumulator_indices`
#49
jonathanpwang
closed
11 months ago
0
[feat] update `gen_dummy_snark` to help with keygen
#48
jonathanpwang
closed
11 months ago
0
Release 0.1.6
#47
jonathanpwang
closed
11 months ago
0
`AggregationCircuit::new` should only require `svk` and not `params`
#46
jonathanpwang
opened
11 months ago
0
Opcode Not Found Error While Running `evm-verifier` Test
#45
shreyas-londhe
closed
9 months ago
1
[chore] separate `revm` import into separate feature
#44
jonathanpwang
closed
1 year ago
0
Downstream dependency making `asm` not compile in `release` mode
#43
jonathanpwang
opened
1 year ago
1
Release v0.1.7
#42
jonathanpwang
closed
10 months ago
0
[chore] fix hyperlinks in docs
#41
jonathanpwang
closed
1 year ago
0
[chore] add `cargo audit` and update dependencies
#40
jonathanpwang
closed
1 year ago
0
[feat] make assembly block Solidity memory safe
#39
jonathanpwang
closed
1 year ago
0
chore: `snark-verifier` re-exports `halo2-base`, `halo2-ecc`
#38
jonathanpwang
closed
1 year ago
0
0.1.6-rc -> 0.1.7-rc
#37
jonathanpwang
closed
1 year ago
0
[feat(sdk)] `aggregate_snarks` returns loaded proof witnesses
#36
jonathanpwang
closed
1 year ago
0
[Community Edition] Prealpha release 0.1.6
#35
jonathanpwang
closed
1 year ago
0
[feat] add `aggregate_snarks` function
#34
jonathanpwang
closed
1 year ago
0
Release 0.1.6 rc0
#33
jonathanpwang
closed
11 months ago
1
[feat] change yul code into Solidity assembly
#32
jonathanpwang
closed
1 year ago
0
Move `OptimizedPoseidonSpec` to `halo2-base`
#31
jonathanpwang
closed
1 year ago
0
feat: load `k` as witness and compute `n = 2^k` and `omega` from `k`
#30
jonathanpwang
closed
1 year ago
0
Update: use `halo2-lib` v0.4.0
#29
jonathanpwang
closed
1 year ago
0
[Update] use ff v0.13
#28
jonathanpwang
closed
1 year ago
0
Update the nightly version used
#27
mmagician
closed
1 year ago
1
[Feat] Universal verifier circuit
#26
jonathanpwang
closed
1 year ago
0
Break points lost when reading pk from file
#25
GhostOfGauss
opened
1 year ago
0
Feat/read pk buffer capacity
#24
jonathanpwang
closed
1 year ago
0
fix: save break points when generating agg circuit for first time
#23
rpalakkal
closed
1 year ago
0
feat: remove use of env vars for circuit configuration
#22
jonathanpwang
closed
1 year ago
0
Minor: merge v0.1.1 to develop
#21
jonathanpwang
closed
1 year ago
0
Add evm-aggregation verifier tests to CI
#20
jonathanpwang
closed
9 months ago
0
Release 0.1.1
#19
jonathanpwang
closed
1 year ago
0
fix: add better error messages/docs for catching empty inputs
#18
jonathanpwang
closed
1 year ago
0
feat: verify proof in release mode
#17
jonathanpwang
closed
1 year ago
0
Next