Search results

Make gas estimation work when calling pairing precompile

Status: Open.

#67 In lurk-lab/solidity-verifier;

· storojs72 opened on Mar 13, 2024

Implement a better MSM

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In lurk-lab/solidity-verifier;

· huitseeker opened on Mar 12, 2024

Enhancement: support for the solidity-verifier

enhancementNew feature or requestNew feature or request

Status: Open.

#64 In lurk-lab/solidity-verifier;

· huitseeker opened on Mar 12, 2024

Test HyperKZG implementation on arbitrary/various inputs

Status: Open.

#61 In lurk-lab/solidity-verifier;

· storojs72 opened on Mar 5, 2024

Test IPA verification with polynomials of 11 - 14 variables

Status: Open.

#52 In lurk-lab/solidity-verifier;

· storojs72 opened on Feb 7, 2024

Verification of Nova proofs generated by arbitrary Lurk program

Status: Open.

#47 In lurk-lab/solidity-verifier;

· storojs72 opened on Jan 10, 2024

an idea to reduce gas cost by converting a Nova proof to other proof system

Status: Open.

#41 In lurk-lab/solidity-verifier;

· k-moonblade opened on Nov 17, 2023

Off-chain preprocessing and mandatory on-chain computations

gas-cost-reduction

Status: Open.

#40 In lurk-lab/solidity-verifier;

· storojs72 opened on Nov 1, 2023

Analyse "cost smells"

gas-cost-reduction

Status: Open.

#34 In lurk-lab/solidity-verifier;

· storojs72 opened on Oct 17, 2023

Gas cost reduction

gas-cost-reduction

TODO

Status: Open.

#29 In lurk-lab/solidity-verifier;

· storojs72 opened on Sep 21, 2023

Implement generator of Nova proof and verifier's key serialised to JSONs

good first issueGood for newcomersGood for newcomers

Status: Open.

#24 In lurk-lab/solidity-verifier;

· storojs72 opened on Aug 8, 2023

mid-level issues reported by slither

Status: Open.

#23 In lurk-lab/solidity-verifier;

· huitseeker opened on Jul 12, 2023