leonardoalt/fusion issues and pull requests

#86 - use powdr for proofs

Pull Request - State: open - Opened by leonardoalt 7 months ago

#85 - A possible circuit risk?

Issue - State: open - Opened by xcshuan about 1 year ago - 1 comment

#84 - use stable

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

#83 - use Nova instead of Groth16 for tx proofs

Pull Request - State: open - Opened by leonardoalt over 1 year ago

#82 - update readme

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

#81 - bump zokrates 0.8.7

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

#80 - update zokrates, ethers-rs, foundry

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

#79 - bump a bunch of deps

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

#78 - error: failed to load manifest for workspace member

Issue - State: open - Opened by hustnn over 1 year ago - 6 comments

#77 - Compile contracts on CI too

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

#76 - Bump zokrates_field from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#75 - Bump anvil from `550c548` to `bca5d47`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#74 - try self hosted CI

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

#73 - update README

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

#72 - Bump zokrates_proof_systems from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#71 - Bump zokrates_abi from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#70 - Bump zokrates_ark from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#69 - Bump zokrates_interpreter from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#68 - Bump zokrates_ast from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#67 - Rename

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

#66 - Add `fee` to transaction

Issue - State: open - Opened by leonardoalt almost 2 years ago

#65 - Clean up TODOs in the code

Issue - State: open - Opened by leonardoalt almost 2 years ago

#65 - Clean up TODOs in the code

Issue - State: open - Opened by leonardoalt almost 2 years ago

#64 - Support withdraws

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

#63 - end to end deposit tests

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

#62 - increase amt of txs for e2e tests

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

#61 - Write e2e deposit tests

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#60 - deposit

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

#59 - Initial idea of deposit function to L1 contract

Pull Request - State: closed - Opened by r0qs almost 2 years ago - 1 comment

#58 - put circuit files paths in config too

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

#57 - converge on one Poseidon lib

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

#56 - fix underconstrained part of circuits

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

#55 - change return type of rpc tx submission

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

#54 - use config in wallet too

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

#53 - More tests

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

#52 - Bump zokrates_interpreter from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#51 - add circuit and proving key paths to config file

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#50 - Bump zokrates_field from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#49 - Bump anvil from `b454567` to `ebe1b45`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#48 - Bump zokrates_ark from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#47 - Bump zokrates_ast from 0.8.3 to 0.8.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#46 - End to end test

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

#45 - Circuit is underconstrained

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#44 - Bump toml from 0.6.0 to 0.7.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#43 - Bump clap from 4.1.3 to 4.1.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#42 - Bump tokio from 1.24.2 to 1.25.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#41 - Bump futures from 0.3.25 to 0.3.26

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#40 - Add simple config

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

#39 - Bump clap from 4.1.1 to 4.1.2

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#38 - Bump ethers-core from `e9a808e` to `0116130`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies

#37 - Bump ethers from `e9a808e` to `0116130`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#36 - replace RPC library and make parallel proofs

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

#35 - prepare verifier API to receive a block instead of tx

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

#34 - Bump clap from 4.0.32 to 4.1.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#33 - Bump ethers-core from `0187bed` to `b8fa524`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#32 - Bump ethers from `0187bed` to `b8fa524`

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#31 - Bump tokio from 1.24.1 to 1.24.2

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#30 - Add cloning and building minimal instructions

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

#29 - Compress tx proofs into batch proof

Issue - State: open - Opened by leonardoalt almost 2 years ago

#28 - split prover

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

#27 - update done items

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

#26 - update readme

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

#25 - Full test

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

#24 - cleanup

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#23 - fix prime field element conversion

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

#22 - Multi key Merkle proofs

Issue - State: open - Opened by leonardoalt almost 2 years ago

#21 - Recipient proof

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

#20 - Baby jubjub verification

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

#19 - Sync Poseidon implementation

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#18 - use baby jubjub in the signer

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

#17 - organize workspace

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

#16 - export bindings

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

#15 - use zokrates verifier

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

#14 - Rust CI.

Pull Request - State: closed - Opened by chriseth almost 2 years ago - 1 comment

#13 - CI setup

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#12 - Support L1 deposits

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#11 - Proof should have multiple transactions

Issue - State: open - Opened by leonardoalt almost 2 years ago

#10 - Signer should support Baby Jubjub

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#9 - Check signatures in the snark

Issue - State: closed - Opened by leonardoalt almost 2 years ago

#8 - Use SNARK proofs for L1 verification

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

#7 - Write snark tests

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

#6 - Iterator to root.

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

#5 - Implement proof verification

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

#4 - Use a Sparse Merkle Tree (SMT) as the proper state accordingly

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago - 1 comment

#3 - Create LICENSE.md

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

#2 - Sign, verify and send txs

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

#1 - sign txs

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

GitHub / leonardoalt/fusion issues and pull requests