Commit graph

ed255/pod2

Fork 0

af9c6ca462 review edu/review-milp-split Eduard S. 2026-05-06 17:39:46 +02:00
78ff134011

Remove sources of nondeterminism Rob Knight 2026-05-01 16:58:42 +01:00
fcf0888c25

Improved diagnostics on failure Rob Knight 2026-04-30 18:58:07 +01:00
20204548b3

Remove unused error messages Rob Knight 2026-04-30 17:00:05 +01:00
2443f85520

Working MILP version of predicate splitter Rob Knight 2026-04-30 16:56:42 +01:00
e9e3241263

Support "records" in Podlang (#507) Rob Knight 2026-05-06 06:21:22 -07:00
5e3ac9a101

Support mixed depth container merkle proofs (#508) main Eduard S. 2026-05-06 12:39:27 +02:00
111b132a00

Use projected statement lookup for op arg resolution (#503) Rob Knight 2026-04-29 00:56:39 -07:00
8844fe124c

Diagnostics for MultiPodBuilder (#500) Rob Knight 2026-04-23 01:41:29 -07:00
3203c883e5

Use windowed ECAddXuGate for PublicKeyOf (#501) Rob Knight 2026-04-20 00:07:20 -07:00
dbd958dcca

Allow entries as args in custom statements (#498) Eduard S. 2026-04-01 23:49:29 +02:00
22d25e5cb2

Podlang syntax for quoted predicates (#495) Rob Knight 2026-03-30 15:16:19 +01:00
a4069bcc55

Fix pod builder (#496) Eduard S. 2026-03-25 18:48:28 +01:00
1e592e11cf

Self-referential predicate hashes as statement template args (#494) Rob Knight 2026-03-24 14:25:11 +00:00
13cabdb511

Support persistent storage in Containers (#493) Eduard S. 2026-03-23 12:31:28 +01:00
32f45872d7

Re-implement merkletree with persistent storage (key-value db) (#487) arnaucube 2026-03-11 16:32:42 +01:00
a79f82eb9d

fix disk cache datarace (#486) Eduard S. 2026-02-23 14:13:34 +01:00
a389ff1dc4

Multipod external fix (#485) Rob Knight 2026-02-23 11:26:39 +00:00
c185d27344

fix: points wildcard name same as predicate (#484) Dhvani Patel 2026-02-23 03:22:29 -07:00
f6c6ec43ef

Splitter fixes (#483) Rob Knight 2026-02-20 17:13:42 +01:00
e950661090

Fix nondeterminism in splitting (#482) Rob Knight 2026-02-16 15:46:36 +01:00
cdf227e353

MultiPodBuilder: keep public sts order (#479) Eduard S. 2026-02-13 12:39:28 +01:00
bf56c86cfc

MultiPodBuilder fixes (#480) Rob Knight 2026-02-13 11:32:40 +01:00
09d67de989

Add annotate_snippets for better parsing errors (#477) Rob Knight 2026-02-11 11:14:23 +01:00
acab26e5c1

Remove batch splitting system (#475) Rob Knight 2026-02-09 10:31:47 +01:00
5dab8195b4

Fix accidental inclusion of extra input PODs (#476) (#478) Rob Knight 2026-02-06 17:18:35 +01:00
2bd99ef322

MultiPodBuilder improvements (#473) Eduard S. 2026-02-06 10:53:01 +01:00
b04560c362

merkletree: reduce gate amount (-23%) by custom poseidon to use flag as initial state (#472) arnaucube 2026-02-04 12:31:56 +01:00
641d8dabdd

Merkle tree for custom predicate batches (#471) Eduard S. 2026-02-04 11:12:32 +01:00
a7a30176a7

Split Params into base and developer-defined (#458) Eduard S. 2026-02-02 16:23:32 +01:00
498e946612

Feat/fst order pred part3 & part4 (#457) Eduard S. 2026-02-02 10:59:33 +01:00
b66f5051b5

MultiPodBuilder fixes (#468) Rob Knight 2026-02-01 20:54:09 +01:00
879c7201ad

Fix parsing of intro statement templates inside custom predicates (#467) Rob Knight 2026-01-30 19:30:57 +01:00
337a51135e

make hash_verifier_data_gadget and dummy pub (#464) Eduard S. 2026-01-28 16:08:22 +01:00
48aa004ae5

Create multiple PODs where resource limits for a single POD are exceeded (#444) Rob Knight 2026-01-28 07:44:04 +01:00
d1b7b4d37e

Improved predicate splitting (#445) Rob Knight 2026-01-28 06:54:21 +01:00
9c9a2c454c

Feat/fst order pred part1 & part2 (#454) Eduard S. 2026-01-20 13:14:22 +01:00
1724e7b146

feat: in MainPodBuilder track literal contains in dict_contains (#456) Eduard S. 2026-01-19 16:50:02 +01:00
0fca00cc93

Use predicate hash in statements instead of the literal predicate Eduard S. 2026-01-19 11:02:11 +01:00
2eb1daeb92

[docs] Port the example that @ax0 told me months ago about a theorem-ish perspective on predicates, and updates the signature section adding a note (& references) on the current signature scheme. (#443) arnaucube 2026-01-07 16:24:56 +01:00
813a86c670

Remove max_depth in native MerkleTree (#442) Eduard S. 2025-12-16 13:18:49 +01:00
32dc85471d

Add max input POD check to MainPodBuilder (#440) Ahmad Afuni 2025-12-08 23:23:51 +10:00
42f979c408

Frontend AST for Podlang (#432) Rob Knight 2025-11-13 10:23:21 +01:00
c382bf487c

allow manually setting wildcard values (#438) Eduard S. 2025-10-27 11:31:21 +01:00
aa4b531ac7

New 'use' syntax with support for intro predicates (#431) Rob Knight 2025-10-17 12:27:11 +02:00
ffed5b4fbd

fix: remove dup arg in template builder for SetDelete (#430) Eduard S. 2025-10-01 16:10:24 +02:00
352b1fdac1

Allow creation of opaque custom predicate batch (#427) Eduard S. 2025-09-26 12:47:00 +02:00
5a80fba618

Add cases to desugar function for container update ops (#425) Evan Laufer 2025-09-19 13:22:21 -07:00
6dcd17cc37

Update dependencies (#429) Ahmad Afuni 2025-09-18 17:47:39 +10:00
26548cf612

Fix for #413 (#415) Daniel Gulotta 2025-09-15 07:14:24 -07:00
1d14338351

make cache pub (#418) Eduard S. 2025-09-15 11:43:59 +02:00
5de08da32c

Wildcards without the ? prefix (#422) Andrew Twyman 2025-09-12 13:08:17 -07:00
7e04eb51ff

Optional dot syntax for anchored keys (#423) Andrew Twyman 2025-09-11 12:23:46 -07:00
f95a27b412

Allow block comments with /* */ (#421) Andrew Twyman 2025-09-11 12:17:32 -07:00
03db60d94c

fix cargo doc warnings (#417) Daniel Gulotta 2025-09-10 10:29:01 -07:00
c6c78304a9

remove unused file backends/plonky2/primitives/ec/gates/generic.rs (#416) Daniel Gulotta 2025-09-10 07:49:35 -07:00
3d098c3ce6

update to latest plonky2 & plonky2-u32 versions in Cargo.toml (#414) arnaucube 2025-09-09 10:50:51 +02:00
a8a8734cd5

DictNotContains doesn't take a value arg (#412) Andrew Twyman 2025-09-08 01:19:43 -07:00
e1f8a9ad8b

Adjust default parameters (#406) Eduard S. 2025-09-08 10:14:12 +02:00
a24bbf7a3b

add container operation support to parser (#408) Daniel Gulotta 2025-09-04 13:15:23 -07:00
b02d0ec462

allow downstream crates to instantiate *CircuitDataSerializer (#405) Daniel Gulotta 2025-09-03 10:13:54 -07:00
1479400555

feat(backend): use custom gate for Schnorr signature verification (#397) Ahmad Afuni 2025-09-04 00:47:59 +10:00
ca97d9edc4

update docs with no-pod-id (#403) Eduard S. 2025-09-02 13:34:19 +02:00
511efa8d44

rename some old id to sts_hash (#402) Eduard S. 2025-08-28 02:48:43 +02:00
0e2f7b756e

No Pod IDs (#394) Eduard S. 2025-08-27 13:19:40 +02:00
122f9c3cac

pad_circuit: use config to determine zk and check for underflow (#395) Daniel Gulotta 2025-08-25 08:12:04 -07:00
f76197c602

Fix handling of Lt, LtEq (#393) Daniel Gulotta 2025-08-18 07:54:20 -07:00
1508dd6126

feat: add container update ops (#390) Ahmad Afuni 2025-08-13 06:34:45 +10:00
656cae77e0

Add versioning features (#387) Eduard S. 2025-08-08 09:33:44 -07:00
594c4d2e63

feat(backend): add updates and deletions to Merkle tree state transition proofs (#383) Ahmad Afuni 2025-08-06 12:19:21 +10:00
bcaef6c47a

Add table multiplexer (and use it for container, custom pred & PublicKeyOf ops) (#376) Eduard S. 2025-08-05 19:09:41 -07:00
0305a4de19

add missing constructors to frontend::Operation (#379) Daniel Gulotta 2025-08-04 14:42:13 -07:00
fe8c4eceb3

remove op! macro (#378) Daniel Gulotta 2025-08-01 09:52:06 -07:00
7f120f026d

fix frontend::Operation::new_entry + doc improvements (#370) Daniel Gulotta 2025-07-30 16:55:15 -07:00
4fa285d9fb

support longer arrays in vec_ref (#367) Eduard S. 2025-07-30 16:07:25 -07:00
bde35369d3

Return an error instead of panicking when too many statements (#372) Rob Knight 2025-07-30 20:21:39 +01:00
ae39ff307d

Remove unnecessary 'params' argument to MainPodBuilder::prove (#373) Rob Knight 2025-07-30 19:39:10 +01:00
f10a5adb41

Check a single POD against a POD Request (#359) Rob Knight 2025-07-30 02:46:14 +01:00
c7b39f21f0

Support SELF keyword in Podlang parser (#368) Rob Knight 2025-07-30 01:35:48 +01:00
0606a4098b

fix: missing gate and generator for serialization (#369) Eduard S. 2025-07-29 16:45:51 -07:00
59c6151dbc

Secret keys in Podlang (#365) Rob Knight 2025-07-29 23:50:10 +01:00
ce8cabc337

remove some unsafe code (#366) Daniel Gulotta 2025-07-29 13:23:08 -07:00
d6c4d9e943

Try actions-rust-lang/setup-rust-toolchain for possibly faster test b… (#364) Rob Knight 2025-07-29 18:21:13 +01:00
5b04b2a360

New Native Operation PublicKeyOf (#355) brian6l 2025-07-28 15:53:01 -07:00
9f8335756c

Add Podlang pretty-printing (#353) Rob Knight 2025-07-25 16:43:43 +01:00
8429cd224d

Feat/disk cache (#354) Eduard S. 2025-07-24 12:15:31 +02:00
745d654048

MerkleTree insertion proofs (#344) arnaucube 2025-07-24 12:02:44 +02:00
89dfc4e214

always replace SELF when copying statements (#345) Daniel Gulotta 2025-07-22 14:56:37 -07:00
5cdf53576b

Make serialized POD ids available (#350) Rob Knight 2025-07-22 22:43:37 +01:00
757f8c0734

Add hash_of to op macro (#348) Ahmad Afuni 2025-07-22 16:10:49 +10:00
1c9b735da6

chore(middleware): add container op checks and tests (#347) Ahmad Afuni 2025-07-19 10:25:42 +10:00
673a461246

clippy check for tests (#346) Daniel Gulotta 2025-07-17 19:30:14 -07:00
143a8c9d4e

First iteration of circuits naming convention Eduard S. 2025-07-15 17:49:29 +02:00
63a716ebd7

Remove unnecessary mut in PodSigner trait (#340) Eduard S. 2025-07-15 17:37:26 +02:00
b5e0d97cb6

remove MockSignedPod (#339) Eduard S. 2025-07-15 11:19:19 +02:00
06b84e8dca

change Hash (and RawValue) hex-string representation to show the least-significant field element as big-endian hex string (#338) arnaucube 2025-07-14 15:27:58 +02:00
e8468d7fa8

chore(middleware): additional error reporting for custom predicates (#330) Ahmad Afuni 2025-07-14 23:27:33 +10:00
aeedf55bad

fix: consistently serialize signer (#334) Eduard S. 2025-07-10 11:48:47 +02:00
0750dbeaff

Detect invalid wildcards in the language processor (#321) Rob Knight 2025-07-09 00:31:15 +02:00
2c41a6c554

chore: minor error handling improvements (#325) Ahmad Afuni 2025-07-05 20:06:44 +10:00