Pinned issues
Issues
- 21
Tracking uses of fiat-crypto
#902 opened by JasonGross - 15
Tighten up the bounds on Z.land
#835 opened by JasonGross - 11
Curve25519 scalar field reduction
#960 opened by jadephilipoom - 13
Go code cosmetic fixes
#949 opened by FiloSottile - 2
- 10
Using Fiat-generated Bedrock2 functions.
#921 opened by RasmusHoldsbjergCSAU - 2
It's not possible to pass only one of --widen-carry and --widen-bytes and get working code
#846 opened by JasonGross - 6
- 3
- 0
U
#989 opened by bambers936 - 6
- 0
Passing -h results in a lack of newlines
#979 opened by JasonGross - 0
- 1
Use setup-ocaml GH Action
#964 opened by JasonGross - 0
- 0
removing par?
#975 opened by JasonGross - 0
Add transitivity lemma for `list_Z_bounded_by`
#973 opened by JasonGross - 0
Add flag for printing bounds info as comments
#972 opened by JasonGross - 0
Printing of ranges should perhaps use hexadecimal
#971 opened by JasonGross - 3
Support Go build tags
#958 opened by FiloSottile - 2
- 0
- 10
Document recommended ladder code?
#950 opened by mdempsky - 1
Set `-native-compiler ondemand`
#946 opened by JasonGross - 8
Targeting bedrock2
#905 opened by RasmusHoldsbjergCSAU - 4
fiat-rust: attemp to multiply with overflow
#913 opened by supernatural - 3
- 3
Support for large finite fields
#851 opened by real-or-random - 6
ECDSA sample code
#885 opened by hannesm - 11
bedrock2 C code is incompatible with BoringSSL
#821 opened by JasonGross - 2
- 7
- 1
Why Global Set Printing Coercions?
#899 opened by samuelgruetter - 1
- 3
Bedrock2 backend does not handle Z.lnot_modulo
#888 opened by JasonGross - 13
Issues with the bedrock2 backend on functions taking a list as input and returning a tuple
#886 opened by JasonGross - 0
notes on rv32im karatsuba-based curve25519
#884 opened by andres-erbsen - 0
mention jq dependency of json files in readme
#875 opened by JasonGross - 1
- 2
Windows CI test is broken again
#852 opened by jadephilipoom - 2
Help with adding rupicola dependency
#863 opened by jadephilipoom - 0
WASM crypto
#861 opened by spitters - 18
Need rewrite rules for new base conversion
#833 opened by jadephilipoom - 2
MacOS build is broken
#842 opened by jadephilipoom - 1
Variable time code generated by Clang 10
#840 opened by chjj - 4
Synthesis failed
#834 opened by luinxz - 1
make bedrock2-files is broken
#830 opened by jadephilipoom - 0
- 2
Mixed declarations and code
#824 opened by bbbrumley - 6
Fatal error: exception Stack overflow
#823 opened by luinxz