Commit Graph

Select branches

Hide Pull Requests

agg_circuit

audit/rc1

audit/rc2

base_sum_gate_64

benchmark-1571

bls-fp12

bls-fp2

bls-fp6

bn254

challenger_with_inner_hash

check_merkle_proof_len

ci-updates

create_codedeposit_oog

daniel_bench

debug_ctls

debug_tries

delete_this_branch

dirty_curve_optim

docs_gate_layout

dp-from_values-take-ref

dp-remove-projects-folder

ecrecover_current_context

eth_trie_utils_fix

eth_trie_utils_temp_fix

eth_trie_utils_temp_fix_new

eth_trie_utils_temp_fix_old

eth_trie_utils_temp_fix_old2

evm-kernel-tests

expmod_precompile_tests

extra_asm_debug_labels

feat/cancun

feat/continuations

feat/tracing

feat/type2

field_64

finish_call_opcodes

five_channels

fix_delete_ext

fix_expmod_gas

fix_mpt_delete_hashnode

fix_pairing_invalid_input

fixes_return_returndatacopy

fri_with_interpolation

from_targets_trait

generic_config

get_sample_proof

hamish/evm-shift-left

hamish/faster-extension-field-squaring

hardcode_inv2

hash_iter

jacqui/bowers

jacqui/gas

jacqui/jumpdest

jacqui/pc-instr

jacqui/push

jacqui/witness-generation

jakub/avx2-fast-poseidon2

jakub/extension-packed-field

jakub/fastest-addition

jakub/fft-mds

jakub/field-benchmarks

jakub/hand-rolled-crandall-fft

jakub/matrix-type

jakub/matrix-type-api

jakub/one-weird-trick

jakub/packed-extension

jakub/poseidon-gpu-bench

jakub/simd-gate-eval

jakub/transpose-bounds-checks

jakub/x86-mds-fma

john_temp_fix_branch

keccakf_general

least_authority

licenses

log-portability-stubs

logic_stubs

lookup-next-row

main

max_iterations

openzklib-feat/no-std-support

operations_api

optimize_secp_mul

per_txn_proof

permutation_in_stark_proof

plonky2_lookups

plonky2_post_state_root_debug

plonky_field_extendable

poseidon-basic

poseidon-native

precompiles_impl

prep_v1.0.0_release

propagate_static

prove_historical_blocks

prove_historical_blocks_per_txn

public_elements

recover_public_key

recursion_dynamic_circuit_digest

recursion_loop

refund_and_accessed_address

rlp

sai/different_bits_exp

sai/fix_dummy_proof_generator

sai/refactor_degree

sai/support_optional_table

sai/support_optional_table2

selfdestruct_list

semaphore-example

simpler-zk-treatment

sstore_refund

stark_batching_hratoanina

stark_permutation_checks_packed

start_quotient_zk

sys0_environment

sys0_environment_v2

table_len_debug

target_labels

test_large_circuit

tests_16_cores

tiny-keccak

toml

trie_metadata

type2/hermez

type2/smt_deletion

type2/testing

update-versions

warm_precompiles_earlier

yanked-deps

zk-treatment

#100

#1000

#1001

#1002

#1003

#1005

#1006

#1007

#1008

#1009

#101

#1010

#1011

#1012

#1013

#1014

#1015

#1016

#1017

#1018

#1019

#102

#1020

#1021

#1022

#1023

#1024

#1025

#1026

#1027

#1028

#1029

#103

#1030

#1033

#1034

#1036

#1037

#1038

#1039

#104

#1040

#1041

#1043

#1044

#1045

#1046

#1047

#1048

#1049

#105

#1050

#1051

#1052

#1053

#1054

#1055

#1056

#1057

#1058

#1059

#106

#1060

#1061

#1062

#1063

#1064

#1065

#1066

#1067

#1068

#1069

#107

#1071

#1072

#1073

#1074

#1075

#1076

#1077

#1078

#1079

#108

#1080

#1081

#1082

#1084

#1085

#1086

#1087

#1088

#1089

#1090

#1091

#1092

#1093

#1094

#1095

#1096

#1097

#1099

#11

#110

#1101

#1102

#1104

#1105

#1107

