c382e6fba8
Add a debug flag for uplc eval
2025-02-09 08:39:38 -05:00
f7f68fbafc
Add writeBits back in and use the optimizer to utilize the list conversion
2025-01-11 19:08:42 +07:00
c130796f49
Forgot this so I was reminded when trying to deserialize Bullet
2025-01-11 19:06:43 +07:00
ebc7d89d5d
Comment out ExpModInteger since it's not live on testnets yet
2024-12-08 14:29:58 +07:00
5f1f37919f
Passing conformance tests
2024-12-07 12:23:22 +07:00
befbb6ec18
Start adding implementation for new builtins
2024-12-05 11:03:41 +07:00
0f905045e7
Rename mk_nil_data, mk_pair_data & mk_nil_pair_data builtins.
2024-08-23 10:39:37 +02:00
ad3c9f24b7
chore: minimal pallas dependencies
2024-05-30 15:09:05 +07:00
fe6710935d
feat: impl serde on errythang
2024-03-08 19:19:07 -05:00
c7dd4d0e48
feat(aiken-lang): expose integerToByteString and byteStringToInteger
2024-02-20 13:05:28 -05:00
b0eade209b
feat(DefaultFunction): add IntegerToByteString and ByteString
2024-02-20 13:05:28 -05:00
589bb9a4b3
chore: change how we depend on pallas
2024-01-24 21:26:48 -05:00
0a1e0d7bee
feat: remove flat-rs crate and use it through pallas_codec
2023-12-04 22:01:51 -05:00
90aea6476a
feat: uplc g1 and g2 literal parsing
2023-11-15 15:55:56 -05:00
6ce85e1662
fix: add keccak to TryFrom<u8>
2023-11-15 15:55:56 -05:00
49ae8152f8
feat(bls): add new aiken level builtins
2023-11-15 15:55:56 -05:00
0d2ac952d0
feat: implemented the Bls381-12 builtins and types
...
also implemented Keccak256 and Blake2b_224
TODO: cost model, flat serialization, pretty
Co-authored-by: rvcas <x@rvcas.dev>
2023-11-15 15:55:56 -05:00
00e9dabe82
Add missing Plutus builtins to Aiken's lang.
2023-02-22 12:53:03 +01:00
a365649360
chore: clippy autofix
2023-02-01 18:53:11 -05:00
529b3e87ff
Rename builtin as 'verify_ed25519_signature'
...
It's best to keep builtin as-close-as possible to their standard name
because they're hard to document. We can then leverage the prelude and
the standard lib for convenient names.
2022-12-19 00:41:27 -05:00
86ea41adc3
feat: start when expressions
2022-12-05 14:18:44 -05:00
6066e3176c
move `to_string()` outside of the match
2022-11-28 17:30:45 -05:00
d5087dbcc7
fix: it's more consistent to have snakecase builtins
2022-11-24 18:36:22 -05:00
819256df99
feat: wrap up adding uplc builtins for now
2022-10-25 18:52:27 -04:00
3f6ad6be60
verify signature changed name and cost
2022-08-24 00:06:17 -04:00
8ed87c5f17
chore: fix clippy issues
2022-08-17 22:40:32 -04:00
5a6ba40557
feat: start pretty printing
2022-06-18 22:54:26 -04:00
f7fba12a5f
chore: flat is taken in crates.io
2022-06-14 19:11:00 -04:00
dc4246244d
chore: document somethings
2022-06-14 17:27:27 -04:00
be477917f2
fix: fixed edge cases to get flat encode and decode working with stress test case
2022-06-08 03:33:09 -04:00
60a920a0ac
fix: more subtle things
2022-06-06 22:51:09 -04:00
349364d867
chore: builtins implement Copy
2022-06-04 14:06:46 -04:00
1ecd47a361
feat: clean up errors
2022-06-04 14:01:45 -04:00
83a784c745
add simple test for decoding
2022-05-30 17:12:32 -04:00
d4b659c04e
feat: finish up most of decoding (integer, decodeListWith, Term, Program, Version, Constant, Builtin)
2022-05-30 16:49:43 -04:00
41487733f7
feat: builtin encoding
...
Co-authored-by: rvcas <x@rvcas.dev>
2022-05-28 00:23:34 -04:00
33fee5b3e0
chore: switch to a mono repo
2022-05-22 12:40:52 -04:00
microproofs