AztecProtocol barretenberg issues

AztecProtocol / barretenberg

Apache License 2.0

138 stars 87 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Perform a single batch_mul in recursive IPA

#1023 maramihali closed 3 months ago
1
Fix cycle_scalar construction from field_t l

#1022 maramihali opened 4 months ago
0
Goblin Recursive Verifier return values

#1021 maramihali opened 4 months ago
0
Make sure witnesses are being constructed correctly in cycle_group batch_mul

#1020 codygunton opened 4 months ago
0
Consider rewriting pippenger so it can be used in IPA verification

#1019 maramihali opened 4 months ago
0
Circuit simulator should use the parallelised version of IPA verification function

#1018 maramihali opened 4 months ago
0
Missing representation of cycle_group point_at_infinity in the transcript

#1017 maramihali closed 1 month ago
2
Optimise conversion between cycle_scalar and bigfield

#1016 maramihali opened 4 months ago
0
Correctness of bigfield `pow`

#1015 codygunton opened 4 months ago
0
Improve efficiency of bigfield pow

#1014 codygunton opened 4 months ago
0
Remove honk_recursion flag

#1013 lucasxia01 opened 4 months ago
0
Make ClientIvc verifier independent of prover

#1012 ledwards2225 opened 4 months ago
0
Audit increase to wasm initial memory

#1011 ludamad opened 4 months ago
0
Recursive verifiers should be instantiated with stdlib::proof

#1010 maramihali closed 4 months ago
1
Fix `circuit_size` in ECCVM recursive verifier to maximum possible

#1009 maramihali opened 4 months ago
0
Refactor pippenger so it can also be used in the recursive setting

#1008 maramihali opened 4 months ago
0
Add IPA recursive verification to the ECCVM Recursive Verifier

#1007 maramihali closed 3 months ago
1
Constructor to convert bigfield into cycle_scalar

#1006 maramihali opened 4 months ago
0
Fix undefined behavior in serialization

#1005 codygunton opened 4 months ago
0
Fix undefined behavior exposed in scalar_multiplication.cpp.

#1004 codygunton opened 4 months ago
0
Reinstate acir-folding tests once ClientIvc intermittent failures are resolved

#1003 ledwards2225 opened 4 months ago
0
Handle constant-constant case of stdlib batch mul edge case filter

#1002 codygunton opened 4 months ago
0
Remove inefficient fallback method from wnaf_batch_mul

#1001 codygunton opened 4 months ago
0
Handle batch mul edge cases in Ultra arithmetization

#1000 codygunton opened 4 months ago
1
Get native values efficiently in bigfield `operator==`

#999 codygunton opened 4 months ago
0
Confusion in constant-nonconstant branch of bigfield `assert_equal`

#998 codygunton opened 4 months ago
1
Create relation consistency tests for ECCVM relations

#997 maramihali opened 4 months ago
0
Refactor Honk and Plonk Recursion Constraint

#996 lucasxia01 opened 4 months ago
1
Generate recursion separator challenge properly

#995 lucasxia01 opened 4 months ago
0
Improve acir_integration_tests

#994 codygunton opened 4 months ago
0
Merge subtlety in ClientIvc

#993 ledwards2225 opened 4 months ago
0
log_circuit_size cannot depend on the transcript in the recursive verifier

#992 maramihali closed 4 months ago
1
`*RecursiveVerifier.verify_proof` should receive `StdlibProof` rather than `HonkProof` as argument

#991 maramihali opened 4 months ago
2
Establish whether the concept of mini_circuit_size is needed and cleanup pattern

#990 maramihali opened 4 months ago
0
Refine access specifiers of flavor members

#989 maramihali opened 4 months ago
0
Add default recursive aggregation object

#988 lucasxia01 closed 4 months ago
0
rename decider?

#987 lucasxia01 opened 4 months ago
0
Recursive verification for TranslatorRecursiveVerifier::verifiy_translation()

#986 maramihali opened 4 months ago
0
Create a proper shared transcript interface for Translator and ECCVM

#985 maramihali opened 4 months ago
0
Investigate why adding default aggregation object adds many gates to double_verify_proof circuit

#984 lucasxia01 opened 4 months ago
0
Should circuit_size, etc.. be witnesses in Recursive VerificationKey?

#983 lucasxia01 opened 4 months ago
0
Add proof_as_fields and vk_as_fields flows for Honk

#982 lucasxia01 closed 4 months ago
0
Refactor ClientIvc

#981 ledwards2225 closed 1 month ago
1
Proper testing for translator

#980 maramihali opened 4 months ago
0
ZK for sumcheck

#979 codygunton closed 1 month ago
0
asm_macros (both ADX and without ADX version) Compute Montgomery multiplication of a, b MUL produces wrong output for large a or/and b limbs

#978 zkbitcoin opened 4 months ago
1
Optimize batching MSM in Shplemini verifier

#977 codygunton opened 5 months ago
1
Investigate Honk memory consumption (in Wasm and natively)

#976 lucasxia01 closed 2 days ago
1
Zeromorph partial quotients as a byproduct of Sumcheck

#975 iakovenkos opened 5 months ago
0
Get different contract-method name on `codegen-verifier`

#974 hpmaxi opened 5 months ago
0

Previous Next