#1108

#1109

#111

#1111

#1112

#1113

#1114

#1115

#1116

#1117

#1118

#1119

#112

#1122

#1123

#1124

#1125

#1126

#1128

#1129

#113

#1130

#1131

#1132

#1134

#1135

#1136

#1137

#1138

#1139

#114

#1140

#1143

#1144

#1145

#1146

#1147

#1148

#115

#1151

#1152

#1153

#1154

#1155

#1156

#1157

#1158

#1159

#116

#1160

#1161

#1162

#1163

#1165

#1166

#1167

#1168

#1169

#117

#1171

#1172

#1174

#1176

#1177

#1178

#1179

#118

#1180

#1181

#1183

#1184

#1185

#1187

#1188

#1189

#119

#1190

#1191

#1192

#1193

#1194

#1195

#1196

#1198

#1199

#12

#120

#1200

#1201

#1202

#1203

#1205

#1206

#1207

#1208

#1209

#121

#1211

#1212

#1214

#1215

#1216

#1217

#1218

#1219

#122

#1220

#1221

#1222

#1223

#1224

#1226

#1227

#1228

#1229

#123

#1230

#1231

#1232

#1233

#1234

#1235

#1236

#1237

#1238

#1239

#124

#1241

#1242

#1243

#1244

#1245

#1246

#1248

#125

#1250

#1251

#1252

#1253

#1254

#1255

#1256

#1257

#1258

#1259

#126

#1260

#1261

#1262

#1263

#1264

#127

#1270

#1271

#1274

#1276

#1278

#1279

#128

#1280

#1281

#1282

#1283

#1284

#1285

#1286

#1287

#1288

#1289

#129

#1290

#1291

#1292

#1293

#1294

#1295

#1296

#1297

#1299

#13

#130

#1300

#1301

#1302

#1303

#1304

#1305

#1306

#1307

#1308

#1309

#131

#1310

#1311

#1312

#1313

#1314

#1315

#1316

#1317

#1318

#1319

#132

#1320

#1321

#1322

#1323

#1327

#1328

#1329

#133

#1330

#1331

#1333

#1334

#1335

#1336

#1337

#1339

#134

#1340

#1341

#1342

#1343

#1344

#1345

#1346

#1347

#1348

#1349

#135

#1350

#1351

#1352

#1353

#1354

#1355

#1356

#1357

#1358

#1359

#136

#1360

#1361

#1362

#1363

#1364

#1365

#1366

#1367

#1368

#1369

#137

#1370

#1371

#1372

#1373

#1375

#1377

#1378

#1379

#138

#1380

#1381

#1382

#1383

#1384

#1385

#1386

#1387

#1388

#1389

#1390

#1391

#1392

#1393

#1395

#1396

#1397

#1398

#1399

#14

#140

#1400

#1401

#1402

#1403

#1404

#1405

#1406

#1407

#1408

#1409

#141

#1410

#1411

#1412

#1413

#1414

#1415

#1416

#1417

#1418

#1419

#142

#1420

#1422

#1423

#1424

#1425

#1426

#1427

#1428

#1429

#143

#1430

#1432

#1433

#1434

#1435

#1436

#1437

#1438

#1439

#144

#1440

#1441

#1442

#1443

#1444

#1447

#1448

#1449

#145

#1450

#1451

#1452

#1453

#1454

#1455

#1456

#1457

#1458

#1459

#146

#1460

#1461

#1462

#1463

#1464

#1465

#1466

#1467

#1468

#1469

#147

#1471

#1472

#1473

#1474

#1475

#1476

#1477

#1478

#1479

#148

#1480

#1481

#1482

#1483

#1484

#1486

#1487

#1488

#1489

#149

#1492

#1493

#1494

#1495

#1496

#1497

#1498

#1499

#15

#150

#1500

#1501

#1502

#1503

#151

#1512

#1517

#1518

#1519

#152

#1521

#1522

#1524

#1526

#1528

#1529

#153

#1530

#1531

#1532

#1533

#1534

#1535

#1536

#1538

#1539

#154

#1540

#1542

#1543

#1544

#1545

#1546

#1547

#1549

#155

#1550

#1552

#1555

#1556

