43 Commits

Author SHA1 Message Date
dmpierre
953740b843 chore: update deps and imports 2025-08-27 15:02:00 +02:00
dmpierre
d60120eaae chore: update readmes and wasm browser tests 2025-06-29 17:28:29 +02:00
dmpierre
9754a5113f chore: unused import warning, clean last warnings 2025-06-29 16:46:30 +02:00
dmpierre
0802f79ba0 chore: clippy 2025-06-29 16:40:43 +02:00
dmpierre
b7389fad82 chore: add MIT license 2025-06-27 12:02:51 +01:00
winderica
78ed6a4797 Remove nonce from tx 2025-06-26 18:05:32 +01:00
dmpierre
61390724d0 fix: apply update of block struct to previous tests 2025-06-25 14:55:46 +01:00
dmpierre
e4b6d738cd test: add sha client circuit 2025-06-25 12:59:47 +01:00
dmpierre
699967c411 chore: remove cubic circuit from test 2025-06-25 12:59:08 +01:00
winderica
e77b09f613 Mock contract impl & aggregator benchmarks 2025-06-23 09:56:19 +01:00
dmpierre
637b941e66 test: test client circuit size with sha 2025-06-09 17:50:15 +02:00
dmpierre
b63a13ca7f test: update wasm test constant and correct params size 2025-06-04 16:01:51 +02:00
dmpierre
41abbeb6d1 test: serialize params 2025-06-04 14:41:44 +02:00
dmpierre
adc6cf6b9d test: add mem bench 2025-06-03 17:33:23 +02:00
dmpierre
6adcf485fc bench: folding time 2025-06-03 12:59:36 +02:00
dmpierre
2ff4001b50 chore: make it generic over n transactions 2025-06-02 17:44:49 +02:00
dmpierre
305a7f4010 test: additional tests on client circuit 2025-06-02 12:13:06 +02:00
dmpierre
929e42f614 test: finish full sender - receiver client test 2025-06-02 11:43:36 +02:00
dmpierre
67553f27d6 test: update client circuit test 2025-05-31 12:20:34 +02:00
dmpierre
1233941953 chore: merging a few imports 2025-05-30 16:03:04 +02:00
dmpierre
319296fc5d test: test on correct inputs user circuit 2025-05-30 15:44:19 +02:00
dmpierre
20401681b4 feat: user circuit - 68k constraints for 5 tx per fold step 2025-05-30 14:47:10 +02:00
dmpierre
418d5ad037 chore: handle dummy transaction, update cur processed tx index and
conditionally enforce check if dummy tx
2025-05-30 13:26:31 +02:00
dmpierre
4c33d0fa9a feat: circuit takes in vector of transactions to process 2025-05-30 12:19:13 +02:00
dmpierre
804ff45a2b test: test client circuit - single transaction 2025-05-30 11:24:21 +02:00
dmpierre
8d7032e0a5 chore: AllocVar for UserAux 2025-05-30 10:11:34 +02:00
dmpierre
0f21c79ae1 test: finish todo on initializing client aux inputs 2025-05-29 18:09:37 +02:00
dmpierre
7282a41d3e chore: addition with reference 2025-05-29 17:12:32 +02:00
dmpierre
993dad4d54 chore: update user circuit with block number and tx index constraints 2025-05-29 17:11:25 +02:00
dmpierre
2a9e30e541 chore: add index when checking tx membership 2025-05-29 15:21:01 +02:00
dmpierre
7e022e8f92 chore: start wasm test on user circuit 2025-05-29 12:16:04 +02:00
dmpierre
c33ffa6e51 feat: user circuit generic over the accumulator 2025-05-29 11:49:58 +02:00
dmpierre
4f9a815c40 feat: user circuit 2025-05-29 11:38:03 +02:00
dmpierre
e34a09df11 chore: continue client circuit 2025-05-28 17:51:52 +02:00
dmpierre
30f82e868b chore: remove userid, use pk for utxo 2025-05-27 17:50:48 +02:00
dmpierre
c9fc1f5e15 feat: user to uservar, as vector of FpVar 2025-05-26 11:22:57 +02:00
dmpierre
500e15f985 chore: move UserState to User datastructure, along with its methods 2025-05-26 10:59:54 +02:00
winderica
4c52289040 Complete state transition methods for aggregator 2025-05-25 18:00:31 +08:00
winderica
b57d6ac741 Skeleton for user and aggregator states 2025-05-22 16:05:30 +08:00
dmpierre
564a84396d chore: start tx tree initialization, needs to impl AsRef for leaf 2025-05-09 18:56:25 +02:00
winderica
c555c696c2 Attempt to use alias for client tests 2025-05-10 00:13:40 +08:00
dmpierre
8d24d52de3 example: keypair 2025-05-09 17:50:24 +02:00
dmpierre
a6aabe815e chore: push client package 2025-05-09 17:44:19 +02:00