Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Complete bn254 bindings implementation #3

Draft
wants to merge 13 commits into
base: wasm_kzg_prover
Choose a base branch
from
Draft

Complete bn254 bindings implementation #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
7522edb
Add poseidon for bn254
gabrielbosio Mar 12, 2024
ccbe340
Add poseidon for bn254
gabrielbosio Mar 12, 2024
7a84f65
Add proof as JSON function
gabrielbosio Mar 13, 2024
783c6d5
Return index with proof
gabrielbosio Mar 13, 2024
c8277d2
Adapt wasm prover to use bn254
gabrielbosio Mar 14, 2024
0016ebb
Implement serialize in bn254 proof
gabrielbosio Mar 14, 2024
64ec8fd
Add srs serialization
gabrielbosio Mar 14, 2024
5665fb8
Log verifier srs
gabrielbosio Mar 14, 2024
4581f34
Log srs depth
gabrielbosio Mar 14, 2024
41336a5
Hardcode bn254 srs depth
gabrielbosio Mar 14, 2024
4a7303f
Serialize public inputs as limbs
gabrielbosio Mar 14, 2024
ac4d3a9
Update kimchi
gabrielbosio Mar 14, 2024
dee8631
Expose bn254 Poseidon
gabrielbosio Apr 18, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion MINA_COMMIT
View file
Open in desktop
412,899 changes: 206,754 additions & 206,145 deletions compiled/node_bindings/o1js_node.bc.cjs
View file
Open in desktop
2 changes: 1 addition & 1 deletion compiled/node_bindings/o1js_node.bc.map
View file
Open in desktop
4,738 changes: 2,265 additions & 2,473 deletions compiled/node_bindings/plonk_wasm.cjs
View file
Open in desktop
1,503 changes: 732 additions & 771 deletions compiled/node_bindings/plonk_wasm.d.cts
View file
Open in desktop
Binary file modified compiled/node_bindings/plonk_wasm_bg.wasm
View file
Open in desktop
Binary file not shown.
1,112 changes: 546 additions & 566 deletions compiled/node_bindings/plonk_wasm_bg.wasm.d.ts
View file
Open in desktop
74 changes: 37 additions & 37 deletions compiled/web_bindings/o1js_web.bc.js
View file
Open in desktop
2,649 changes: 1,295 additions & 1,354 deletions compiled/web_bindings/plonk_wasm.d.ts
View file
Open in desktop
4,651 changes: 2,221 additions & 2,430 deletions compiled/web_bindings/plonk_wasm.js
View file
Open in desktop
Binary file modified compiled/web_bindings/plonk_wasm_bg.wasm
View file
Open in desktop
Binary file not shown.
1,114 changes: 547 additions & 567 deletions compiled/web_bindings/plonk_wasm_bg.wasm.d.ts
View file
Open in desktop
529 changes: 528 additions & 1 deletion crypto/constants.ts
View file
Open in desktop
13 changes: 10 additions & 3 deletions crypto/poseidon.ts
View file
Open in desktop
176 changes: 0 additions & 176 deletions kimchi/js/bindings-curve.js
View file
Open in desktop

This file was deleted.

506 changes: 0 additions & 506 deletions kimchi/js/bindings-field.js
View file
Open in desktop

This file was deleted.

91 changes: 0 additions & 91 deletions kimchi/js/bindings-vector.js
View file
Open in desktop

This file was deleted.

1,382 changes: 0 additions & 1,382 deletions kimchi/js/bindings.js
View file
Open in desktop

This file was deleted.

50 changes: 0 additions & 50 deletions kimchi/js/js_backend/vector.js
View file
Open in desktop

This file was deleted.

1,192 changes: 0 additions & 1,192 deletions kimchi/js/test/bindings_js_test.ml
View file
Open in desktop

This file was deleted.

1,495 changes: 0 additions & 1,495 deletions kimchi/wasm/Cargo.lock
View file
Open in desktop

This file was deleted.

80 changes: 0 additions & 80 deletions kimchi/wasm/Cargo.toml
View file
Open in desktop

This file was deleted.

244 changes: 0 additions & 244 deletions kimchi/wasm/src/arkworks/bn254_fp.rs
View file
Open in desktop

This file was deleted.

244 changes: 0 additions & 244 deletions kimchi/wasm/src/arkworks/bn254_fq.rs
View file
Open in desktop

This file was deleted.

261 changes: 0 additions & 261 deletions kimchi/wasm/src/arkworks/group_affine.rs
View file
Open in desktop

This file was deleted.

36 changes: 0 additions & 36 deletions kimchi/wasm/src/arkworks/mod.rs
View file
Open in desktop

This file was deleted.

273 changes: 0 additions & 273 deletions kimchi/wasm/src/bn254_fp_plonk_index.rs
View file
Open in desktop

This file was deleted.

44 changes: 0 additions & 44 deletions kimchi/wasm/src/circuit.rs
View file
Open in desktop

This file was deleted.

222 changes: 0 additions & 222 deletions kimchi/wasm/src/gate_vector.rs
View file
Open in desktop

This file was deleted.

114 changes: 0 additions & 114 deletions kimchi/wasm/src/lib.rs
View file
Open in desktop

This file was deleted.

273 changes: 0 additions & 273 deletions kimchi/wasm/src/pasta_fp_plonk_index.rs
View file
Open in desktop

This file was deleted.

244 changes: 0 additions & 244 deletions kimchi/wasm/src/pasta_fq_plonk_index.rs
View file
Open in desktop

This file was deleted.

967 changes: 0 additions & 967 deletions kimchi/wasm/src/plonk_proof.rs
View file
Open in desktop

This file was deleted.

1,074 changes: 0 additions & 1,074 deletions kimchi/wasm/src/plonk_verifier_index.rs
View file
Open in desktop

This file was deleted.

113 changes: 0 additions & 113 deletions kimchi/wasm/src/poly_comm.rs
View file
Open in desktop

This file was deleted.

268 changes: 0 additions & 268 deletions kimchi/wasm/src/srs.rs
View file
Open in desktop

This file was deleted.

174 changes: 0 additions & 174 deletions kimchi/wasm/src/wasm_vector.rs
View file
Open in desktop

This file was deleted.

99 changes: 97 additions & 2 deletions lib/provable-snarky-bn254.ts
View file
Open in desktop
69 changes: 64 additions & 5 deletions ocaml/lib/snarky_bindings.ml
View file
Open in desktop
23 changes: 22 additions & 1 deletion ocaml/lib/snarky_bindings.mli
View file
Open in desktop
29 changes: 22 additions & 7 deletions ocaml/o1js_constants.ml
View file
Open in desktop