#1557

#1558

#1559

#156

#1560

#1562

#1563

#1564

#1565

#1566

#1567

#1568

#1569

#157

#1570

#1571

#1572

#1573

#1574

#1575

#1576

#1577

#1578

#1579

#158

#1580

#1581

#1583

#1584

#1585

#1586

#1587

#1588

#1589

#159

#1590

#1591

#1592

#1594

#1596

#1597

#1598

#1599

#16

#1600

#1601

#1602

#1603

#1604

#1606

#1607

#1608

#1609

#161

#1611

#1614

#1615

#1617

#1618

#162

#1620

#1621

#1623

#1624

#1625

#1626

#1628

#1629

#163

#1630

#1632

#1633

#1634

#1635

#1636

#1637

#164

#1640

#1642

#1643

#1645

#1646

#1647

#1648

#165

#1650

#1651

#1654

#1655

#1656

#1658

#166

#1661

#1662

#1663

#1664

#1666

#1667

#1668

#1669

#167

#1671

#1672

#1673

#1674

#1675

#1676

#1677

#1678

#1679

#168

#1680

#1682

#1683

#1684

#1685

#1686

#1687

#1688

#1689

#169

#1690

#1691

#1692

#1693

#1694

#1695

#1696

#1697

#1698

#17

#170

#171

#172

#173

#174

#175

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#188

#189

#19

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#20

#200

#201

#203

#204

#205

#206

#207

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#22

#221

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#235

#239

#24

#240

#241

#243

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#257

#258

#259

#26

#261

#262

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#300

#301

#302

#303

#304

#305

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#346

#347

#348

#349

#35

#350

#351

#352

#353

#354

#355

#356

#357

#358

#359

#36

#360

#361

#362

#363

#364

#365

#366

#367

#368

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#386

#387

#388

#389

#39

#390

#391

#392

#393

#394

#395

#396

#397

#398

#399

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#418

#419

#42

#420

#421

#422

#423

#424

#425

#427

#429

#43

#430

#433

#434

#436

#437

#438

#439

#44

#440

#441

#442

#444

#445

#447

#448

#449

#45

#450

#451

#452

#453

#454

#455

#457

#458

#459

#46

#460

#461

#462

#464

#465

#466

#467

#468

#469

#47

#470

#471

#472

#473

#474

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#485

#486

#487

#488

#489

#49

#490

#491

#492

#493

#495

#496

#497

#498

#499

#5

#50

#500

#501

#502

#503

#505

#508

#51

#510

#511

#512

#513

#515

#516

#517

#518

#520

#521

#522

#523

#524

#525

#527

#528

#529

#530

#533

#534

#535

#536

#537

#539

#54

#540

#541

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#57

#570

#571

#572

#573

#574

#576

#577

#578

#579

#58

#580

#581

#583

#584

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#6

#60

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#61

#610

#611

#612

#613

#614

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#630

#631

#633

#634

#635

#636

#637

#638

#639

#640

#641

#642

#643

#644

#645

#646

#647

#648

#649

#650

#651

#652

#653

#654

#655

#656

#657

#658

#659

#66

#660

#661

#662

#663

#664

#665

#666

#667

#668

#669

#67

#670

#671

#672

#673

#674

#676

#677

#678

#679

#68

#680

#681

#682

#683

#685

#686

#687

#688

#689

#69

#690

#691

#692

#693

#694

#695

#696

#697

#698

#699

#7

#70

#700

#701

#702

#703

#704

#705

#706

#707

#708

#709

#71

#710

#711

#712

#713

#714

#715

#716

#717

#718

#719

#72

#720

#721

#722

#723

#724

#725

#726

#727

#728

#729

#730

#731

#732

#733

#734

#735

#736

#737

#738

#739

#74

#740

#741

#742

#743

#744

#745

#746

#747

#748

#749

#75

#750

#751

#752

#753

#754

#755

#756

#757

#758

#759

#76

#760

#761

#762

#763

#764

#765

#766

#767

#768

#769

#77

#770

#771

#772

#773

#774

#775

#776

#777

#778

#779

#78

#780

#781

#782

#783

#784

#785

#786

#787

#788

#789

#79

#790

