AtHeartEngineer/barretenberg_cuda
1
0
Fork 0
mirror of https://github.com/pseXperiments/barretenberg_cuda.git synced 2026-05-01 03:00:05 -04:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 338e09d0b5 Init barretenberg_cuda master DoHoonKim8 2024-06-26 06:33:04 +00:00
  • 947c5552ee fix(avm): update codegen (#7178) Ilyas Ridhuan 2024-06-25 18:28:08 +01:00
  • c2984dfc92 feat: conventional lookups using log-deriv (#7020) ledwards2225 2024-06-25 08:41:46 -07:00
  • b60b716851 feat: Enable merge recursive verifier in Goblin recursive verifier (#7182) maramihali 2024-06-25 16:07:59 +01:00
  • e7eb22d845 feat: Shplonk revival in ECCVM (#7164) maramihali 2024-06-25 15:03:35 +01:00
  • 380abfd853 chore(avm): separate some fixed tables (#7163) Facundo 2024-06-24 17:46:12 +01:00
  • e4e9d15ebf fix(avm): reenable tag error sload (#7153) Ilyas Ridhuan 2024-06-24 11:16:47 +01:00
  • 1c8086de39 fix(avm): re-enable ext call test (#7147) Ilyas Ridhuan 2024-06-24 11:16:34 +01:00
  • 677e9d4263 refactor: indirects and read/write slices (#7082) Ilyas Ridhuan 2024-06-21 17:38:39 +01:00
  • a40d2c541a chore: take the PCS out of Zeromorph and refactor tests (#7078) maramihali 2024-06-21 14:47:55 +01:00
  • 4dd13cfd75 fix: bug fixing bench prover test (#7135) Jean M 2024-06-21 11:49:15 +02:00
  • 205a628864 feat(avm): include bb-pilcom in monorepo (#7098) Maddiaa 2024-06-20 17:49:51 +01:00
  • 7198e7f733 feat: added prove_output_all flow for honk (#6869) Lucas Xia 2024-06-20 12:28:40 -04:00
  • a77104f575 chore(avm): renamings and comments (#7128) Facundo 2024-06-20 11:13:07 +01:00
  • 2d7b8b2457 chore: Ultra flavor cleanup (#7070) ledwards2225 2024-06-19 14:09:53 -07:00
  • d5bbe237b9 feat: Several updates in SMT verification module (#7105) Sarkoxed 2024-06-19 20:10:40 +03:00
  • 9a5a0febee fix: Fix bug for a unit test in full proving mode repated to MSM (#7104) Jean M 2024-06-19 18:22:24 +02:00
  • 19c5bef4ae chore: Remove unneeded public input folding (#7094) ledwards2225 2024-06-19 09:03:24 -07:00
  • 1592f17694 chore: reads the return data (#6669) guipublic 2024-06-19 16:54:38 +02:00
  • fbc434742a test: Create workflow for full AVM tests (#7051) Jean M 2024-06-19 15:02:29 +02:00
  • b47a9ea8c2 chore(avm): remove avm prefix from pil and executor (#7099) Maddiaa 2024-06-19 07:26:21 +01:00
  • cb8df49c66 feat(avm): cpp msm changes (#7056) Ilyas Ridhuan 2024-06-18 16:56:52 +01:00
  • e11ee6ce3c chore(master): Release 0.43.0 (#6872) Aztec Bot 2024-06-18 07:46:34 -04:00
  • 08121ebf10 feat: SMT Verifier for Ultra Arithmetization (#7067) Sarkoxed 2024-06-17 20:33:29 +03:00
  • 0760409480 feat(avm-simulator): msm blackbox (#7048) Ilyas Ridhuan 2024-06-17 16:29:10 +01:00
  • 7667a87926 fix: Fix avm unit test with proving by passing the public_inputs (#7062) Jean M 2024-06-17 14:40:42 +02:00
  • f0aaa87677 chore: lookups cleanup/documentation (#7002) ledwards2225 2024-06-14 04:41:34 -07:00
  • 3484a04d3b fix: stop squashing storage accesses in avm simulator - all need to be validated in kernel (#7036) David Banks 2024-06-13 16:46:50 -04:00
  • c6c7a20dc2 feat: Add gate profiler for noir circuits (#7004) Álvaro Rodríguez 2024-06-13 17:39:50 +02:00
  • e209652734 test: Add negative tests for cast and U128 multiplication related to TWO_LINE_OP_NO_OVERLAP (#7041) Jean M 2024-06-13 14:20:16 +02:00
  • 9cf627c8a0 test(avm): fix proving for kernel tests (#7033) Facundo 2024-06-13 00:39:10 +01:00
  • 2eefc2e679 chore: bb repo warning (#7023) ludamad 2024-06-12 13:12:22 +01:00
  • 7416743c58 fix: Initialize side_effect_counter based on the initial value passed to builder (#7017) Jean M 2024-06-12 13:45:27 +02:00
  • 9d474ff359 chore(bb): hide debug() logs under --debug flag (#7008) Facundo 2024-06-12 10:55:17 +01:00
  • 6cd5fe770f fix(avm): correctly generate public inputs in verifier (#7018) Facundo 2024-06-11 21:47:00 +01:00
  • 8bc73048d4 chore: Small fixes for the tube flows (#7014) maramihali 2024-06-11 19:39:20 +01:00
  • fe2025566d feat: ecadd op code (#6906) Ilyas Ridhuan 2024-06-11 16:42:49 +01:00
  • 41d5c8a3a8 feat(avm): plumb start side effect counter in circuit (#7007) Facundo 2024-06-11 15:31:33 +01:00
  • 7d834cfdad feat: flows and tests for the tube component (#6934) maramihali 2024-06-11 10:34:51 +01:00
  • 315f27bf8f feat(avm): gas remaining range check and handling of out of gas (#6944) Jean M 2024-06-11 08:52:31 +02:00
  • 3d60d29eab fix: Bugfix for Keccak opcode related to reading bytes from input (#6989) Jean M 2024-06-10 16:55:58 +02:00
  • f6dc250492 chore(avm): add debugging info and trace dump (#6979) Facundo 2024-06-10 13:23:09 +01:00
  • f01aa062e1 feat: avm e2e nested call + alu fix + cast fix (#6974) Maddiaa 2024-06-07 22:25:40 +01:00
  • 959d58582f feat: affine_element read/write with proper handling of point at infinity (#6963) ledwards2225 2024-06-07 12:01:46 -07:00
  • 97e08f86ee feat(avm): e2e proving of storage (#6967) David Banks 2024-06-07 11:28:12 -04:00
  • d01ef0c734 feat(avm): indirect support for kernel output opcodes (#6962) Maddiaa 2024-06-07 13:33:40 +01:00
  • e275eb2e70 feat: Support disabling aztec vm in non-wasm builds (#6965) Cody Gunton 2024-06-07 11:59:27 +01:00
  • 4442c231ca feat: contract storage reads serialize with side effect counter (#6961) David Banks 2024-06-07 06:02:37 -04:00
  • a23059bd77 feat(avm): get contract instance now works e2e with avm proving (#6911) David Banks 2024-06-07 05:25:36 -04:00
  • 1dd15b6961 fix: Fixing 0 naf (#6950) Innokentii Sennovskii 2024-06-07 10:11:50 +01:00
  • e172171cbf feat: SMT Standard Circuit separation (#6904) Sarkoxed 2024-06-06 16:54:00 +03:00
  • a2fdf8d3aa feat(bb): stack traces for check_circuit (#6851) ludamad 2024-06-06 14:38:09 +01:00
  • 00382a1ea9 chore: fix issue #6929 (off-by-one error in UltraCircuitBuilder::create_range_constraint) (#6931) Zachary James Williamson 2024-06-06 14:29:02 +01:00
  • 6133694f3d feat(avm): indirect support for kernel read opcodes (#6940) Maddiaa 2024-06-06 14:25:26 +01:00
  • 8b9827e287 feat: Sync from noir (#6801) Aztec Bot 2024-06-06 08:12:00 -04:00
  • fbf56a6ada fix: Fix for the flaky issue (I hope) (#6923) Innokentii Sennovskii 2024-06-06 09:37:17 +01:00
  • 43cfa7b3d1 feat: Standard form for cycle_group (#6915) Innokentii Sennovskii 2024-06-05 17:41:52 +01:00
  • ee3a2c1b65 fix: Fix client ivc incorrect srs size issue and parallelise srs generation for grumpkin (#6913) Innokentii Sennovskii 2024-06-05 17:36:43 +01:00
  • 370d22dbf4 feat(avm): revert opcode (#6909) Ilyas Ridhuan 2024-06-05 17:27:40 +01:00
  • 10e1d15328 feat(avm): use hints in gas accounting (circuit) (#6895) Facundo 2024-06-05 17:24:43 +01:00
  • 0c9c444fca feat: Add standard form function to biggroup (#6899) Innokentii Sennovskii 2024-06-05 16:42:21 +01:00
  • 6e3c707feb fix: dirty merge 6880 (#6905) Maddiaa 2024-06-05 15:51:31 +01:00
  • 65f5bbf418 feat(avm): e2e send l1 msg (#6880) Maddiaa 2024-06-05 15:33:02 +01:00
  • 0251a24437 test(avm): Modify unit test to have a calldatacopy over 4 elements (#6893) Jean M 2024-06-05 16:03:47 +02:00
  • 321ce3350f feat: SMT Verification Module Update (#6849) Sarkoxed 2024-06-05 16:46:54 +03:00
  • e7457a4944 feat(avm): plumb externalcall hints (#6890) Facundo 2024-06-05 14:43:15 +01:00
  • 6d7f92005f chore: Opcodes l2gasleft and dagasleft return value with tag ff (#6896) Jean M 2024-06-05 15:02:07 +02:00
  • af9ce13a18 fix(avm): Bugfix related to pc increment in calldatacopy of avm circuit (#6891) Jean M 2024-06-05 15:00:53 +02:00
  • 7c43528036 fix: Biggroup batch mul handles collisions (#6780) Cody Gunton 2024-06-05 13:05:19 +01:00
  • 3a16dd9c7d feat(avm): nullifier non exist (#6877) Maddiaa 2024-06-05 12:02:16 +01:00
  • f393056fd7 feat(avm): l2gasleft and dagasleft opcodes (#6884) Jean M 2024-06-05 00:12:33 +02:00
  • 51d0690705 feat(avm): add get_contract_instance (#6871) Ilyas Ridhuan 2024-06-04 21:50:14 +01:00
  • cafe8e35b3 feat(avm): deserialise execution hints in bb main (#6848) Maddiaa 2024-06-04 20:53:20 +01:00
  • 5c1e1ebe31 chore(avm): Gas alignments with simulator (#6873) Jean M 2024-06-04 18:26:33 +02:00
  • 741e48026b docs(avm): Comments in pil file related to range checks of addresses (#6837) Jean M 2024-06-04 18:15:51 +02:00
  • f5b644c93e chore(master): Release 0.42.0 (#6572) Aztec Bot 2024-06-04 11:00:56 -04:00
  • 539286d224 feat(avm): add storage address kernel opcode (#6863) Ilyas Ridhuan 2024-06-04 14:01:31 +01:00
  • 53ecbbb493 feat(avm): plumb execution hints from TS to AVM prover (#6806) David Banks 2024-06-04 07:24:42 -04:00
  • d7a0bef747 feat: avm unconstrained external call (#6846) Ilyas Ridhuan 2024-06-04 11:17:56 +01:00
  • ce2b2de143 chore(ci): ensure ad-hoc apt doesnt time out (#6755) ludamad 2024-06-03 23:56:02 +01:00
  • 046932148d chore: tool to analyze C++ compilation time (#6823) ludamad 2024-06-03 22:56:10 +01:00
  • c023dffc12 feat: new test program for verifying honk (#6781) Lucas Xia 2024-06-03 14:09:46 -04:00
  • cf5935a384 feat(avm executor): kernel outputs & execution hints in executor (#6769) Maddiaa 2024-06-03 18:20:10 +01:00
  • dde7c28c19 feat: Add goblin recursive verifier to ClientIVC recursive verifier (#6811) ledwards2225 2024-06-03 07:36:36 -07:00
  • 5587e11f3e chore: reduce compilation by breaking up acir types.hpp (#6816) ludamad 2024-06-03 10:00:52 +01:00
  • 19c5739744 chore: delete spike vm (#6818) Maddiaa 2024-06-02 20:55:39 +01:00
  • 2fec82d134 chore: fix compilation error due to missing import (#6815) just-mitch 2024-06-01 20:24:14 +02:00
  • bc8312e3d0 fix: Run more Bb CI (#6812) Cody Gunton 2024-05-31 20:40:32 -04:00
  • d130ec6eba chore: evaluate expressions in constant gen (#6813) Facundo 2024-06-01 01:39:03 +01:00
  • 257b0829b4 feat: Goblin Recursive Verifier (#6778) maramihali 2024-05-31 21:17:21 +01:00
  • 49488b0d94 feat: Complete ECCVM recursive verifier (#6720) maramihali 2024-05-31 20:20:02 +01:00
  • 982be493cf feat: cycle scalar <> bigfield interactions (#6744) maramihali 2024-05-31 20:02:54 +01:00
  • c924f1fe4f feat(avm): JUMPI opcode in AVM circuit (#6800) Jean M 2024-05-31 18:55:36 +02:00
  • 70083cfdb5 feat!: integrate AVM proving (#6775) Facundo 2024-05-31 15:09:36 +01:00
  • e5575e298b feat: ClientIvc recursive verifier (#6721) ledwards2225 2024-05-31 06:46:34 -07:00
  • f079b403e3 chore(avm): better error msgs and some cpp nits (#6796) Facundo 2024-05-31 14:36:54 +01:00
  • 1d20a71d04 feat(avm): in vm static gas accounting (#6542) Maddiaa 2024-05-31 13:11:49 +01:00
  • b0577d81cb fix: refreshing constants (#6786) Jan Beneš 2024-05-31 13:05:08 +02:00
  • 8b8da3e7fd feat: enable honk_recursion through acir (#6719) Lucas Xia 2024-05-30 17:53:20 -04:00
  • 907f757d12 feat(avm): pedersen ops (#6765) Ilyas Ridhuan 2024-05-30 18:26:13 +01:00