ada-spark-rfcs
falcon.py
ada-spark-rfcs | falcon.py | |
---|---|---|
13 | 21 | |
58 | 135 | |
- | - | |
2.8 | 0.0 | |
9 days ago | 17 days ago | |
Python | ||
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ada-spark-rfcs
-
Ada news digest April 2022
Original discussion was there, I guess you can post your comments to that PR to keep the discussion in one place.
-
Is Maintaining An Ada ISO Standard Worthwhile?
I forgot where I saw it, but I do recall reading somewhere that the ARG had discussed whether a shorter revision cycle would be better or not. I wouldn't be surprised if the creation of this ( https://github.com/AdaCore/ada-spark-rfcs ) was inspired by that discussion.
-
Brett Slatkin: Why am I building a new functional programming language?
Ada might be getting pattern matching soon too:
https://github.com/AdaCore/ada-spark-rfcs/blob/master/protot...
-
Why Rust?
> I did some ADA in the past and yes, it is a nice language, but it lacks the modernity and a dynamic community like Rust. ADA did received some nice update to its specification, but, just like C++, it struggle / cannot really fit the latest innovation in programming language that easily.
I'm still learning both Ada and Rust, nevertheless I humbly disagree. The more I learn it and other "old" languages the more it looks to me like "modern" ones rediscover things that have been present in other languages for years.
The really significant difference I can see for now is that Ada is not focused so strongly on functional programming paradigm. Rust borrow checker is a strong success of course and was another significant difference, but latest SPARK got borrow checking capabilities too, AFAIK.
While Ada's open-source community is smaller, I find it as energetic and devoted to improving the ecosystem as Rust's. I have no idea about closed-source community, but in the past 4 years ArianeGroup [1], Airbus [2] and Nvidia [3] talked about choosing Ada for their high-integrity applications.
> And to be fair, it is fine. ADA is very much a "committee" language (its spec are ISO/IEC) instead of a "community" language (all the spec and rfc of Rust are on github and anyone can easily discuss them).
You can discuss Ada/SPARK RFCs here: https://github.com/AdaCore/ada-spark-rfcs . I think I once saw on Ada forum or chat that someone proposing changes to the language was simply invited to talk to people working on the standard, so it doesn't look like the language is developed in isolation or something.
> This makes it so that ADA doesn't get the attention, and the rapidity of innovation, that a language like Rust does, but ADA is mostly made for program that will need to be maintained in critical operations for decades with the code being maintainable and compilable far into the future.
I think that Ada adopted quiet quickly to standards set by Rust: lower entry barrier toolchain, compelling licensing, library distribution, RFCs, etc. And in terms of language features, in many areas it's not only on par, but ahead of competition. So you're less likely to see lots of changes, but they do happen nevertheless. I'm not saying Ada is perfect, of course. There are parts of it that other languages do better. No shame in that.
IMHO, the reason Ada is unknown to many people is a combination of its past, myths surrounding it, and general trend of people to follow trends. ;) But I currently find Ada/SPARK even more compelling option than Rust, even though I like both.
[1] https://www.facebook.com/ArianeGroup/posts/2872955946126067
- Lessons from Learning Ada in 2021
- RFC on exceptional contracts for SPARK
- [RFC] declare local variables without a declare block
-
Does ada support object methods?
There's a proposal to allow dot syntax for untagged types as well.
-
It's Ada Lovelace Day Learn the Ada Programming Language in 2021
There's also an active discussion about adding format strings to the language here: https://github.com/AdaCore/ada-spark-rfcs/pull/77
- Looking for feedback about the syntax for format strings in Ada
falcon.py
-
A Practical Approach to Quantum-Resistant JWTs
As the field of quantum computing advances, the need for cryptographic systems that can withstand quantum attacks becomes increasingly critical. The jwt-falcon library addresses this challenge by integrating the Falcon algorithm, a prominent candidate in the NIST Post-Quantum Cryptography competition, into JSON Web Token (JWT). Falcon is designed to offer security against the potential capabilities of future quantum computers. For detailed information on the Falcon algorithm, visit Falcon-sign.info. Under the hood, jwt-falcon utilizes the Falcon-crypto package, a dedicated implementation of the Falcon algorithm for JavaScript environments.
-
I've been in Algorand for over two years now. Bought many at $2.00 and all the way down. It has been a rough bear market but the fundamentals have only gotten stronger. I'm extremely optimistic about the future. Algorand is still a best in class block chain. Tech will matter eventually.
From the Falcon Keys website:
-
Microsoft expects to build a quantum supercomputer within 10 years
At the rate quantum computing is developing, the issue of quantum readiness can't be ignored much longer by the cryptosphere. No other blockchain has a team that understands the problem and solution set better than Algorand; they are literally writing the papers that NIST standards are based on . It's going to matter.
- Cryptocurrencies II: Last Week Tonight with John Oliver (HBO)
-
Ask HN: Won’t quantum computing destroy most (if not all) crypto?
There are already post-quantum cryptographic algorithms already in existence.
One of the candidates is Falcon [0] proposed by the creators of Algorand.
[0] https://falcon-sign.info
-
Quantum computing
Falcon
-
Quantum Threat to Cryptocurrencies Explained [SERIOUS]
Algorand has actually already been upgraded with FALCON-based keys, which is not surprising given the fact tthat FALCON is actually based on the theoretical framework developed by Algorand's Craig Gentry, Chris Peikert, and Vinod Vaikuntanathan.
-
Academic cryptographer posted this to r/cc. Isn't aware of Algorand. -> Quantum Threat to Cryptocurrencies Explained [SERIOUS]
Algorand's Craig Gentry, Chris Peikert, and Vinod Vaikuntanathan developed the theoretical framework that Falcon, one of NIST's four approved quantum-hardened encryption algorithms, is based on.
- To endure into the future, Algorand believes that the protocol must be secure against potential post-quantum attacks, while also being able to interoperate and exchange with other blockchain networks. Listen to Algorand head of cryptography Chris Peikert discuss State Proofs and Quantum Security.
-
Interview about Post-Quantum (Cryptography)
For signing Algorand uses Falcon signatures, which are post quantum and one of NISTs recommendations. There are a few names there that might help. https://falcon-sign.info/
What are some alternatives?
cortex-gnat-rts - This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
falcon-cli - post-quantum file sigs
Kind - A next-gen functional language
falcon
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
cryptography - cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.
kyber-py - A pure python implementation of CRYSTALS-Kyber
CIRCL - CIRCL: Cloudflare Interoperable Reusable Cryptographic Library
kyber
wgpu - Cross-platform, safe, pure-rust graphics api.
rust-dominator - Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!
protocol-v2 - Aave Protocol V2