#791

#792

#793

#794

#795

#796

#797

#798

#80

#800

#801

#802

#803

#804

#805

#806

#807

#808

#809

#81

#810

#811

#812

#813

#814

#815

#816

#817

#818

#819

#82

#820

#821

#822

#823

#824

#826

#827

#828

#829

#83

#830

#831

#832

#833

#834

#835

#836

#837

#838

#839

#84

#840

#841

#842

#843

#844

#845

#846

#847

#848

#849

#85

#851

#852

#853

#854

#855

#857

#858

#859

#86

#860

#861

#862

#863

#864

#865

#866

#868

#87

#870

#872

#873

#874

#876

#878

#879

#88

#880

#881

#882

#883

#884

#885

#886

#887

#888

#889

#89

#890

#891

#892

#893

#894

#895

#896

#897

#898

#899

#9

#90

#900

#901

#902

#903

#904

#905

#906

#907

#908

#909

#910

#912

#913

#914

#915

#917

#918

#919

#92

#920

#921

#922

#923

#924

#925

#926

#927

#928

#929

#93

#930

#931

#932

#933

#934

#935

#936

#937

#938

#939

#94

#940

#941

#942

#943

#944

#945

#946

#947

#948

#949

#95

#950

#951

#952

#953

#954

#955

#956

#957

#958

#959

#960

#961

#962

#963

#964

#965

#966

#967

#968

#969

#970

#971

#972

#973

#974

#975

#976

#977

#978

#979

#980

#981

#982

#983

#984

#985

#986

#987

#989

#99

#990

#991

#992

#993

#994

#995

#996

#997

#998

#999

starky-v0.2.1

v0.2.0

v0.2.2

v0.2.3

v1.0.0

v1.0.1

v1.0.2

v1.1.0

Mono Color

• 5d9da5a65b Add deprecation notice main Robin Salen 2025-07-01 11:45:06 -04:00
• 82791c4809 Bump version v1.1.0 Robin Salen 2025-05-12 15:09:58 -04:00
• c671e2d803 Add constraints binding (#1679) Linda Guiga 2025-05-12 14:54:58 +01:00
• cd907f68e1 Observe config parameters in challenger (#1678) Robin Salen 2025-05-06 09:19:45 -04:00
• 6a2c1b47b7 chore: update broken links LICENSE (#1675) Gigabuidl 2025-03-24 18:42:14 +03:00
• e459884ec7 Fix latest clippy (#1676) Robin Salen 2025-03-24 11:36:53 -04:00
• fda13ddc36 Fix documentation rendering (#1671) Robin Salen 2025-03-24 11:36:43 -04:00
• 4e0834d711 Misc updates (#1663) Robin Salen 2025-01-30 15:46:51 -05:00
• 0362deb648 Bump patch version v1.0.2 Robin Salen 2025-01-30 15:15:15 -05:00
• 1aa32519eb Fix clippy (#1662) Robin Salen 2025-01-30 15:14:13 -05:00
• 753389a2ca Fix padding for LookupTableGate (#1661) Linda Guiga 2025-01-30 21:02:20 +01:00
• 6eb63f0200 Bump versions v1.0.1 Robin Salen 2025-01-28 11:41:20 -05:00
• 091047f7f1 Fix padding in LookupTableGate (#1656) Linda Guiga 2025-01-28 17:39:13 +01:00
• cc0834ae07 fix: correct visibility in gate_serialization macros (#1650) Nikita Masych 2025-01-22 17:51:09 +02:00
• 892f51bd12 fix: use u64 in BaseSplitGenerator (#1647) Eduard S. 2025-01-13 18:18:52 +01:00
• 02e80e9af0 add serialization and deserialization for BytesHash (#1645) carlogf 2025-01-07 11:17:33 -03:00
• 3c93ebeb6b Clippy yanked-deps Robin Salen 2024-12-03 08:45:08 -05:00
• 08136abc0c Bump versions Robin Salen 2024-12-03 08:35:32 -05:00
• f18230e5be Bump deps Robin Salen 2024-12-03 08:35:05 -05:00
• 356aefb686 fix: changed conditioning for timing functionality in circuit_builder (#1640) Nikita Masych 2024-11-27 19:37:14 +02:00
• 6d1b99e5ca v1.0.0 release (#1637) v1.0.0 Robin Salen 2024-11-25 12:58:04 -05:00
• 7203b7ad0b Unified Recursion Circuit for Multi-Degree Starky Proof Verification (#1635) Sai 2024-11-25 16:58:08 +00:00
• bcb72ff82c comments sai/refactor_degree Sai Deng 2024-11-22 10:35:16 -08:00
• 7e69abc585 clippy Sai Deng 2024-11-18 12:19:55 -08:00
• af50158b7f more Sai Deng 2024-11-18 11:53:59 -08:00
• edea57b2f7 merge changes Sai Deng 2024-11-16 15:17:17 -08:00
• 1e32adf5d7 more checks Sai Deng 2024-11-15 11:31:59 -08:00
• 281d738774 polish the checks Sai Deng 2024-11-15 11:19:13 -08:00
• 853acb4530 add checks Sai Deng 2024-11-15 11:11:20 -08:00
• 93ba39cce8 add comments Sai Deng 2024-11-15 10:56:57 -08:00
• 8572c8151a fix tests Sai Deng 2024-11-15 10:45:35 -08:00
• f31babe903 fix test build Sai Deng 2024-11-15 10:37:32 -08:00
• 1e3c8b9ebf fix clippy Sai Deng 2024-11-15 09:58:42 -08:00
• bafcf740b1 update stark verifier Sai Deng 2024-11-15 09:56:07 -08:00
• 1ca436fd2c add degree bits Sai Deng 2024-11-14 16:10:02 -08:00
• 95089274ec add comments Sai Deng 2024-11-12 14:29:06 -08:00
• de1c230a1c fix non std build Sai Deng 2024-11-12 13:39:12 -08:00
• 309ecaa858 poc done Sai Deng 2024-11-12 13:27:08 -08:00
• 63687266db work Sai Deng 2024-11-12 11:54:02 -08:00
• a6fbf7c085 challenge passes Sai Deng 2024-11-09 16:08:46 -08:00
• 104ed5760a wip Sai Deng 2024-11-09 15:53:11 -08:00
• d94800f27d set all zeros Sai Deng 2024-11-09 15:37:00 -08:00
• 1eb70530a1 wip Sai Deng 2024-11-09 15:21:18 -08:00
• b9c33655e7 start on multi steps Sai Deng 2024-11-08 19:50:13 -08:00
• dcd973df8e fix Sai Deng 2024-11-07 19:44:00 -08:00
• 58196b8df6 fix Sai Deng 2024-11-07 19:11:21 -08:00
• 773b695fb9 clippy Sai Deng 2024-11-07 16:30:32 -08:00
• 9667294afe fix ci Sai Deng 2024-11-07 16:27:46 -08:00
• 999532c8cc better test Sai Deng 2024-11-07 16:22:35 -08:00
• c9ea54cb44 more in test Sai Deng 2024-11-07 15:48:45 -08:00
• 02548a0544 pass tests Sai Deng 2024-11-07 11:25:58 -08:00
• e685b9a225 wip Sai Deng 2024-11-07 09:27:41 -08:00
• 33836d5456 poc works Sai Deng 2024-11-05 17:04:09 -08:00
• de75e83b6d wip Sai Deng 2024-11-05 16:29:32 -08:00
• 13801e42a7 hack observe final poly coeffs Sai Deng 2024-11-01 17:09:36 -07:00
• cff4da4401 convert g to g_ext Sai Deng 2024-11-01 15:25:47 -07:00
• c231038ddb fix Sai Deng 2024-11-01 15:19:22 -07:00
• 8ea1952180 passed 3 tests Sai Deng 2024-11-01 15:05:08 -07:00
• 8561399e9f opt Sai Deng 2024-11-01 11:52:16 -07:00
• 99c3ccbd00 fix Sai Deng 2024-11-01 11:45:20 -07:00
• fc46e074af wip Sai Deng 2024-11-01 10:26:52 -07:00
• b4213bb905 degree_bits: usize->target Sai Deng 2024-10-31 15:29:47 -07:00
• 78d3851992 update witness util Sai Deng 2024-10-30 15:30:30 -07:00
• 3d7c443359 wip Sai Deng 2024-10-30 14:20:26 -07:00
• 56bc63228e add test Sai Deng 2024-10-26 16:10:03 -07:00
• 39d94cf0d6 Add random values to the SLDC and RE lookup polynomials simpler-zk-treatment Linda Guiga 2024-10-20 22:30:20 +01:00
• 5c44217853 Merge branch 'main' into simpler-zk-treatment Linda Guiga 2024-10-18 11:41:01 +01:00
• ae41b3fd04 Fix batch fri oracle Linda Guiga 2024-10-17 17:13:17 +01:00
• 8a00cda1fe Apply comments Linda Guiga 2024-10-17 16:41:07 +01:00
• 2488cdacd4 Fix DummyProofGenerator serialization (#1634) Robin Salen 2024-10-17 09:31:21 -04:00
• d47ce33762 fix sai/fix_dummy_proof_generator Sai Deng 2024-10-16 15:08:49 -07:00
• 0080b867a1 Reduce degree of R to |H|. Update num_blinding_gates and computed_h Linda Guiga 2024-10-11 00:25:12 +01:00
• 6aa4ca6156 Merge branch 'main' into simpler-zk-treatment Robin Salen 2024-10-09 12:36:20 -04:00
• 7959bd22ce Refactor CTL Handling (#1629) Sai 2024-10-09 15:29:34 +00:00
• 8463effe0d fix clippy sai/support_optional_table2 Sai Deng 2024-10-05 16:00:54 -07:00
• 47511bbfaf fix clippy Sai Deng 2024-10-05 15:54:15 -07:00
• 4226f01bf3 fix Sai Deng 2024-10-05 15:36:49 -07:00
• 73576c1070 sync target version Sai Deng 2024-10-05 11:12:47 -07:00
• 27a972f1cb Added serialize and deserialize to starky proofs (#1630) Arman Aurobindo 2024-10-02 23:36:06 +05:30
• 2ea3cf3e20 Switch to tracing logs feat/tracing Robin Salen 2024-10-01 10:34:23 -04:00
• cd0fa56793 fmt Sai Deng 2024-09-30 15:45:00 -07:00
• 9fa733eb61 fmt Sai Deng 2024-09-30 15:25:26 -07:00
• 0b557bd540 refactor Sai Deng 2024-09-30 15:20:55 -07:00
• b0757709a5 Revert accidental change Linda Guiga 2024-09-30 15:04:26 +02:00
• aaab0230fc Apply comments Linda Guiga 2024-09-30 13:18:34 +02:00
• 409be6ceb9 fmt sai/support_optional_table Sai Deng 2024-09-24 09:40:10 -07:00
• 858f08bebf revert changes Sai Deng 2024-09-24 09:38:32 -07:00
• 10fd2cdbd9 make Option<Vec<PolynomialValues<F>>> Sai Deng 2024-09-20 10:16:49 -07:00
• dfbec66f96 refactoring Sai Deng 2024-09-19 10:29:55 -07:00
• a101c20bf5 another fix Sai Deng 2024-09-18 15:02:10 -07:00
• 729567769e fix Sai Deng 2024-09-18 14:55:44 -07:00
• bcd72999f5 refactor Sai Deng 2024-09-18 14:51:09 -07:00
• 666d893b25 clean up Sai Deng 2024-09-18 14:09:05 -07:00
• e8edb8c805 clean up Sai Deng 2024-09-18 13:30:56 -07:00
• 5d271f5be3 fix test Sai Deng 2024-09-18 13:30:04 -07:00
• f7b10bc49b clippy Sai Deng 2024-09-17 22:29:53 -07:00
• 409c768308 add support for conditionally verify more than two proofs. Sai Deng 2024-09-17 22:09:22 -07:00
• 43f0ea18c2 fix ci errors Sai Deng 2024-09-17 10:19:52 -07:00
• 27b3167ccc fix an issue in debug mode Sai Deng 2024-09-17 10:06:48 -07:00
• 7298d83f10 Merge branch 'main' into simpler-zk-treatment Linda Guiga 2024-09-17 13:07:00 +02:00